default search action
Leen Lambers
Person information
- affiliation: Hasso Plattner Institute, Potsdam, Germany
- affiliation: TU Berlin, Institute of Software Engineering and Theoretical Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j30]Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel:
Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023). Sci. Comput. Program. 240: 103219 (2025) - 2024
- [c48]Gabriele Taentzer, Jens Kosiol, Leen Lambers:
On the Application of Model-Driven Optimization to Business Processes. Petri Nets 2024: 24-35 - [c47]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR 2024: 39:1-39:20 - [c46]Lucas Sakizloglou, Holger Giese, Leen Lambers:
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE 2024: 22-55 - [c45]Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova:
Taint Analysis for Graph APIs Focusing on Broken Access Control. ICGT 2024: 180-200 - [c44]Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer:
A Graph-Based Framework for Model-Driven Optimization Facilitating Impact Analysis of Mutation Operator Properties. Software Engineering 2024: 37-38 - [c43]Lucas Sakizloglou, Taisiya Khakharova, Florian Ruehs, Leen Lambers:
On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems. SESoS@ICSE 2024: 57-60 - [i2]Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas:
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR abs/2407.06864 (2024) - 2023
- [j29]Sven Schneider, Leen Lambers:
Evaluation diversity for graph conditions. J. Log. Algebraic Methods Program. 133: 100862 (2023) - [j28]Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer:
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. Softw. Syst. Model. 22(4): 1281-1318 (2023) - [e2]Leen Lambers, Sebastián Uchitel:
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science 13991, Springer 2023, ISBN 978-3-031-30825-3 [contents] - 2022
- [c42]Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese:
Tool support for the teaching of state-based behavior modeling. MoDELS (Companion) 2022: 87-94 - 2021
- [j27]Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers:
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118: 100616 (2021) - [j26]Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim Zaytsev:
What Is the Future of Modeling? IEEE Softw. 38(2): 119-127 (2021) - [j25]Sven Schneider, Leen Lambers, Fernando Orejas:
A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. 23(3): 369-410 (2021) - [j24]Leen Lambers, Fernando Orejas:
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theor. Comput. Sci. 884: 44-67 (2021) - [c41]Sven Schneider, Leen Lambers:
Evaluation Diversity for Graph Conditions. ICGT 2021: 122-141 - 2020
- [j23]Leen Lambers, Jens H. Weber:
Preface to the special issue on the 11th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. 112: 100525 (2020) - [c40]Leen Lambers, Fernando Orejas:
Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT 2020: 109-127 - [c39]Leen Lambers, Sven Schneider, Marcel Weisgut:
Model-Based Testing of Read Only Graph Queries. ICST Workshops 2020: 24-34 - [c38]Leen Lambers:
How to Teach Software Testing? Experiences with a Sandwich Approach. ICST Workshops 2020: 425-428 - [c37]Holger Giese, Leen Lambers, Christian Zöllner:
From classic to agile: experiences from more than a decade of project-based modeling education. MoDELS (Companion) 2020: 22:1-22:10 - [i1]Leen Lambers, Fernando Orejas:
Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR abs/2005.05901 (2020)
2010 – 2019
- 2019
- [j22]Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer:
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach. J. Log. Algebraic Methods Program. 103: 105-129 (2019) - [j21]Johannes Dyck, Holger Giese, Leen Lambers:
Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. 18(5): 2937-2972 (2019) - [j20]Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer:
Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 18(6): 3193-3205 (2019) - [c36]Sven Schneider, Leen Lambers, Fernando Orejas:
A Logic-Based Incremental Approach to Graph Repair. FASE 2019: 151-167 - [c35]Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer:
Exploring Conflict Reasons for Graph Transformation Systems. ICGT 2019: 75-92 - [c34]Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert:
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary). SE/SWM 2019: 153-154 - [c33]Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat:
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. GCM@STAF 2019: 1-22 - 2018
- [j19]Sven Schneider, Leen Lambers, Fernando Orejas:
Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20(6): 705-737 (2018) - [j18]Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers:
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741: 19-24 (2018) - [c32]Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer:
Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets 2018: 105-123 - [c31]Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino:
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets 2018: 124-141 - [c30]Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert:
Multi-granular conflict and dependency analysis in software engineering based on graph transformation. ICSE 2018: 716-727 - [c29]Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer:
Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 2018: 82-89 - [c28]Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer:
How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 2018: 122-129 - [e1]Leen Lambers, Jens H. Weber:
Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10887, Springer 2018, ISBN 978-3-319-92990-3 [contents] - 2017
- [c27]Sven Schneider, Leen Lambers, Fernando Orejas:
Symbolic Model Generation for Graph Properties. FASE 2017: 226-243 - [c26]Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer:
Granularity of Conflicts and Dependencies in Graph Transformation Systems. ICGT 2017: 125-141 - 2016
- [j17]Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Model transformation intents and their properties. Softw. Syst. Model. 15(3): 647-684 (2016) - [c25]Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers:
On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT 2016: 170-186 - 2015
- [c24]Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner:
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS 2015: 36-45 - 2014
- [j16]Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014) - [j15]Holger Giese, Stephan Hildebrandt, Leen Lambers:
Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations. Softw. Syst. Model. 13(1): 273-299 (2014) - [c23]Leen Lambers, Fernando Orejas:
Tableau-Based Reasoning for Graph Properties. ICGT 2014: 17-32 - 2013
- [j14]Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr:
A Survey of Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j13]Andrew Fish, Leen Lambers:
Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction. J. Vis. Lang. Comput. 24(6): 419-420 (2013) - [c22]Stephan Hildebrandt, Leen Lambers, Holger Giese:
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. ICMT 2013: 174-188 - 2012
- [j12]Andrew Fish, Leen Lambers:
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j11]Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas:
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j10]Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese:
Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012) - [j9]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. Informaticae 118(1-2): 35-63 (2012) - [j8]Fernando Orejas, Leen Lambers:
Lazy Graph Transformation. Fundam. Informaticae 118(1-2): 65-96 (2012) - [j7]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) - [c21]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 - [c20]Holger Giese, Leen Lambers:
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT 2012: 249-263 - [c19]Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Towards a model transformation intent catalog. AMT@MoDELS 2012: 3-8 - [c18]Stephan Hildebrandt, Leen Lambers, Holger Giese:
The MDELab tool framework for the development of correct model transformations with triple graph grammars. AMT@MoDELS 2012: 33-34 - [c17]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 - 2011
- [c16]Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter:
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE 2011: 238-253 - [c15]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 - [c14]Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese:
Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS 2011: 123-137 - 2010
- [j6]Hartmut Ehrig, Annegret Habel, Leen Lambers:
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [j5]Fernando Orejas, Leen Lambers:
Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j4]Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer:
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. Int. J. Softw. Tools Technol. Transf. 12(3-4): 245-261 (2010) - [c13]Fernando Orejas, Leen Lambers:
Delaying Constraint Solving in Symbolic Graph Transformation. ICGT 2010: 43-58 - [c12]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas:
Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345
2000 – 2009
- 2009
- [b1]Leen Lambers:
Certifying rule-based models using graph transformation. Berlin Institute of Technology, 2009 - [c11]Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams. FASE 2009: 49-63 - 2008
- [j3]Ulrike Prange, Hartmut Ehrig, Leen Lambers:
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. 16(3): 365-388 (2008) - [j2]Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j1]Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c10]Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406 - [c9]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177 - [c8]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 - [c7]Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer:
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. MoDELS 2008: 341-355 - 2007
- [c6]Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456 - [c5]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. ACCAT@ETAPS 2007: 43-66 - 2006
- [c4]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76 - [c3]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. GT-VMT@ETAPS 2006: 17-26 - 2005
- [c2]Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Detection of Conflicts in Graph-based Model Transformation. GRaMoT@GPCE 2005: 97-109 - 2004
- [c1]Leen Lambers:
A New Version of GTXL : An Exchange Format for Graph Transformation Systems. GraBaTs 2004: 51-63
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint