] 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.
Publications
Generating Range Fixes for Software Configuration,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]
"Model Synchronization: Mappings, Tiles and Categories",
Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011.
[pdf]
"Quick Consistency Management in BPM",
IBM CASCON 2011, 2011.
"Reverse Engineering Feature Models",
ICSE 2011, 2011.
[pdf][pdf]
"A Framework for Logical Structure Extraction from Software Requirements Documents",
Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 83, 01/11, 2011.
"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]
"Friendly Change Extraction for BPMN Workflows",
IBM TechConnect, Markham, ON, Canada, IBM, 05/2011.
[pdf]
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
[pdf]
"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]
"Logical Structure Extraction from Software Requirements Documents",
International Requirements Engineering Conference: IEEE, 09/2011.
[pdf][pdf]
"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]
"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]
"Intermodeling, queries and Kleisli categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
[pdf]
Proceedings of the 5th Variability Modeling of Software-Intensive Systems (VaMoS), January 27-29, 2011,
, Namur, Belgium, ACM, 2011.
"Quick fix generation for DSMLs",
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Pittsburgh, PA, USA, IEEE, 2011.
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
Towards generic formal semantics for consistency of heterogeneous multimodels,
, Waterloo, University of Waterloo, Jan 2011.
[pdf]
"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",
Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 2012.
[pdf]
An Empirical Study on Consistency Management of Business and IT Process Models,
, Waterloo, Generative Software Development Laboratory, 2012.
[pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
"Matching Business Process Workflows Across Abstraction Levels",
MODELS 2012, Innsbruck, Austria, ACM/IEEE, 2012.
"A Semi-Automatic Approach for Extracting Software Product Lines",
IEEE Transactions on Software Engineering, vol. 38, issue 4, no. 99, pp. 737-754, 2012.
"Supporting Different Process Views through a Shared Process Model",
Technical Report, 2012.
Variability Modeling in the Systems Software Domain,
: Generative Software Development Laboratory, University of Waterloo, 2012.
[pdf]
"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]
