Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
Krzysztof Czarnecki, Ph.D., P.Eng.
Associate Professor, Electrical and Computer Engineering
Bank of Nova Scotia / NSERC Industrial Research Chair
Bank of Nova Scotia / NSERC Industrial Research Chair
- Ph.D. Graduate, Technical University of Ilmenau
- M.Sc. Graduate, California State University at Sacramento
- Dipl-Inf Graduate, Technical University of Ilmenau
I work in the area of Generative Software Development. See the overview paper for an introduction.
News
- 1 of 9
- ››
For students
Projects
Current Projects
Past Projects
Tools
Activities
- MoDELS'09 conference chair
- Scotiabank/NSERC Industrial Research Chair
Publications
"An Empirical Study on Consistency Management of Business and IT Process Models",
SoSyM - Special Issue on Enterprise Modeling, Submitted.
"Intermodeling, queries, and Kleisli categories",
FASE 2012, Tallinn, Estonia, Springer, ?/2012, To Appear.
[pdf]
"Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches",
Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 2012.
[pdf]
"A User Survey of Configuration Challenges in Linux and eCos",
Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 2012.
[pdf]
"Generating Range Fixes for Software Configuration",
ICSE'12: 34th International Conference on Software Engineering, 06/2012.
Proceedings of the 5th Variability Modeling of Software-Intensive Systems (VaMoS), January 27-29, 2011,
, Namur, Belgium, ACM, 2011.
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
"Correctness of Model Synchronization Based on Triple Graph Grammars",
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
[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",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
[pdf]
"Logical Structure Extraction from Software Requirements Documents",
International Requirements Engineering Conference: IEEE, 09/2011.
[pdf][pdf]
Towards Improving Bug Tracking Systems with Game Mechanisms,
, no. GSDLAB–TR 2011–09–29, Waterloo, GSD Lab, University of Waterloo, 09/2011.
[pdf]
"A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System",
FOSD'11, Munich, Germany, ACM, 08/2011.
[pdf][pdf]
"Friendly Change Extraction for BPMN Workflows",
IBM TechConnect, Markham, ON, Canada, IBM, 05/2011.
[pdf]
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
[pdf]
Configuration Challenges in Linux and eCos: A Survey,
, no. GSDLAB-TR 2011-09-29, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf][pdf][pdf]
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
Generating Range Fixes for Software Configuration,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]
"Quick Consistency Management in BPM",
IBM CASCON 2011, 2011.
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
"Two Studies of Framework-Usage Templates Extracted from Dynamic Traces",
IEEE Transactions on Software Engineering, 2011.
[pdf]
"Bidirectional Transformations: A Cross-Discipline Perspective",
International Conference of Model Transformation (ICMT): Springer-Verlag, pp. 260-283, 2010.
[pdf]
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled",
3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
[pdf][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]
"Evolution of the Linux Kernel Variability Model",
Software Product Line Conference, 09/2010.
[pdf][pdf]


