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

2011
Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, "From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011. [pdf][pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011. [pdf]
Diskin, Z., Y. Xiong, and K. Czarnecki, "Specifying Overlaps of Heterogeneous Models for Global Consistency Checking", MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]
2012
Branco, M., Y. Xiong, K. Czarnecki, J. M. Küster, and H. Voelzer, An Empirical Study on Consistency Management of Business and IT Process Models, , Waterloo, Generative Software Development Laboratory, 2012. [pdf]
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, Example-Driven Modeling poster, , Toronto, CASCON, 2012. [pdf]
Branco, M., J. Troya, K. Czarnecki, J. M. Küster, and H. Völzer, "Matching Business Process Workflows Across Abstraction Levels", MODELS 2012, Innsbruck, Austria, ACM/IEEE, 2012.
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.
Passos, L., K. Czarnecki, and A. Wąsowski, "Towards a Catalog of Variability Evolution Patterns: The Linux Kernel Case", 4th International Workshop on Feature Oriented Software Development, 2012. [pdf][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]
Czarnecki, K., P. Gruenbacher, R. Rabiser, K. Schmid, and A. Wąsowski, "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches", Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012. [pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "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.
Hubaux, A., Y. Xiong, and K. Czarnecki, "A User Survey of Configuration Challenges in Linux and eCos", Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012. [pdf]
Terra, R., M T. Valente, K. Czarnecki, and R. S. Bigonha, "Recommending Refactorings to Reverse Software Architecture Erosion", 16th European Conference on Software Maintenance and Reengineering (CSMR), Early Research Achievements Track, 03/2012. [pdf]
Xiong, Y., A. Hubaux, S. She, and K. Czarnecki, "Generating Range Fixes for Software Configuration", ICSE'12: 34th International Conference on Software Engineering, 06/2012. [pdf][pdf][zip]
Lotufo, R., L. Passos, and K. Czarnecki, "Towards Improving Bug Tracking Systems with Game Mechanisms", 9th Working Conference on Mining Software Repositories (MSR'12), Zurich, Switzerland, IEEE (also published as GSDLAB–TR 2011–09–29), 06/2012. [pdf][zip]
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]
Lotufo, R., and K. Czarnecki, Improving Bug Report Comprehension, : University of Waterloo, 09/2012. [pdf]
Lotufo, R., Z. Malik, and K. Czarnecki, "Modelling the `Hurried' Bug Report Reading Process to Summarize Bug Reports", International Conference on Software Maintenance, Trento, Italy, IEEE, 09/2012. [pdf][pdf]
Olaechea, R., S. Stewart, K. Czarnecki, and D. Rayside, "Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software", International Workshop on Non- functional System Properties in Domain Specific Modeling Languages (NFPinDSML’12), Innsbruck, Austria, 10/2012. [pdf][pptx]
Heydarnoori, A., K. Czarnecki, W. Binder, and T. Tonelli Bartolomei, "Two Studies of Framework-Usage Templates Extracted from Dynamic Traces", IEEE Transactions on Software Engineering, vol. 38, issue 6, 12/2012. [pdf]
Andersen, N., K. Czarnecki, S. She, and A. Wąsowski, "Efficient Synthesis of Feature Models", Software Product Line Conference (SPLC), Salvador, Brasil, 2012. [pdf]
2013
Branco, M., Y. Xiong, K. Czarnecki, J. M. Küster, and H. Völzer, "A Case Study on Consistency Management of Business and IT Process Models in Banking", SoSyM - Special Issue on Enterprise Modeling, 2013.
Antkiewicz, M., K. Bąk, D. Zayan, K. Czarnecki, A. Wąsowski, and Z. Diskin, "Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013. [ppsx][pdf]