Publications

Export 129 results:
Sort by: Author Type [ Year (Desc)]
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]
Diskin, Z., "CT for BX: Category Theory Foundations for Bidirectional Model Transformations", Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 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
Diskin, Z., Towards generic formal semantics for consistency of heterogeneous multimodels, , Waterloo, University of Waterloo, Jan 2011. [pdf]
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.
Hegedüs, Á., Á. Horváth, I. Ráth, M. Branco, and D. Varró, "Quick fix generation for DSMLs", IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Pittsburgh, PA, USA, IEEE, 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]
Tonelli Bartolomei, T., M. Derakhshanmanesh, A. Fuhr, P. Koch, M. Konrath, and R. Lämmel, "Combining Multiple Dimensions of Knowledge in API Migration", First International Workshop on Model-Driven Software Migration (MDSM), at the 15th European Conference on Software Maintenance and Reengineering (CSMR), Oldenburg, Germany, CEUR, 03/2011. [pdf]
Rauf, R., "A Framework for Logical Structure Extraction from Software Requirements Documents", Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 83, 01/11, 2011.

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

Thiago Tonelli Bartolomei

People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

Kacper Bąk