Krzysztof Czarnecki, Ph.D., P.Eng.

Professor of Electrical and Computer Engineering
I work in the area of Generative Software Development. See the overview paper for an introduction.

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

For students

Projects

Current Projects

Past Projects

Tools

Activities

  • MoDELS'09 conference chair
  • Bank of Nova Scotia / NSERC Industrial Research Chair (2008-2013)

Publications

Report
Antkiewicz, M., and K. Czarnecki, Framework-Specific Modeling Languages; Examples and Algorithms, : Electrical & Computer Engineering, University of Waterloo, 2007. [pdf]
Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]
Xiong, Y., A. Hubaux, S. She, and K. Czarnecki, Generating Range Fixes for Software Configuration, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011. [pdf]
Lotufo, R., and K. Czarnecki, Improving Bug Report Comprehension, : University of Waterloo, 09/2012. [pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011. [pdf]
Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, Relational Modeling and Reasoning with Multisets and Multirelations in Alloy, , no. GSDLAB-TR 2016-01-22, 2016. [pdf][als][als][als][zip][zip]
Küster, J. M., H. Völzer, C. Favre, M. Branco, and K. Czarnecki, "Supporting Different Process Views through a Shared Process Model", Technical Report, 2012.
Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]
Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, Variability Modeling in the Systems Software Domain, : Generative Software Development Laboratory, University of Waterloo, 2012. [pdf]
Guo, J., K. Czarnecki, S. Apel, N. Siegmund, and A. Wąsowski, Variability-Aware Performance Modeling: A Statistical Learning Approach, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 08/2012. [pdf]
Nadi, S., T. Berger, C. Kästner, and K. Czarnecki, Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study, : Generative Software Development Laboratory, University of Waterloo, 2015. [pdf]
Guo, J., K. Czarnecki, S. Apel, N. Siegmund, and A. Wąsowski, Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 04/2013. [pdf]
Thesis
Stephan, M., "Detection of Java EE EJB Antipattern Instances using Framework-Specific Models", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 113, 04/2009.
Lau, S Q., "Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 168, 2006. [pdf]
Mendonça, M., "Efficient Reasoning Techniques for Large Scale Feature Models", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 184, 01/2009.
She, S., "Feature Model Mining", School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 70, 08/2008.
Antkiewicz, M., "Framework-specific modeling languages", Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
Lee, H M., "Model-guided Code Assistance for Framework Application Development", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 69, 04/2009.
Kim, C H P., "On the Relationship between Feature Models and Ontologies", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 89, 2006.
Pekilis, B R., "An ontology-based approach to concern-specific dynamic software structure monitoring", Electrical and Computer Engineering, vol. PhD, Waterloo, University of Waterloo, pp. 213, 2006.
Heydarnoori, A., "Supporting Framework Use via Automatically Extracted Concept-Implementation Templates", School of Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 178, 04/2009. [pdf]
Tags:

Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.

Rafael Lotufo

People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

Kacper Bąk