Hasso-Plattner-Institut für Softwaresystemtechnik
Dr. Leen Lambers
Dr. Leen Lambers

Telefon: +49 (0)331 5509 352

E-Mail: Leen.Lambers(at)hpi.uni-potsdam.de

Raum:  A-2.10

Forschungsinteressen

  • Regelbasiertes Modellieren durch Graphtransformation
  • Graphtransformation und formale Analysetechniken
  • Werkzeugunterstützung für die Zertifizierung von regelbasierten Modellen

Aktuelles Projekt

Wissenschaftliche Veranstaltungen

  • PC member ICMT 2012 5th International Conference on Model Transformation
  • PC chair GT-VMT 2012 11th International Workshop on Graph Transformation and Visual Modeling Techniques, co-located with ETAPS 2012

Veröffentlichungen:

Export als BibTeX
Aufsätze:
1.
Enrico Biermann and Claudia Ermel and Leen Lambers and Ulrike Prange and Olga Runge and Gabriele Taentzer,
Introduction to AGG and EMF Tiger by Modeling a Conference Scheduling System,
Software Tools for Technology Transfer Volume 12 Juli 2010(Numbers 3-4), 7 2010,
2.
Ulrike Prange and Hartmut Ehrig and Leen Lambers,
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories,
Applied Categorical Structures 16(3):365–388, 2008,
Beiträge zu Sammlungen:
3.
Hartmut Ehrig and Annegret Habel and Leen Lambers. Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. In Festschrift dedicated to Hans-Jorg Kreowski at the Occasion of his 60th Birthday, vol. 26 EC-EASST, 2010.
4.
Fernando Orejas and Leen Lambers. Symbolic Attributed Graphs for Attributed Graph Transformation. In Graph and Model Transformation 2010, vol. 30 EC-EASST, 2010.
Beiträge in Tagungsbänden:
5.
Claudia Ermel and Jürgen Gall and Leen Lambers and Gabriele Taentzer. Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. In Dimitra Giannakopoulou and Fernando Orejas, ed., Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, pages 156-170, 2011. Springer Berlin / Heidelberg.
6.
Basil Becker and Leen Lambers and Johannes Dyck and Stefanie Birth and Holger Giese. Iterative Development of Consistency-Preserving Rule-Based Refactorings. In Jordi Cabot and Eelco Visser, ed., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, volume 6707 of Lecture Notes in Computer Science, pages 123-137, 2011. Springer / Heidelberg.
7.
Hartmut Ehrig and Annegret Habel and Leen Lambers and Fernando Orejas and Ulrike Golas. Local Confluence for Rules with Nested Application Conditions. In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10), volume 6372 pages 330-345, 2010.
8.
Fernando Orejas and Leen Lambers. Delaying Constraint Solving in Symbolic Graph Transformation. In Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10), volume 6372 pages 43-58, 2010.
9.
Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, Oslo, Norway, 2010.
10.
Stefan Jurack and Leen Lambers and Katharina Mehner and Gabriele Taentzer and Gerd Wierse. Object Flow Definition for Refined Activity Diagrams. In Marsha Chechik and Martin Wirsing, ed., Proc. Fundamental Approaches to Software Engineering (FASE'09), volume 5503 of Lecture Notes in Computer Science, pages 49 – 63, York, UK, 2009. Springer.
11.
Stefan Jurack and Leen Lambers and Katharina Mehner and Gabriele Taentzer. Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In Proc. 11th Int. Conf. on Model Driven Engineering Languages and System MoDELS08, volume 5301 of Lecture Notes in Computer Science, pages 341-355, Toulouse, France, 10 2008. Springer.
12.
Leen Lambers and Hartmut Ehrig and Fernando Orejas. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. In Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06), volume 211 of Electronic Notes in Theoretical Computer Science, pages 17–26, Vienna, Austria, 4 2008. Elsevier Science.
13.
Guilherme Rangel and Leen Lambers and Barbara König and Hartmut Ehrig and Paolo Baldan. Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts. In Proc. International Conference on Graph Transformation (ICGT'08), volume 5214 of Lecture Notes in Computer Science, pages 242–256, Heidelberg, 2008. Springer.
14.
Alexander Rein and Ulrike Prange and Leen Lambers and Kathrin Hoffmann and Julia Padberg. Negative Application Conditions for Reconfigurable Place/Transition Systems. In J. de Lara C. Ermel and Reiko Heckel, ed., Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), volume 10 Budapest, Hungary, 2008. Electronic Communications of the EASST.
15.
Leen Lambers and Hartmut Ehrig and Gabriele Taentzer. Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. In J. de Lara C. Ermel and Reiko Heckel, ed., Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), volume 10 Budapest, Hungary, 2008. Electronic Communications of the EASST.
16.
Leen Lambers and Hartmut Ehrig and Ulrike Prange and Fernando Orejas. Embedding and Confluence of Graph Transformations with Negative Application Conditions. In H. Ehrig and Reiko Heckel and G. Rozenberg and Gabriele Taentzer, ed., Proc. International Conference on Graph Transformation (ICGT'08), volume 5214 of Lecture Notes in Computer Science, pages 162–177, Heidelberg, 2008. Springer.
17.
Leen Lambers and Hartmut Ehrig and Fernando Orejas and Ulrike Prange. Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. In H. Ehrig and J. Pfalzgraf and Ulrike Prange, ed., Proceedings of the ACCAT workshop at ETAPS 2007, volume 203 / 6 of Electronic Notes in Theoretical Computer Science, pages 43–66, 2008. Elsevier.
18.
Leen Lambers and Leonardo Mariani and Hartmut Ehrig and Mauro Pezzè. A Formal Framework for Developing Adaptable Service-Based Applications. In Jose Luiz Fiadeiro and Paola Inverardi, ed., Proc. Fundamental Approaches to Software Engineering (FASE'08), volume 4961 of Lecture Notes in Computer Science, pages 392–406, 2008. Springer Berlin / Heidelberg.
19.
Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezzè. Iterative model-driven development of adaptable service-based applications. In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pages 453–456, New York, NY, USA , 2007. ACM.
20.
Leen Lambers and Hartmut Ehrig and Fernando Orejas. Conflict Detection for Graph Transformation with Negative Application Conditions. In Proc. Third International Conference on Graph Transformation (ICGT'06), volume 4178 of Lecture Notes in Computer Science, pages 61–76, Natal, Brazil, 9 2006. Springer.
21.
Leen Lambers and Hartmut Ehrig and Fernando Orejas. Efficient Detection of Conflicts in Graph-Based Model Transformation. In Proc. International Workshop on Graph and Model Transformation (GraMoT'05), volume 152 of Electronic Notes in Theoretical Computer Science, pages 97–109, Tallinn, Estonia, 9 2005. Elsevier Science.
22.
Leen Lambers. A New Version of GTXL: An Exchange Format for Graph Transformation Systems. In Tom Mens and Andy Schürr and Gabriele Taentzer, ed., Proc. Workshop on Graph-Based Tools (GraBaTs'04), Satellite Event of ICGT'04, volume 127 of Electronic Notes in Theoretical Computer Science, pages 51–63, Rom, Italy, 2004. Elsevier Science.
Doktorarbeiten:
23.
Leen Lambers,
Certifying Rule-Based Models using Graph Transformation,
Technische Universität Berlin, 2010, Also as book available: Südwestdeutscher Verlag für Hochschulschriften ISBN: 978-3-8381-1650-1
Technische Berichte:
24.
Claudia Ermel and Jürgen Gall and Leen Lambers and Gabriele Taentzer. Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. Technical Report 2011/2, TU Berlin, 2011.
25.
Leen Lambers and Hartmut Ehrig and Annegret Habel and Fernando Orejas and Ulrike Golas. Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion. Technical Report 2010-7, Technische Universität Berlin, 2010.
26.
Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010.
27.
Stefan Jurack and Leen Lambers and Katharina Mehner and Gabriele Taentzer and Gerd Wierse. Object Flow Definition for Refined Activity Diagrams: Long Version. Technical Report 2009-1, Technische Universitat Berlin, 2009.
28.
Guilherme Rangel and Leen Lambers and B. Koenig and Hartmut Ehrig and Paolo Baldan. Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts. Technical Report 2008-12, Technische Universitat Berlin, 2008.
29.
Leen Lambers and Stefan Jurack and Katharina Mehner and Olga Runge and Gabriele Taentzer. Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version. Technical Report 2008-11, Technische Universitat Berlin, 2008.
30.
Leen Lambers and Hartmut Ehrig and Gabriele Taentzer. Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Technical Report 2008-2, Technische Universitat Berlin, 2008.
31.
Leen Lambers. Adhesive High-Level Replacement Systems with Negative Application Conditions. Technical Report 2007-14, Technische Universitat Berlin, 2007.
32.
Leen Lambers and Hartmut Ehrig and Fernando Orejas. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Technical Report 2006-07, Technische Universitat Berlin, 2006.
Export als BibTeX