crim.ca
Partenaires
http://www.crim.ca/fr/centre-de-recherche-informatique-de-montreal/partenaires
Zone réservée aux membres pour accédez à vos documents exclusifs. Entrez votre nom d'usager et votre mot de passe. Mot de passe oublié? À propos du CRIM. Agrave; Propos du CRIM. Gestion de la qualité. Un aperçu du CRIM. Un levier économique et social performant. Répertoire des employés. Comité de direction. Eacute;quipes de recherche. Modélisation et développement logiciel avancé. Technologies émergentes et Science des données. Répertoire du personnel de recherche. Engin de recherche avancé. Le CRIM trav...
msdl.cs.mcgill.ca
MSDL standard DTML document header
http://msdl.cs.mcgill.ca/projects
CaMpaM: Computer aided Multi-paradigm Modelling. Modelling is at the heart of MSDL research. It combines:. Meta-modelling (of both syntax and semantics). Have a look at the Computer Automated Multi-Paradigm Modeling. Page, at the twelve Bellairs CAMPaM workshops '04. And at the MoDELS '06. AToMPM: A Tool for Multi-Paradigm Modelling. MBSE4Mechatronics: Model Based Systems Engineering for Mechatronics (IWT-SBO). NEXOR: IOF consortium on Cyber-Physical Systems. A Tool for Multi-formalism and Meta-Modelling.
msdl.cs.mcgill.ca
MSDL standard DTML document header
http://msdl.cs.mcgill.ca/people
DSc ( Ghent University. UA, @McGill, @NUDT. Adjunct Prof. Pieter J. Mosterman. PhD ( Vanderbilt University. 2016 - ) Bart Meyers. BSc, M.Sc., Ph.D. ( University of Antwerp. Domain-Specific Property Language Engineering. BSc, M.Sc. ( University of Waterloo. Canada), Ph.D. ( University of Toronto. Agile Model Based Systems Engineering of Cyber-Physical Systems, with Flanders Make. 2014 - ) Joachim Denil. PhD ( University of Antwerp. Consistency, deployment, co-simulation, in the MBSE4Mechatronics project.
gsd.uwaterloo.ca
Michał Antkiewicz, Ph.D. | Generative Software Development Lab
http://gsd.uwaterloo.ca/mantkiew
Michał Antkiewicz, Ph.D. Research Engineer, NECSIS. Program Director, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems. Phone: 1 519 888 4567 ext. 84730. Postdoctoral Fellow (2008-2011), Electrical and Computer Engineering. PhD Graduate (2008), Electrical and Computer Engineering. IBM Centers for Advanced Studies Ph.D. Fellow (2004-2006). MASc Graduate (2003), Institute of Computer Science. University of Wrocław. For news about Clafer visit clafer.org. Working with the project leads to...
gsd.uwaterloo.ca
Current Projects | Generative Software Development Lab
http://gsd.uwaterloo.ca/projects
AADL2Clafer: Optimization of Architectural Models. 1) Modeling AADL constructs in Clafer and translation of models written in AADL to models in Clafer language. 2) Computation of quality attributes such as latency, cost, maintainability. 3) Optimization of the model with respect to the given objectives, such as, to minimize total latency. 4) Visualization of trade-offs and Pareto front produced after the optimization. Is a lightweight structural modeling language. Multi-Objective Combinatorial Optimizati...
gmt.idevelopp.com
Welcome to GMT's Webpage
http://gmt.idevelopp.com/publication.php
Electrical and Computer Engineering. 200 University Avenue West, Waterloo, ON, Canada, N2L 3G1. Efficient Verification of Data Races in Interrupt-Driven Embedded Software. Data Races, dynamic race detection, interrupt-driven programs, happens-before relation. Prof Kyong Hoon Kim. Kyong-Hoon Kim, and Yong-Kee Jun, EventHealer: Bypassing Data Races in Event-Driven Programs, JSS. August 2015, Elsevier. Guy Martin Tchamgoue,. 12(2):7-15, April 2015, ACM. April 2015, Elsevier. 14 pages, 2013, Hindawi. Yong-Ke...
parlar.ca
About — Jay Parlar
http://parlar.ca/about
I'm Jay Parlar. I’m a husband, father, and software guy. I have a Ph.D. in Software Engineering, and was previously the Program Manager for NECSIS. I've recently returned to my engineering roots and I'm working as a developer again. I can be reached at jay@parlar.ca. My stuff is at:. I have a black-belt in GoJu Ryu. Karate, but the Ph.D. took up too much time, so I haven’t been able to train in a few years. Looking forward to getting back to it.
mcscert.ca
Projects and Initiatives
https://www.mcscert.ca/index.php/projects
Certification of Safety Critical Software-Intensive Systems. Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems (NECSIS). Documents and other resources. At any time the Centre aims to be a partner in projects with Canadian, particularly Ontario, partners, and also involved with projects and initiatives with members in North America and elsewhere in the world. Certification of Safety Critical Software-Intensive Systems. Last Updated on Tuesday, 21 September 2010 20:23.