This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Krzysztof Czarnecki, Ph.D., P.Eng.
Professor of Electrical and Computer Engineering
- Ph.D. Graduate, Technical University of Ilmenau
- M.Sc. Graduate, California State University at Sacramento
- Dipl-Inf Graduate, Technical University of Ilmenau
Short biography
Krzysztof Czarnecki is a Professor of Electrical and Computer Engineering at the University of Waterloo. Before coming to Waterloo, he was a researcher at DaimlerChrysler Research (1995-2002), Germany, focusing on improving software development practices and technologies in enterprise, automotive, and aerospace domains. He co-authored the book on "Generative Programming" (Addison- Wesley, 2000), which deals with automating software component assembly based on domain-specific languages. While at Waterloo, he held the NSERC/Bank of Nova Scotia Industrial Research Chair in Requirements Engineering of Service-oriented Software Systems (2008-2013) and has worked on a range of topics in model-driven systems and software engineering, including product lines engineering, design synthesis, variability modeling, model transformation, and domain-specific languages. He received the Premier's Research Excellence Award in 2004 and the British Computing Society in Upper Canada Award for Outstanding Contributions to IT Industry in 2008.
News
- 1 of 15
- ››
For students
Projects
Current Projects
Past Projects
Tools
Activities
- MoDELS'09 conference chair
- Bank of Nova Scotia / NSERC Industrial Research Chair (2008-2013)
Publications
"Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability",
Design Automation Conference, 06/2017.
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/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.
[pdf]
"Exponential Recency Weighted Average Branching Heuristic for SAT Solvers",
AAAI 2016, Phoenix, Arizona, 02/2016.
"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.
[pdf]
"Performance Prediction of Configurable Software Systems by Fourier Learning",
30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, Nebraska, USA, 11/2015.
[pdf][pdf]
"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.
[pdf][pptx]
"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.
"Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers",
14th International Conference on Modularity: ACM, 2015.
[pdf][pptx]
"Maintaining Feature Traceability with Embedded Annotations",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
"Modeling Aerospace Systems Product Lines in SysML",
19th International Software Product Line Conference (SPLC), 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.
"What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study,
: Generative Software Development Laboratory, University of Waterloo, 2015.
[pdf]
"Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study",
IEEE Transactions on Software Engineering, 2015.
"Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization",
29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, ACM, to appear, 2014.
[pdf][pdf]
"Comparison of exact and approximate multi-objective optimization for software product lines",
Software Product Line Conference, vol. 1, Florence, Italy, ACM, pp. 92-101, 10/2014.
[pdf]
"Optimizing Alloy for Multi-Objective Software Product Line Configuration",
ABZ, Toulouse, France, Springer-Verlag, 06/2014.
[pdf]
A Taxonomic Space for Increasingly Symmetric Model Synchronization,
, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
[pdf]
