A New Version of GTXL : An Exchange Format for Graph Transformation Systems. - Leen Lambers (GraBaTs, 2004)

Efficient Detection of Conflicts in Graph-based Model Transformation. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (GRaMoT@GPCE, 2005)

Conflict Detection for Graph Transformation with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (ICGT, 2006)

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. - Leen Lambers; Hartmut Ehrig; Fernando Orejas (GT-VMT@ETAPS, 2006)

Iterative model-driven development of adaptable service-based applications. - Leen Lambers; Hartmut Ehrig; Leonardo Mariani; Mauro Pezzè (ASE, 2007)

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ACCAT@ETAPS, 2007)

A Formal Framework for Developing Adaptable Service-Based Applications. - Leen Lambers; Leonardo Mariani; Hartmut Ehrig; Mauro Pezzè (FASE, 2008)

Embedding and Confluence of Graph Transformations with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ICGT, 2008)

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. - Guilherme Rangel; Leen Lambers; Barbara König 001; Hartmut Ehrig; Paolo Baldan (ICGT, 2008)

Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. - Stefan Jurack; Leen Lambers; Katharina Mehner; Gabriele Taentzer (MoDELS, 2008)

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. - Ulrike Prange; Hartmut Ehrig; Leen Lambers (Appl. Categorical Struct., 2008)

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. - Leen Lambers; Hartmut Ehrig; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Negative Application Conditions for Reconfigurable Place/Transition Systems. - Alexander Rein; Ulrike Prange; Leen Lambers; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Object Flow Definition for Refined Activity Diagrams. - Stefan Jurack; Leen Lambers; Katharina Mehner; Gabriele Taentzer; Gerd Wierse (FASE, 2009)

Certifying rule-based models using graph transformation. - Leen Lambers (2009)

Local Confluence for Rules with Nested Application Conditions. - Hartmut Ehrig; Annegret Habel; Leen Lambers; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Delaying Constraint Solving in Symbolic Graph Transformation. - Fernando Orejas; Leen Lambers (ICGT, 2010)

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. - Hartmut Ehrig; Annegret Habel; Leen Lambers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Symbolic Attributed Graphs for Attributed Graph Transformation. - Fernando Orejas; Leen Lambers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. - Enrico Biermann; Claudia Ermel; Leen Lambers; Ulrike Prange; Olga Runge; Gabriele Taentzer (Int. J. Softw. Tools Technol. Transf., 2010)

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

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. - Claudia Ermel; Jürgen Gall; Leen Lambers; Gabriele Taentzer (FASE, 2011)

Iterative Development of Consistency-Preserving Rule-Based Refactorings. - Basil Becker; Leen Lambers; Johannes Dyck; Stefanie Birth; Holger Giese (ICMT@TOOLS, 2011)

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. - Holger Giese; Leen Lambers (ICGT, 2012)

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

Towards a model transformation intent catalog. - Moussa Amrani; Jürgen Dingel; Leen Lambers; Levi Lúcio; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (AMT@MoDELS, 2012)

The MDELab tool framework for the development of correct model transformations with triple graph grammars. - Stephan Hildebrandt; Leen Lambers; Holger Giese (AMT@MoDELS, 2012)

Graph Transformations for MDE, Adaptation, and Models at Runtime. - Holger Giese; Leen Lambers; Basil Becker; Stephan Hildebrandt; Stefan Neumann 002; Thomas Vogel 001; Sebastian Wätzoldt (SFM, 2012)

Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques. - Andrew Fish; Leen Lambers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Integration of Triple Graph Grammars and Constraints. - Stephan Hildebrandt; Leen Lambers; Basil Becker; Holger Giese (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. - Leen Lambers; Stephan Hildebrandt; Holger Giese; Fernando Orejas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

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

Lazy Graph Transformation. - Fernando Orejas; Leen Lambers (Fundam. Informaticae, 2012)

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Fernando Orejas (Theor. Comput. Sci., 2012)

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. - Stephan Hildebrandt; Leen Lambers; Holger Giese (ICMT, 2013)

A Survey of Triple Graph Grammar Tools. - Stephan Hildebrandt; Leen Lambers; Holger Giese; Jan Rieke; Joel Greenyer; Wilhelm Schäfer; Marius Lauder; Anthony Anjorin; Andy Schürr (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction. - Andrew Fish; Leen Lambers (J. Vis. Lang. Comput., 2013)

Tableau-Based Reasoning for Graph Properties. - Leen Lambers; Fernando Orejas (ICGT, 2014)

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations. - Holger Giese; Stephan Hildebrandt; Leen Lambers (Softw. Syst. Model., 2014)

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. - Johannes Dyck; Holger Giese; Leen Lambers; Sebastian Schlesinger; Sabine Glesner (AMT@MoDELS, 2015)

On the Operationalization of Graph Queries with Generalized Discrimination Networks. - Thomas Beyhl; Dominique Blouin; Holger Giese; Leen Lambers (ICGT, 2016)

Model transformation intents and their properties. - Levi Lúcio; Moussa Amrani; Juergen Dingel; Leen Lambers; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (Softw. Syst. Model., 2016)

Symbolic Model Generation for Graph Properties. - Sven Schneider 001; Leen Lambers; Fernando Orejas (FASE, 2017)

Granularity of Conflicts and Dependencies in Graph Transformation Systems. - Kristopher Born; Leen Lambers; Daniel Strüber 001; Gabriele Taentzer (ICGT, 2017)

Initial Conflicts and Dependencies: Critical Pairs Revisited. - Leen Lambers; Kristopher Born; Fernando Orejas; Daniel Strüber 001; Gabriele Taentzer (Graph Transformation, Specifications, and Nets, 2018)

Towards a Navigational Logic for Graphical Structures. - Leen Lambers; Marisa Navarro; Fernando Orejas; Elvira Pino (Graph Transformation, Specifications, and Nets, 2018)

Multi-granular conflict and dependency analysis in software engineering based on graph transformation. - Leen Lambers; Daniel Strüber 001; Gabriele Taentzer; Kristopher Born; Jevgenij Huebert (ICSE, 2018)

Towards a body of knowledge for model-based software engineering. - Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabi Taentzer; Antonio Vallecillo; Manuel Wimmer (MoDELS (Companion), 2018)

How do we teach modelling and model-driven engineering?: a survey. - Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabi Taentzer; Antonio Vallecillo; Manuel Wimmer (MoDELS (Companion), 2018)

Automated reasoning for attributed graph properties. - Sven Schneider 001; Leen Lambers; Fernando Orejas (Int. J. Softw. Tools Technol. Transf., 2018)

Institutions for navigational logics for graphical structures. - Fernando Orejas; Elvira Pino; Marisa Navarro; Leen Lambers (Theor. Comput. Sci., 2018)

A Logic-Based Incremental Approach to Graph Repair. - Sven Schneider 001; Leen Lambers; Fernando Orejas (FASE, 2019)

Exploring Conflict Reasons for Graph Transformation Systems. - Leen Lambers; Jens Kosiol; Daniel Strüber 001; Gabriele Taentzer (ICGT, 2019)

Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary). - Leen Lambers; Daniel Strüber 001; Gabriele Taentzer; Kristopher Born; Jevgenij Huebert (SE/SWM, 2019)

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. - Reiko Heckel; Leen Lambers; Maryam Ghaffari Saadat (GCM@STAF, 2019)

Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach. - Leen Lambers; Kristopher Born; Jens Kosiol; Daniel Strüber 001; Gabriele Taentzer (J. Log. Algebraic Methods Program., 2019)

Contents for a Model-Based Software Engineering Body of Knowledge. - Loli Burgueño; Federico Ciccozzi; Michalis Famelis; Gerti Kappel; Leen Lambers; Sébastien Mosser 001; Richard F. Paige; Alfonso Pierantonio; Arend Rensink; Rick Salay; Gabriele Taentzer; Antonio Vallecillo; et al. (Softw. Syst. Model., 2019)

Automatic verification of behavior preservation at the transformation level for relational model transformation. - Johannes Dyck; Holger Giese; Leen Lambers (Softw. Syst. Model., 2019)

Initial Conflicts for Transformation Rules with Nested Application Conditions. - Leen Lambers; Fernando Orejas (ICGT, 2020)

Model-Based Testing of Read Only Graph Queries. - Leen Lambers; Sven Schneider 001; Marcel Weisgut (ICST Workshops, 2020)

How to Teach Software Testing? Experiences with a Sandwich Approach. - Leen Lambers (ICST Workshops, 2020)

From classic to agile: experiences from more than a decade of project-based modeling education. - Holger Giese; Leen Lambers; Christian Zöllner 002 (MoDELS (Companion), 2020)

Preface to the special issue on the 11th International Conference on Graph Transformation. - Leen Lambers; Jens H. Weber (J. Log. Algebraic Methods Program., 2020)

A navigational logic for reasoning about graph properties. - Marisa Navarro; Fernando Orejas; Elvira Pino; Leen Lambers (J. Log. Algebraic Methods Program., 2021)

What Is the Future of Modeling? - Antonio Bucchiarone; Federico Ciccozzi; Leen Lambers; Alfonso Pierantonio; Matthias Tichy; Massimo Tisi; Andreas Wortmann 001; Vadim Zaytsev (IEEE Softw., 2021)

A logic-based incremental approach to graph repair featuring delta preservation. - Sven Schneider 001; Leen Lambers; Fernando Orejas (Int. J. Softw. Tools Technol. Transf., 2021)

Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. - Leen Lambers; Fernando Orejas (Theor. Comput. Sci., 2021)

Tool support for the teaching of state-based behavior modeling. - Christian Zöllner 002; Christian M. Adriano; Simon Wietheger; Leen Lambers; Holger Giese (MoDELS (Companion), 2022)

Evaluation diversity for graph conditions. - Sven Schneider 001; Leen Lambers (J. Log. Algebraic Methods Program., 2023)

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. - Stefan John 001; Jens Kosiol; Leen Lambers; Gabriele Taentzer (Softw. Syst. Model., 2023)

On the Application of Model-Driven Optimization to Business Processes. - Gabriele Taentzer; Jens Kosiol; Leen Lambers (Petri Nets, 2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. - Lara Stoltenow; Barbara König 001; Sven Schneider 001; Andrea Corradini 001; Leen Lambers; Fernando Orejas (CONCUR, 2024)

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. - Lucas Sakizloglou; Holger Giese; Leen Lambers (FASE, 2024)

Taint Analysis for Graph APIs Focusing on Broken Access Control. - Leen Lambers; Lucas Sakizloglou; Osama Al-Wardi; Taisiya Khakharova (ICGT, 2024)

On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems. - Lucas Sakizloglou; Taisiya Khakharova; Florian Ruehs; Leen Lambers (SESoS, 2024)

Supplement to FASE 2024 Special Issue Submission in J. FAC. - Lucas Sakizloglou; Holger Giese; Leen Lambers (Zenodo, 2024)

A Graph-Centric Neuro-Symbolic Architecture Applied to Personalized Sepsis Treatments. - Lucas Sakizloglou; Taisiya Khakharova; Leen Lambers (NSE@ICSE, 2025)

Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023). - Carlos Diego Nascimento Damasceno; Marie-Christine Jakobs; Leen Lambers; Sebastián Uchitel (Sci. Comput. Program., 2025)

Taint Analysis for Graph APIs Focusing on Broken Access Control. - Leen Lambers; Lucas Sakizloglou; Taisiya Khakharova; Fernando Orejas (CoRR, 2025)

Supplement to FASE 2024 Special Issue Submission in J. FAC. - Lucas Sakizloglou; Holger Giese; Leen Lambers (Zenodo, 2025)