In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
"Modeling Product Lines with Kripke Structures and Modal Logic",
GSD Technical Report, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013.
[pdf]
Modeling product lines with Kripke structures and modal logic,
, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014.
[pdf]
Modeling Product Lines with Kripke Structures and Modal Logic,
, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015.
[pdf]
The Semantics of Feature Models via Formal Languages (Extended Version),
, no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014.
[pdf]
Web-based GUI for Pareto front visualization and analysis,
, no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
"Efficient Reasoning Techniques for Large Scale Feature Models",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.