Leen Lambers - RankMe

91 papers A* 2A 1B 24C 1Journal 35Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	From Software Engineering Pearls to Modeling and Back Again. Modellierung Leen Lambers
2026	—	`ed.`	Proceedings 16th International Workshop on Graph Computation Models, GCM@STAF 2025, Koblenz, Germany, 10 June 2025. GCM@STAF Leen Lambers, Oszkár Semeráth
2026	J	`jnl`	Taint Analysis for Graph APIs Focusing on Broken Access Control. Log. Methods Comput. Sci. Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova, Fernando Orejas
2025	—	`conf`	A Graph-Centric Neuro-Symbolic Architecture Applied to Personalized Sepsis Treatments. NSE@ICSE Lucas Sakizloglou, Taisiya Khakharova, Leen Lambers
2025	J	`jnl`	Exploring a Graph-based Approach to Offline Reinforcement Learning for Sepsis Treatment. CoRR Taisiya Khakharova, Lucas Sakizloglou, Leen Lambers
2025	—	`conf`	Modeling: The Heart and Soul of Engineering Smart Ecosystems. MODELS-C Antonio Bucchiarone, Benoît Combemale, Alfonso Pierantonio, Nelly Bencomo, Mark van den Brand, Jean-Michel Bruel, Antonio Cicchetti, Juri Di Rocco, Leen Lambers, Judith Michael, Bernhard Rumpe, Mikael Sjödin, Gabriele Taentzer, Matthias Tichy, Hans Vangheluwe, Manuel Wimmer, Steffen Zschaler
2025	J	`jnl`	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. Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel
2025	—	`conf`	Provider-agnostic knowledge graph extraction from user stories using large language models. STAF Workshops Thayná Camargo da Silva, Leen Lambers, Sébastien Mosser, Kate Revoredo
2025	J	`jnl`	Taint Analysis for Graph APIs Focusing on Broken Access Control. CoRR Leen Lambers, Lucas Sakizloglou, Taisiya Khakharova, Fernando Orejas
2024	C	`conf`	A Graph-Based Framework for Model-Driven Optimization Facilitating Impact Analysis of Mutation Operator Properties. Software Engineering Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer
2024	B	`conf`	Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024	J	`jnl`	Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
2024	B	`conf`	Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. FASE Lucas Sakizloglou, Holger Giese, Leen Lambers
2024	—	`conf`	On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems. SESoS Lucas Sakizloglou, Taisiya Khakharova, Florian Ruehs, Leen Lambers
2024	B	`conf`	On the Application of Model-Driven Optimization to Business Processes. Petri Nets Gabriele Taentzer, Jens Kosiol, Leen Lambers
2024	B	`conf`	Taint Analysis for Graph APIs Focusing on Broken Access Control. ICGT Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova
2023	J	`jnl`	A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. Softw. Syst. Model. Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer
2023	J	`jnl`	Evaluation diversity for graph conditions. J. Log. Algebraic Methods Program. Sven Schneider, Leen Lambers
2023	B	`ed.`	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 FASE Leen Lambers, Sebastián Uchitel
2022	—	`conf`	Tool support for the teaching of state-based behavior modeling. MoDELS (Companion) Christian Zöllner, Christian M. Adriano, Simon Wietheger, Leen Lambers, Holger Giese
2021	J	`jnl`	A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. Sven Schneider, Leen Lambers, Fernando Orejas
2021	J	`jnl`	A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers
2021	B	`conf`	Evaluation Diversity for Graph Conditions. ICGT Sven Schneider, Leen Lambers
2021	J	`jnl`	Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. Theor. Comput. Sci. Leen Lambers, Fernando Orejas
2021	J	`jnl`	What Is the Future of Modeling? IEEE Softw. Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim Zaytsev
2020	—	`conf`	From classic to agile: experiences from more than a decade of project-based modeling education. MoDELS (Companion) Holger Giese, Leen Lambers, Christian Zöllner
2020	—	`conf`	How to Teach Software Testing? Experiences with a Sandwich Approach. ICST Workshops Leen Lambers
2020	B	`conf`	Initial Conflicts for Transformation Rules with Nested Application Conditions. ICGT Leen Lambers, Fernando Orejas
2020	J	`jnl`	Initial Conflicts for Transformation Rules with Nested Application Conditions. CoRR Leen Lambers, Fernando Orejas
2020	—	`conf`	Model-Based Testing of Read Only Graph Queries. ICST Workshops Leen Lambers, Sven Schneider, Marcel Weisgut
2020	J	`jnl`	Preface to the special issue on the 11th International Conference on Graph Transformation. J. Log. Algebraic Methods Program. Leen Lambers, Jens H. Weber
2019	B	`conf`	A Logic-Based Incremental Approach to Graph Repair. FASE Sven Schneider, Leen Lambers, Fernando Orejas
2019	—	`conf`	Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. GCM@STAF Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
2019	J	`jnl`	Automatic verification of behavior preservation at the transformation level for relational model transformation. Softw. Syst. Model. Johannes Dyck, Holger Giese, Leen Lambers
2019	J	`jnl`	Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 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
2019	B	`conf`	Exploring Conflict Reasons for Graph Transformation Systems. ICGT Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer
2019	J	`jnl`	Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach. J. Log. Algebraic Methods Program. Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer
2019	—	`conf`	Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary). SE/SWM Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert
2018	J	`jnl`	Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. Sven Schneider, Leen Lambers, Fernando Orejas
2018	B	`ed.`	Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings ICGT Leen Lambers, Jens H. Weber
2018	—	`conf`	How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 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
2018	—	`conf`	Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
2018	J	`jnl`	Institutions for navigational logics for graphical structures. Theor. Comput. Sci. Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
2018	A*	`conf`	Multi-granular conflict and dependency analysis in software engineering based on graph transformation. ICSE Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert
2018	—	`conf`	Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
2018	—	`conf`	Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 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
2017	B	`conf`	Granularity of Conflicts and Dependencies in Graph Transformation Systems. ICGT Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer
2017	B	`conf`	Symbolic Model Generation for Graph Properties. FASE Sven Schneider, Leen Lambers, Fernando Orejas
2016	J	`jnl`	Model transformation intents and their properties. Softw. Syst. Model. Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2016	B	`conf`	On the Operationalization of Graph Queries with Generalized Discrimination Networks. ICGT Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers
2015	—	`conf`	Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
2014	J	`jnl`	Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations. Softw. Syst. Model. Holger Giese, Stephan Hildebrandt, Leen Lambers
2014	B	`conf`	Tableau-Based Reasoning for Graph Properties. ICGT Leen Lambers, Fernando Orejas
2014	J	`jnl`	ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2013	J	`jnl`	A Survey of Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr
2013	—	`conf`	Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations. ICMT Stephan Hildebrandt, Leen Lambers, Holger Giese
2013	J	`jnl`	Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction. J. Vis. Lang. Comput. Andrew Fish, Leen Lambers
2012	J	`jnl`	Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas
2012	J	`jnl`	Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas
2012	—	`conf`	Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt
2012	J	`jnl`	Integration of Triple Graph Grammars and Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
2012	J	`jnl`	Lazy Graph Transformation. Fundam. Informaticae Fernando Orejas, Leen Lambers
2012	J	`jnl`	Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrew Fish, Leen Lambers
2012	—	`conf`	The MDELab tool framework for the development of correct model transformations with triple graph grammars. AMT@MoDELS Stephan Hildebrandt, Leen Lambers, Holger Giese
2012	B	`conf`	Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
2012	B	`conf`	Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT Holger Giese, Leen Lambers
2012	—	`conf`	Towards a model transformation intent catalog. AMT@MoDELS Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2012	J	`jnl`	ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. Fundam. Informaticae Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas
2011	—	`conf`	Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter
2011	—	`conf`	Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT@TOOLS Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese
2011	B	`conf`	Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. FASE Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer
2010	B	`conf`	Delaying Constraint Solving in Symbolic Graph Transformation. ICGT Fernando Orejas, Leen Lambers
2010	J	`jnl`	Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. Int. J. Softw. Tools Technol. Transf. Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer
2010	B	`conf`	Local Confluence for Rules with Nested Application Conditions. ICGT Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
2010	J	`jnl`	Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hartmut Ehrig, Annegret Habel, Leen Lambers
2010	J	`jnl`	Symbolic Attributed Graphs for Attributed Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fernando Orejas, Leen Lambers
2009	—	`—`	Certifying rule-based models using graph transformation. Leen Lambers
2009	B	`conf`	Object Flow Definition for Refined Activity Diagrams. FASE Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse
2008	B	`conf`	A Formal Framework for Developing Adaptable Service-Based Applications. FASE Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
2008	B	`conf`	Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
2008	J	`jnl`	Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. Ulrike Prange, Hartmut Ehrig, Leen Lambers
2008	B	`conf`	Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2008	J	`jnl`	Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
2008	J	`jnl`	Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
2008	A	`conf`	Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. MoDELS Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer
2007	A*	`conf`	Iterative model-driven development of adaptable service-based applications. ASE Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè
2007	—	`conf`	Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. ACCAT@ETAPS Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2006	B	`conf`	Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT Leen Lambers, Hartmut Ehrig, Fernando Orejas
2006	—	`conf`	Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. GT-VMT@ETAPS Leen Lambers, Hartmut Ehrig, Fernando Orejas
2005	—	`conf`	Efficient Detection of Conflicts in Graph-based Model Transformation. GRaMoT@GPCE Leen Lambers, Hartmut Ehrig, Fernando Orejas
2004	—	`conf`	A New Version of GTXL : An Exchange Format for Graph Transformation Systems. GraBaTs Leen Lambers