Leen Lambers

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 39

Top Venues

ICGT

Softw. Syst. Model.

J. Log. Algebraic Methods Program.

MoDELS (Companion)

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR (2024)
Gabriele Taentzer, Jens Kosiol, Leen Lambers
On the Application of Model-Driven Optimization to Business Processes. Petri Nets (2024)
Lucas Sakizloglou, Holger Giese, Leen Lambers
Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE (2024)
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)
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)
Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova
Taint Analysis for Graph APIs Focusing on Broken Access Control. ICGT (2024)
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR (2024)
Sven Schneider, Leen Lambers
Evaluation diversity for graph conditions. J. Log. Algebraic Methods Program. 133 (2023)
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) (2023)
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)
Sven Schneider, Leen Lambers
Evaluation Diversity for Graph Conditions. ICGT (2021)
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) (2021)
Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118 (2021)
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) (2021)
Leen Lambers, Fernando Orejas
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theor. Comput. Sci. 884 (2021)
Leen Lambers, Fernando Orejas
Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR (2020)
Leen Lambers, Sven Schneider, Marcel Weisgut
Model-Based Testing of Read Only Graph Queries. ICST Workshops (2020)
Leen Lambers, Jens H. Weber
Preface to the special issue on the 11th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. 112 (2020)
Leen Lambers
How to Teach Software Testing? Experiences with a Sandwich Approach. ICST Workshops (2020)
Leen Lambers, Fernando Orejas
Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT (2020)
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)
Johannes Dyck, Holger Giese, Leen Lambers
Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. 18 (5) (2019)
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)
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 (2019)
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) (2019)
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. GCM@STAF (2019)
Sven Schneider, Leen Lambers, Fernando Orejas
A Logic-Based Incremental Approach to Graph Repair. FASE (2019)
Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer
Exploring Conflict Reasons for Graph Transformation Systems. ICGT (2019)
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)
Sven Schneider, Leen Lambers, Fernando Orejas
Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
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)
Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets (2018)
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)
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741 (2018)
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets (2018)
Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer
Granularity of Conflicts and Dependencies in Graph Transformation Systems. ICGT (2017)
Sven Schneider, Leen Lambers, Fernando Orejas
Symbolic Model Generation for Graph Properties. FASE (2017)
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) (2016)
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers
On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT (2016)
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)
Leen Lambers, Fernando Orejas
Tableau-Based Reasoning for Graph Properties. ICGT (2014)
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) (2014)
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)
Andrew Fish, Leen Lambers
Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction. J. Vis. Lang. Comput. 24 (6) (2013)
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)
Stephan Hildebrandt, Leen Lambers, Holger Giese
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. ICMT (2013)
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)
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) (2012)
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
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)
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)
Fernando Orejas, Leen Lambers
Lazy Graph Transformation. Fundam. Informaticae 118 (1-2) (2012)
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)
Stephan Hildebrandt, Leen Lambers, Holger Giese
The MDELab tool framework for the development of correct model transformations with triple graph grammars. AMT@MoDELS (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 (2012)
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)
Holger Giese, Leen Lambers
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT (2012)
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese
Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS (2011)
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)
Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE (2011)
Fernando Orejas, Leen Lambers
Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
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)
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) (2010)
Fernando Orejas, Leen Lambers
Delaying Constraint Solving in Symbolic Graph Transformation. ICGT (2010)
Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
Local Confluence for Rules with Nested Application Conditions. ICGT (2010)
Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse
Object Flow Definition for Refined Activity Diagrams. FASE (2009)
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)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT (2008)
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)
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
A Formal Framework for Developing Adaptable Service-Based Applications. FASE (2008)
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT (2008)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electron. Notes Theor. Comput. Sci. 211 (2008)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Ulrike Prange, Hartmut Ehrig, Leen Lambers
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. 16 (3) (2008)
Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. MoDELS (2008)
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè
Iterative model-driven development of adaptable service-based applications. ASE (2007)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT (2006)
Leen Lambers, Hartmut Ehrig, Fernando Orejas
Efficient Detection of Conflicts in Graph-based Model Transformation. Electron. Notes Theor. Comput. Sci. 152 (2006)
Leen Lambers
A New Version of GTXL : An Exchange Format for Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)

Leen Lambers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leen Lambers