This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Jimmy Liang , MMath
MMath Student
- B.Sc., Computer Science, University of Waterloo
- MMath, University of Waterloo
I am working on solving Clafer using constraint programming and integrating machine learning into solvers heuristics.
News
Projects
Tools
Graduate Courses
- Winter 2012: Model-Based Software Engineering
- Sprint 2015: Computational Intelligence / Intelligent Systems Design
Publications
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy",
19th International Software Product Line Conference (SPLC), Nashville, 2015.
"Solving Clafer Models with Choco",
Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012.
[pdf]
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"Correcting Clafer Models with Automated Analysis",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012.
[pdf]
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
