Publications

Export 227 results:
Sort by: Author Type [ Year (Desc)]
2012
Czarnecki, K., P. Gruenbacher, R. Rabiser, K. Schmid, and A. Wąsowski, "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]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries, and Kleisli categories", 15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
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]
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, Example-Driven Modeling poster, , Toronto, CASCON, 2012. [pdf]
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, 2012.
Valente, M., V. Borges, and L. Passos, "A Semi-Automatic Approach for Extracting Software Product Lines", IEEE Transactions on Software Engineering, vol. 38, issue 4, no. 99, pp. 737-754, 2012.
Küster, J. M., H. Völzer, C. Favre, M. Branco, and K. Czarnecki, "Supporting Different Process Views through a Shared Process Model", Technical Report, 2012.
Berger, T., S. She, R. Lotufo, A. Wąsowski, and K. Czarnecki, Variability Modeling in the Systems Software Domain, : Generative Software Development Laboratory, University of Waterloo, 2012. [pdf]
2011
Diskin, Z., Towards generic formal semantics for consistency of heterogeneous multimodels, , Waterloo, University of Waterloo, Jan 2011. [pdf]
Czarnecki, 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. Wąsowski, "A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System", 3rd International Workshop on Feature Oriented Software Development, 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]

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 lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

Alexandr Murashkin