] We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Publications
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
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]
"Bidirectional Transformations: A Cross-Discipline Perspective",
International Conference of Model Transformation (ICMT): Springer-Verlag, pp. 260-283, 2010.
[pdf]
"Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled",
3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 10/2010.
[pdf][pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
1st Workshop on Model Driven Interoperability, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010.
[pdf][pdf]
"Evolution of the Linux Kernel Variability Model",
Software Product Line Conference, 09/2010.
[pdf][pdf]
"Requirements Determination is Unstoppable: An Experience Report",
Requirements Engineering, 09/2010.
[pdf][pdf]
"Swing to SWT and Back: Patterns for API Migration by Wrapping",
26th IEEE International Conference on Software Maintenance (ICSM), Timișoara, Romania, 09/2010.
[pdf][pdf]
"Variability Modeling in the Real: A Perspective from the Operating Systems Domain",
25th IEEE/ACM International Conference on Automated Software Engineering, 09/2010.
[pdf][pdf]
"Feature and Class Models in Clafer: Mixed, Specialized, and Coupled",
David R. Cheriton School of Computer Science, Waterloo, University of Waterloo, 06/2010.
"From State-Based to Delta-Based Bidirectional Model Transformation",
3rd International Conference on Model Transformation, Malaga, Spain, Springer, pp. 61-76, 06/2010.
[pdf][ppt]
"Effective Collaboration and Consistency Management in Business Process Modeling",
The 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10, Toronto, Ontario, Canada, ACM Press, 2010.
[pdf]
"Feature-to-Code Mapping in Two Large Product Lines",
Software Product Lines: Going Beyond, vol. 6287: Springer Berlin / Heidelberg, pp. 498-499, 2010.
[pdf]
Feature-to-Code Mapping in Two Large Product Lines,
, Leipzig, Department of Computer Science, University of Leipzig, 2010.
[pdf]
Formal Semantics of the CDL Language,
: University of Leipzig, 2010.
[pdf]
Formal Semantics of the Kconfig Language,
: University of Waterloo, 2010.
[pdf]
"Variability Model of the Linux Kernel",
Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010.
[pdf]
"From Lenses to Tiles: Model Synchronization via Double Categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009.
[pdf]
Tiling the view update problem,
, no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009.
[pdf]
"Engineering of Framework-Specific Modeling Languages",
IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009.
[pdf]
"S.P.L.O.T. - Software Product Lines Online Tools",
24th ACM SIGPLAN Conference on object oriented programming systems languages and applications - OOPSLA Companion, Orlando, Florida, USA, ACM Press, pp. 761, 10/2009.
"Study of an API Migration for Two XML APIs",
2nd International Conference on Software Language Engineering (SLE), vol. 5969/2010, Denver, USA, pp. 42-61, 10/2009.
[pdf][pdf]
