2009 |
12 | EE | Stefan Jurack,
Leen Lambers,
Katharina Mehner,
Gabriele Taentzer,
Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams.
FASE 2009: 49-63 |
2008 |
11 | EE | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
10 | EE | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
9 | EE | Guilherme Rangel,
Leen Lambers,
Barbara König,
Hartmut Ehrig,
Paolo Baldan:
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.
ICGT 2008: 242-256 |
8 | EE | Stefan Jurack,
Leen Lambers,
Katharina Mehner,
Gabriele Taentzer:
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.
MoDELS 2008: 341-355 |
7 | EE | Ulrike Prange,
Hartmut Ehrig,
Leen Lambers:
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
Applied Categorical Structures 16(3): 365-388 (2008) |
6 | EE | Alexander Rein,
Ulrike Prange,
Leen Lambers,
Kathrin Hoffmann,
Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems.
ECEASST 10: (2008) |
5 | EE | Leen Lambers,
Hartmut Ehrig,
Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
ECEASST 10: (2008) |
4 | EE | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Electr. Notes Theor. Comput. Sci. 211: 17-26 (2008) |
2007 |
3 | EE | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
2006 |
2 | EE | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions.
ICGT 2006: 61-76 |
1 | EE | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006) |