Leen Lambers

Andrew Fish, Leen Lambers: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques. ECEASST 47 (2012)

Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST 49 (2012)

Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese: Integration of Triple Graph Grammars and Constraints. ECEASST 54 (2012)

Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas: ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Inform. 118(1-2): 35-63 (2012)

Fernando Orejas, Leen Lambers: Lazy Graph Transformation. Fundam. Inform. 118(1-2): 65-96 (2012)

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)

Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese: Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT 2012: 141-155

Holger Giese, Leen Lambers: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT 2012: 249-263

Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt: Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM 2012: 137-191

Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter: Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE 2011: 238-253

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

Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese: Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT 2011: 123-137

Hartmut Ehrig, Annegret Habel, Leen Lambers: Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. ECEASST 26 (2010)

Fernando Orejas, Leen Lambers: Symbolic Attributed Graphs for Attributed Graph Transformation. ECEASST 30 (2010)

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)

Fernando Orejas, Leen Lambers: Delaying Constraint Solving in Symbolic Graph Transformation. ICGT 2010: 43-58

Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345

Leen Lambers: Certifying rule-based models using graph transformation. Berlin Institute of Technology 2009

Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse: Object Flow Definition for Refined Activity Diagrams. FASE 2009: 49-63

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)

Leen Lambers, Hartmut Ehrig, Gabriele Taentzer: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST 10 (2008)

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10 (2008)

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)

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)

Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177

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

Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. MoDELS 2008: 341-355

Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456

Leen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Detection of Conflicts in Graph-based Model Transformation. Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006)

Leen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76

Leen Lambers: A New Version of GTXL : An Exchange Format for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 127(1): 51-63 (2005)