Publications

Export 123 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.
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.
Diskin, Z., "CT for BX: Category Theory Foundations for Bidirectional Model Transformations", Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 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]
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]
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.
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]
Xiong, Y., Configurator Semantics of the CDL language, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011. [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]
Diskin, Z., "Model Synchronization: Mappings, Tiles and Categories", Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011. [pdf]

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

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

Thiago Tonelli Bartolomei