Our lab is a very exciting place to learn and work!
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
"Feature Models are Views on Ontologies",
10th International Software Product Line Conference (SPLC'06), Baltimore, USA, IEEE, pp. 41 - 51, 2006.
[pdf][pdf]
"Feature-based survey of model transformation approaches",
IBM Systems Journal, vol. 45, issue 3, no. 3, Riverton, NJ, USA, IBM Corp., pp. 621–645, 2006.
[pdf]
"Framework-Specific Modeling Languages with Round-Trip Engineering",
ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, Springer-Verlag, pp. 692-706, 2006.
[pdf]
"On the Relationship between Feature Models and Ontologies",
Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, pp. 89, 2006.
"An ontology-based approach to concern-specific dynamic software structure monitoring",
Electrical and Computer Engineering, vol. PhD, Waterloo, University of Waterloo, pp. 213, 2006.
"Round-Trip Engineering of Eclipse Plug-Ins Using Eclipse Workbench Part Interaction FSML",
OOPSLA'06 Companion, 2006.
[pdf]
"Verifying feature-based model templates against well-formedness OCL constraints",
5th international conference on Generative programming and component engineering - GPCE '06, Portland, Oregon, USA, ACM Press, pp. 211, 2006.
[pdf]
"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]
"Formalizing cardinality-based feature models and their specialization",
Software Process: Improvement and Practice, vol. 10, issue 1, pp. 7 - 29, 01/2005.
[pdf]
"Cardinality-based feature modeling and constraints: a progress report",
International Workshop on Software Factories at OOPSLA'05, San Diego, California, USA, ACM, 2005.
"Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME’2005)",
Satellite Events at the MoDELS 2005 Conference, vol. 3844, Berlin/Heidelberg, Springer-Verlag, pp. 151 - 158, 2005.
"Evolution and Reuse of Language Specifications for DSLs (ERLS)",
Object-Oriented Technology. ECOOP 2004 Workshop Reader, vol. 3344, Berlin / Heidelberg, Springer-Verlag, pp. 187-201, 2005.
"fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates",
OOPSLA'05 Companion, 2005.
[pdf]
"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]
"Model-Driven Software Product Lines",
OOPSLA'05 Companion, 2005.
[pdf]
"Synchronizing Cardinality-Based Feature Models and Their Specializations",
European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA’05), vol. 3748, Nuremberg, Germany, Springer-Verlag, pp. 331 - 348, 2005.
"Staged Configuration Using Feature Models",
Third Software Product-Line Conference (SPLC’04), 2004, vol. 3154, Boston, USA, Springer-Verlag, pp. 266-283, 09/2004.
[zip]
"FeaturePlugin: Feature Modeling Plug-In for Eclipse",
The 2004 OOPSLA Workshop on Eclipse Technology eXchange - Eclipse '04, Vancouver, British Columbia, Canada, ACM Press, pp. 67 - 72, 2004.
[pdf][zip]
"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]
"Classification of Model Transformation Approaches",
2nd OOPSLA’03 Workshop on Generative Techniques in the Context of MDA, Anaheim, CA, USA, 2003.
"DSL Implementation in MetaOCaml, Template Haskell, and C++",
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, vol. 3016, Berlin, Heidelberg, Springer-Verlag, pp. 51-72, 2003.
"Perspectives on Generative Programming - Extended Abstract. Invited talk paper",
SFB501 Colloquium on Software Reuse, Kaiserslautern, Germany, University of Kaiserslautern, 2003.
"DataFAN: A Practical Approach to Data Flow Analysis for Ada 95",
Reliable Software Technologies — Ada-Europe 2002, Lecture Notes in Computer Science, vol. 2361, Vienna, Austria, Springer-Verlag, pp. 231 - 244, 2002.
"Domain Engineering",
Encyclopedia of Software Engineering, Second Edition, 2002.
"Generative Programming",
Object-Oriented Technology ECOOP 2002 Workshop Reader, vol. 2548, Berlin, Heidelberg, Springer-Verlag, pp. 15 - 29, 2002.
