Publications

Export 227 results:
Sort by: Author [ Type (Asc)] Year
Report
Xiong, Y., Configurator Semantics of the CDL language, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011. [pdf]
Liang, J., "Correcting Clafer Models with Automated Analysis", Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012. [pdf]
Stephan, M., and M. Antkiewicz, "Ecore.fmp: A tool for editing and instantiating class models as feature models", Electrical and Computer Engineering, Waterloo, University of Waterloo, 05/2008. [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., K. Czarnecki, and A. Wąsowski, "Feature and Class Models in Clafer: Mixed, Specialized, and Coupled", David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
Berger, T., S. She, K. Czarnecki, and A. Wąsowski, Feature-to-Code Mapping in Two Large Product Lines, , Leipzig, Department of Computer Science, University of Leipzig, 2010. [pdf]
Berger, T., and S. She, Formal Semantics of the CDL Language, : University of Leipzig, 2010. [pdf]
She, S., and T. Berger, Formal Semantics of the Kconfig Language, : University of Waterloo, 2010. [pdf]
Antkiewicz, M., and K. Czarnecki, Framework-Specific Modeling Languages; Examples and Algorithms, : Electrical & Computer Engineering, University of Waterloo, 2007. [pdf]
Diskin, Z., "From Lenses to Tiles: Model Synchronization via Double Categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009. [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]
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]
Lotufo, R., and K. Czarnecki, Improving Bug Report Comprehension, : University of Waterloo, 09/2012. [pdf]
Diskin, Z., T. Maibaum, and K. Czarnecki, "Intermodeling, queries and Kleisli categories", Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011. [pdf]
Diskin, Z., Lax Lenses, , no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. [pdf]
Diskin, Z., S. Kokaly, and T. Maibaum, Mechanics of Megamodeling: Design Patterns and Laws, , no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [pdf]
Diskin, Z., A. Safilian, and T. Maibaum, "Modeling Product Lines with Kripke Structures and Modal Logic", GSD Technical Report, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling product lines with Kripke structures and modal logic, , no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling Product Lines with Kripke Structures and Modal Logic, , no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]
Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, Relational Modeling and Reasoning with Multisets and Multirelations in Alloy, , no. GSDLAB-TR 2016-01-22, 2016. [pdf][als][als][als][zip][zip]
Safilian, A., T. Maibaum, and Z. Diskin, The Semantics of Feature Models via Formal Languages (Extended Version), , no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014. [pdf]
Liang, J., "Solving Clafer Models with Choco", Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012. [pdf]
Khalilov, E., and J. Ross, "Supplemental material for the paper 'Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners'", Supplemental Material, no. GSDLAB-SM-2016-05: University of Waterloo, 05/2016. [pdf][pdf][zip]
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.
Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]

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

In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.

Wenbin Ji