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

Associate Professor, Electrical and Computer Engineering
Bank of Nova Scotia / NSERC Industrial Research Chair

I work in the area of Generative Software Development. See the overview paper for an introduction.

News

For students

Projects

Current Projects

Past Projects

Tools

Activities

  • MoDELS'09 conference chair
  • Scotiabank/NSERC Industrial Research Chair

Publications

Submitted
Branco, M., Y. Xiong, K. Czarnecki, J. M. Küster, and H. Völzer, "An Empirical Study on Consistency Management of Business and IT Process Models", SoSyM - Special Issue on Enterprise Modeling, Submitted.
To Appear
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries, and Kleisli categories", FASE 2012, Tallinn, Estonia, Springer, ?/2012, To Appear. [pdf]
2012
Czarnecki, K., P. Gruenbacher, R. Rabiser, K. Schmid, and A. Wasowski, "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches", Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 2012. [pdf]
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, 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.
2011
Czarnecki(Ed.), K., P. Heymans(Ed.), and U. Eisenecker(Ed.), Proceedings of the 5th Variability Modeling of Software-Intensive Systems (VaMoS), January 27-29, 2011, , Namur, Belgium, ACM, 2011.
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]
Hermann, F., H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin, and Y. Xiong, "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]
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]
Rauf, R., M. Antkiewicz, and K. Czarnecki, "Logical Structure Extraction from Software Requirements Documents", International Requirements Engineering Conference: IEEE, 09/2011. [pdf][pdf]
Lotufo, R., L. Passos, and K. Czarnecki, Towards Improving Bug Tracking Systems with Game Mechanisms, , no. GSDLAB–TR 2011–09–29, Waterloo, GSD Lab, University of Waterloo, 09/2011. [pdf]
Passos, L., M. Novakovic, Y. Xiong, T. Berger, K. Czarnecki, and A. Wasowski, "A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System", FOSD'11, Munich, Germany, ACM, 08/2011. [pdf][pdf]
Branco, M., Y. Xiong, K. Czarnecki, A. Lau, and P. Coulthard, "Friendly Change Extraction for BPMN Workflows", IBM TechConnect, Markham, ON, Canada, IBM, 05/2011. [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]
Hubaux, A., Y. Xiong, and K. Czarnecki, 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]
Diskin, Z., Y. Xiong, and K. Czarnecki, "From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case", Journal of Object Technology, vol. 10, 2011.
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]
Branco, M., Y. Xiong, K. Czarnecki, A. Lau, P. Coulthard, J. Kuester, and H. Voelzer, "Quick Consistency Management in BPM", IBM CASCON 2011, 2011.
She, S., R. Lotufo, T. Berger, A. Wąsowski, and K. Czarnecki, "Reverse Engineering Feature Models", ICSE 2011, 2011. [pdf][pdf]
Heydarnoori, A., K. Czarnecki, and T. Tonelli Bartolomei, "Two Studies of Framework-Usage Templates Extracted from Dynamic Traces", IEEE Transactions on Software Engineering, 2011. [pdf]
2010
Czarnecki, K., N. J. Foster, Z. Hu, R. Laemmel, A. Schuerr, and J. F. Terwilliger, "Bidirectional Transformations: A Cross-Discipline Perspective", International Conference of Model Transformation (ICMT): Springer-Verlag, pp. 260-283, 2010. [pdf]
Bąk, K., K. Czarnecki, and A. Wąsowski, "Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled", 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010. [pdf][pdf]
Diskin, Z., Y. Xiong, and K. Czarnecki, "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]
Lotufo, R., S. She, T. Berger, A. Wasowski, and K. Czarnecki, "Evolution of the Linux Kernel Variability Model", Software Product Line Conference, 09/2010. [pdf][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

Our lab is a very exciting place to learn and work!

Moises Branco