] People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Publications
Filters: First Letter Of Last Name is D [Clear All Filters]
"On Ad Library Updates in Android Apps",
IEEE Software, 2014.
"Variability Mechanisms in Software Ecosystems",
Information and Software Technology, vol. 56, issue 11, 2014.
[pdf]
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",
7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012), To appear, 2012.
[pdf]
"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",
Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 2012.
[pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
"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]
"Model Synchronization: Mappings, Tiles and Categories",
Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011.
[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]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
"Algebraic Models for Bidirectional Model Synchronization",
MoDELS 2008, Toulouse France, Springer, 10/2008.
"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]
"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]
"Example-Driven Modeling Using Clafer",
First International Workshop on Model-driven Engineering By Example, 2013.
[ppsx][pdf]
"An Exploratory Study of Cloning in Industrial Software Product Lines",
17th European Conference on Software Maintenance and Reengineering (CSMR), 2013.
[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",
15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"Mapping-aware megamodeling: Design Patterns and Laws",
Software Language Engineering: Springer, 2013.
[zip]
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",
2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
[pdf][pdf]
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/2016.
"Partial Instances via Subclassing",
6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
[pdf][pdf]
"Supporting Framework Use via Automatically Extracted Concept-Implementation Templates",
23rd European Conference on Object-Oriented Programming (ECOOP), vol. 5653, Genova, Italy, Springer-Verlag, pp. 344-368, 07/2009.
[pdf][pdf]
