 | 2012 |
| 23 |  | Ulrike Golas,
Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.
Theor. Comput. Sci. 424: 46-68 (2012) |
| 2011 |
| 22 |  | Claudia Ermel,
Jürgen Gall,
Leen Lambers,
Gabriele Taentzer:
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.
FASE 2011: 156-170 |
| 21 |  | Basil Becker,
Leen Lambers,
Johannes Dyck,
Stefanie Birth,
Holger Giese:
Iterative Development of Consistency-Preserving Rule-Based Refactorings.
ICMT 2011: 123-137 |
| 2010 |
| 20 |  | Hartmut Ehrig,
Annegret Habel,
Leen Lambers,
Fernando Orejas,
Ulrike Golas:
Local Confluence for Rules with Nested Application Conditions.
ICGT 2010: 330-345 |
| 19 |  | Fernando Orejas,
Leen Lambers:
Delaying Constraint Solving in Symbolic Graph Transformation.
ICGT 2010: 43-58 |
| 18 |  | Hartmut Ehrig,
Annegret Habel,
Leen Lambers:
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions.
ECEASST 26: (2010) |
| 17 |  | Fernando Orejas,
Leen Lambers:
Symbolic Attributed Graphs for Attributed Graph Transformation.
ECEASST 30: (2010) |
| 16 |  | Enrico Biermann,
Claudia Ermel,
Leen Lambers,
Ulrike Prange,
Olga Runge,
Gabriele Taentzer:
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.
STTT 12(3-4): 245-261 (2010) |
| 2009 |
| 15 |  | Stefan Jurack,
Leen Lambers,
Katharina Mehner,
Gabriele Taentzer,
Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams.
FASE 2009: 49-63 |
| 14 |  | Leen Lambers:
Certifying rule-based models using graph transformation.
Berlin Institute of Technology 2009 |
| 2008 |
| 13 |  | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
| 12 |  | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
| 11 |  | 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 |
| 10 |  | Stefan Jurack,
Leen Lambers,
Katharina Mehner,
Gabriele Taentzer:
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.
MoDELS 2008: 341-355 |
| 9 |  | 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) |
| 8 |  | Alexander Rein,
Ulrike Prange,
Leen Lambers,
Kathrin Hoffmann,
Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems.
ECEASST 10: (2008) |
| 7 |  | Leen Lambers,
Hartmut Ehrig,
Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
ECEASST 10: (2008) |
| 6 |  | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.
Electr. Notes Theor. Comput. Sci. 203(6): 43-66 (2008) |
| 5 |  | 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 |
| 4 |  | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
| 2006 |
| 3 |  | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions.
ICGT 2006: 61-76 |
| 2 |  | Leen Lambers,
Hartmut Ehrig,
Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation.
Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006) |
| 2005 |
| 1 |  | Leen Lambers:
A New Version of GTXL : An Exchange Format for Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci. 127(1): 51-63 (2005) |