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.
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, Submitted.
Küster, J. M., H. Völzer, C. Favre, M. Branco, and K. Czarnecki, "Supporting Different Process Views through a Shared Process Model", BPM 2012, 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
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]
Lotufo, R., L. Passos, and K. Czarnecki, "Towards Improving Bug Tracking Systems with Game Mechanisms", MSR, no. GSDLAB–TR 2011–09–29, Waterloo, GSD Lab, University of Waterloo, 06/2012. [pdf][zip]
Wang, B., L. Passos, Y. Xiong, K. Czarnecki, H. Zhao, W. Zhang, and H. Mei, SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 04/2012. [pdf][txt][xls]
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]
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, 01/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, 01/2012. [pdf]
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]
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]
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]
Tags:

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz