Leen Lambers

According to our database, Leen Lambers authored at least 76 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems.

Lucas Sakizloglou, Taisiya Khakharova, Florian Ruehs, Leen Lambers

Proceedings of the 12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems, 2024

Taint Analysis for Graph APIs Focusing on Broken Access Control.

Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova

Proceedings of the Graph Transformation - 17th International Conference, 2024

Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.

Lucas Sakizloglou, Holger Giese, Leen Lambers

Proceedings of the Fundamental Approaches to Software Engineering, 2024

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas

Proceedings of the 35th International Conference on Concurrency Theory, 2024

On the Application of Model-Driven Optimization to Business Processes.

Gabriele Taentzer, Jens Kosiol, Leen Lambers

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties.

Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer

Softw. Syst. Model., August, 2023

Evaluation diversity for graph conditions.

Sven Schneider, Leen Lambers

J. Log. Algebraic Methods Program., June, 2023

2022

Tool support for the teaching of state-based behavior modeling.

Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality.

Leen Lambers, Fernando Orejas

Theor. Comput. Sci., 2021

A logic-based incremental approach to graph repair featuring delta preservation.

Sven Schneider, Leen Lambers, Fernando Orejas

Int. J. Softw. Tools Technol. Transf., 2021

What Is the Future of Modeling?

Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim Zaytsev

IEEE Softw., 2021

A navigational logic for reasoning about graph properties.

Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers

J. Log. Algebraic Methods Program., 2021

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

From classic to agile: experiences from more than a decade of project-based modeling education.

Holger Giese, Leen Lambers, Christian Zöllner

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

How to Teach Software Testing? Experiences with a Sandwich Approach.

Leen Lambers

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Model-Based Testing of Read Only Graph Queries.

Leen Lambers, Sven Schneider, Marcel Weisgut

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Initial Conflicts for Transformation Rules with Nested Application Conditions.

Leen Lambers, Fernando Orejas

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Automatic verification of behavior preservation at the transformation level for relational model transformation.

Johannes Dyck, Holger Giese, Leen Lambers

Softw. Syst. Model., 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, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer

Softw. Syst. Model., 2019

Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach.

Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer

J. Log. Algebraic Methods Program., 2019

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques.

Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat

Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019

Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary).

Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert

Proceedings of the Software Engineering and Software Management, 2019

Exploring Conflict Reasons for Graph Transformation Systems.

Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer

Proceedings of the Graph Transformation - 12th International Conference, 2019

A Logic-Based Incremental Approach to Graph Repair.

Sven Schneider, Leen Lambers, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Institutions for navigational logics for graphical structures.

Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers

Theor. Comput. Sci., 2018

Automated reasoning for attributed graph properties.

Sven Schneider, Leen Lambers, Fernando Orejas

Int. J. Softw. Tools Technol. Transf., 2018

How do we teach modelling and model-driven engineering?: a survey.

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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.

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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Multi-granular conflict and dependency analysis in software engineering based on graph transformation.

Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert

Proceedings of the 40th International Conference on Software Engineering, 2018

Towards a Navigational Logic for Graphical Structures.

Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

Initial Conflicts and Dependencies: Critical Pairs Revisited.

Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Granularity of Conflicts and Dependencies in Graph Transformation Systems.

Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer

Proceedings of the Graph Transformation - 10th International Conference, 2017

Symbolic Model Generation for Graph Properties.

Sven Schneider, Leen Lambers, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2017

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

On the Operationalization of Graph Queries with Generalized Discrimination Networks.

Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

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

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

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

ℳ-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

Tableau-Based Reasoning for Graph Properties.

Leen Lambers, Fernando Orejas

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction.

Andrew Fish, Leen Lambers

J. Vis. Lang. Comput., 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

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations.

Stephan Hildebrandt, Leen Lambers, Holger Giese

Proceedings of the Theory and Practice of Model Transformations, 2013

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

Lazy Graph Transformation.

Fernando Orejas, Leen Lambers

Fundam. Informaticae, 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

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

Integration of Triple Graph Grammars and Constraints.

Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Graph Transformations for MDE, Adaptation, and Models at Runtime.

Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

The MDELab tool framework for the development of correct model transformations with triple graph grammars.

Stephan Hildebrandt, Leen Lambers, Holger Giese

Proceedings of the First Workshop on the Analysis of Model Transformations, 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

Proceedings of the First Workshop on the Analysis of Model Transformations, 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

Proceedings of the Graph Transformations - 6th International Conference, 2012

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking.

Holger Giese, Leen Lambers

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Iterative Development of Consistency-Preserving Rule-Based Refactorings.

Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese

Proceedings of the Theory and Practice of Model Transformations, 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

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations.

Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

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

Symbolic Attributed Graphs for Attributed Graph Transformation.

Fernando Orejas, Leen Lambers

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Delaying Constraint Solving in Symbolic Graph Transformation.

Fernando Orejas, Leen Lambers

Proceedings of the Graph Transformations - 5th International Conference, 2010

Local Confluence for Rules with Nested Application Conditions.

Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

Certifying rule-based models using graph transformation.

Leen Lambers

PhD thesis, 2009

Object Flow Definition for Refined Activity Diagrams.

Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse

Proceedings of the Fundamental Approaches to Software Engineering, 2009

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

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.

Leen Lambers, Hartmut Ehrig, Gabriele Taentzer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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 Consistent Behavior Modeling with Refined Activity Diagrams.

Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.

Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan

Proceedings of the Graph Transformations, 4th International Conference, 2008

Embedding and Confluence of Graph Transformations with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Proceedings of the Graph Transformations, 4th International Conference, 2008

A Formal Framework for Developing Adaptable Service-Based Applications.

Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

Iterative model-driven development of adaptable service-based applications.

Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.

Leen Lambers, Hartmut Ehrig, Fernando Orejas

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Conflict Detection for Graph Transformation with Negative Application Conditions.

Leen Lambers, Hartmut Ehrig, Fernando Orejas

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Efficient Detection of Conflicts in Graph-based Model Transformation.

Leen Lambers, Hartmut Ehrig, Fernando Orejas

Proceedings of the International Workshop on Graph and Model Transformation, 2005

2004

A New Version of GTXL : An Exchange Format for Graph Transformation Systems.

Leen Lambers

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004