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.
Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017.
Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations, , no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016.
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", ECE, vol. MASC, Waterloo, University of Waterloo, pp. 165, 08/2016.
"Case Studies on E/E Architectures for Power Window and Central Door Locks Systems", Technical Report, no. GSDLAB-TR-2016-06-23: University of Waterloo, 06/2016.
"Supplemental material for the paper 'Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners'", Supplemental Material, no. GSDLAB-SM-2016-05: University of Waterloo, 05/2016.
Asymmetric Delta-Lenses with Uncertainty: Towards a Formal Framework for Flexible BX, , no. GSDLAB–TR 2016-03-01, Waterloo, University of Waterloo, 03/2016.
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI 2016, Phoenix, Arizona, 02/2016.
"A Novel Approach for Estimating Truck Factors", International Conference on Program Comprehension: ACM, 2016.
Relational Modeling and Reasoning with Multisets and Multirelations in Alloy, , no. GSDLAB-TR 2016-01-22, 2016.
Modeling Product Lines with Kripke Structures and Modal Logic, , no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015.
"Cost-Efficient Sampling for Performance Prediction of Configurable Systems", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, IEEE, 11/2015.
"Performance Prediction of Configurable Software Systems by Fourier Learning", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, 11/2015.
"MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers", International Conference on Automated Deduction, Berlin, Germany, Springer, 08/2015.
"The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems", Journal on Software and Systems Modeling: Springer, pp. 1–29, 07/2015.
"Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel", Empirical Software Engineering, Springer, 05/2015.
"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
"Model Based Automotive System Design: A Power Window Controller Case Study", ECE, vol. MASC, Waterloo, University of Waterloo, 03/2015.
"An Examination of the Current Rating System used in Mobile App Stores", IEEE Software, 2015.
"Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers", 14th International Conference on Modularity: ACM, 2015.
"Maintaining Feature Traceability with Embedded Annotations", 19th International Software Product Line Conference (SPLC), 2015.
"Modeling Aerospace Systems Product Lines in SysML", 19th International Software Product Line Conference (SPLC), 2015.
"Presence-Condition Simplification in Highly Configurable Systems", 37th International Conference on Software Engineering (ICSE), 2015.
"SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.
"Supporting Different Process Views through a Shared Process Model", Software and Systems Modeling, 2015.