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.
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
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 Aerospace Systems Product Lines in SysML",
19th International Software Product Line Conference (SPLC), 2015.
"A Solution to the Constructor-Problem of Mixin-Based Programming in C++",
GCSE’2000 Workshop on C++ Template Programming, Erfurt, Germany, 10/2000.
"Mixin-Based Programming in C++: A solution to the constructor problem",
Dr. Dobb's Journal, pp. 111-112, 01/2001.
"Software System Families and Active Libraries – Visions for the Next Decade",
Dagstuhl Seminar 01161 Product Family Development, Germany, Dagstuhl Castle, 04/2001.
"Generative Programming",
42nd International Colloquium of the Technical University of Ilmenau, 09/1997.
"An Exploratory Study of Cloning in Industrial Software Product Lines",
17th European Conference on Software Maintenance and Reengineering (CSMR), 2013.
[pdf]
"Intermodeling, queries and Kleisli categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
[pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
1st Workshop on Model Driven Interoperability, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010.
[pdf][pdf]
"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]
"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.
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",
2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
[pdf][pdf]
"From State-Based to Delta-Based Bidirectional Model Transformation",
3rd International Conference on Model Transformation, Malaga, Spain, Springer, pp. 61-76, 06/2010.
[pdf][ppt]
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
[pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
A Taxonomic Space for Increasingly Symmetric Model Synchronization,
, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
[pdf]
"Perspectives on Generative Programming - Extended Abstract. Invited talk paper",
SFB501 Colloquium on Software Reuse, Kaiserslautern, Germany, University of Kaiserslautern, 2003.
"Staged configuration through specialization and multilevel configuration of feature models",
Software Process: Improvement and Practice, vol. 10, issue 2, pp. 143 - 169, 04/2005.
[pdf]
"Synthesizing Objects",
ECOOP’ 99 — Object-Oriented Programming, vol. 1628, Lisbon, Portugal, Springer-Verlag, pp. 18 - 42, 1999.
[pdf]
"Cardinality-based feature modeling and constraints: a progress report",
International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, ACM, 2005.
"Mapping Features to Models: A Template Approach Based on Superimposed Variants",
ACM SIGSOFT/SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE'05), vol. 3676, Tallinn, Estonia, Springer-Verlag, pp. 422 - 437, 2005.
[pdf][zip][zip]
"Generative Programming and Active Libraries",
Generic Programming, vol. 1766, Berlin, Heidelberg, Springer-Verlag, pp. 25 - 39, 2000.
"Beyond Objects: Generative Programming",
ECOOP’97 Workshop on Aspect-Oriented Programming, Jyväskylä, Finland, 06/1997.
"Overview of Generative Software Development",
Unconventional Programming Paradigms (UPP) 2004, 15-17 September, Mont Saint-Michel, France, Revised Papers, vol. 3566: Springer-Verlag, pp. 326-341, 2004.
[pdf]
"An Animation Tool for Supporting Specification-Based Software Architectures",
The 1995 Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Specification-Based Architectures, Monterey, California, USA, U.S. Naval Postgraduate School, 09/1995.
