Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
"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]
"Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME’2005)",
Satellite Events at the MoDELS 2005 Conference, vol. 3844, Berlin/Heidelberg, Springer-Verlag, pp. 151 - 158, 2005.
"Generative Programming",
Object-Oriented Technology ECOOP 2002 Workshop Reader, vol. 2548, Berlin, Heidelberg, Springer-Verlag, pp. 15 - 29, 2002.
"Generative Programming and Active Libraries",
Generic Programming, vol. 1766, Berlin, Heidelberg, Springer-Verlag, pp. 25 - 39, 2000.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers",
SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"Decision-making coordination in collaborative product configuration",
ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, ACM Press, pp. 108, 03/2008.
[pdf]
"Efficient compilation techniques for large scale feature models",
7th international conference on Generative programming and component engineering - GPCE '08, Nashville, USA, ACM Press, pp. 13, 2008.
[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.
"Mapping-aware megamodeling: Design Patterns and Laws",
Software Language Engineering: Springer, 2013.
[zip]
"A model for structuring user documentation of object-oriented frameworks using patterns and hypertext",
ECOOP'97 — Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1241, Jyväskylä, Finland, Springer-Verlag, pp. 496 - 510, 1997.
"Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports",
International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012.
[pdf][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.
"SAT-based Analysis of Feature Models is Easy",
13th International Conference on Software Product Lines (SPLC 2009), San Francisco, CA, USA, 2009.
[pdf][pdf]
"Visualization and Exploration of Optimal Variants in Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf][pdf]
"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]
" Impact of Ad Libraries on Ratings of Android Mobile Apps",
IEEE Software, 2014.
"An Examination of the Current Rating System used in Mobile App Stores",
IEEE Software, 2015.
"A Large Scale Empirical Study on Software Reuse in Mobile Apps",
IEEE Software, vol. 31, issue 2, 2014.
"Mining the Impact of Evolution Categories on Object-Oriented Metrics",
Software Quality Journal, 08/2012.
[pdf]
"On Ad Library Updates in Android Apps",
IEEE Software, 2014.
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
Analysis and Prediction of Application Categories on Online Application Stores,
, no. GSDLAB-TR 2014-05-22, Waterloo, University of Waterloo, 2013.
"Intermodeling, queries and Kleisli categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
[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]