People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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.
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"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.
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"Solving Clafer Models with Choco",
Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012.
[pdf]
"Correcting Clafer Models with Automated Analysis",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012.
[pdf]
