] In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.
Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
Modeling Product Lines with Kripke Structures and Modal Logic,
, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015.
[pdf]
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"An Examination of the Current Rating System used in Mobile App Stores",
IEEE Software, 2015.
Modeling product lines with Kripke structures and modal logic,
, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014.
[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]
" Impact of Ad Libraries on Ratings of Android Mobile Apps",
IEEE Software, 2014.
"Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer",
School of Computer Science, vol. Master of Mathematics: University of Waterloo, 2014.
"A Large Scale Empirical Study on Software Reuse in Mobile Apps",
IEEE Software, vol. 31, issue 2, 2014.
"On Ad Library Updates in Android Apps",
IEEE Software, 2014.
"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]
Mechanics of Megamodeling: Design Patterns and Laws,
, no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013.
[pdf]
Analysis and Prediction of Application Categories on Online Application Stores,
, no. GSDLAB-TR 2014-05-22, Waterloo, University of Waterloo, 2013.
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"Mapping-aware megamodeling: Design Patterns and Laws",
Software Language Engineering: Springer, 2013.
[zip]
"Visualization and Exploration of Optimal Variants in Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf][pdf]
Web-based GUI for Pareto front visualization and analysis,
, no. GSDLAB-TR 2013-02-04, Waterloo, University of Waterloo, 2013.
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",
7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012), To appear, 2012.
[pdf]
"Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports",
International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012.
[pdf][pdf]
"Mining the Impact of Evolution Categories on Object-Oriented Metrics",
Software Quality Journal, 08/2012.
[pdf]
"Intermodeling, queries, and Kleisli categories",
15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"Intermodeling, queries and Kleisli categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
[pdf]
"S.P.L.O.T. - Software Product Lines Online Tools",
24th ACM SIGPLAN Conference on object oriented programming systems languages and applications - OOPSLA Companion, Orlando, Florida, USA, ACM Press, pp. 761, 10/2009.
"Efficient Reasoning Techniques for Large Scale Feature Models",
School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
"Bidirectional Transformations: A Cross-Discipline Perspective, GRACE Meeting Notes, State of the Art, and Outlook",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563, Berlin, Heidelberg, Springer, pp. 260 - 283, 2009.
[pdf]
