|
| [84] | A navigational logic for reasoning about graph properties (Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers), In Journal of Logical and Algebraic Methods in Programming, volume 118, 2021. |
| [83] | Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality (Leen Lambers, Fernando Orejas), In Theoretical Computer Science, volume 884, 2021. |
| [82] | A logic-based incremental approach to graph repair featuring delta preservation (Sven Schneider, Leen Lambers, Fernando Orejas), In Int. J. Softw. Tools Technol. Transf., volume 23, 2021. |
| [81] | Evaluation Diversity for Graph Conditions (Sven Schneider, Leen Lambers), In Graph Transformation - 14th International Conference, ICGT 2021 Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, 2021. |
| [80] | What Is the Future of Modeling? (Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim Zaytsev), In IEEE Softw., volume 38, 2021. |
|
| [79] | How to Teach Software Testing? Experiences with A Sandwich Approach (Leen Lambers), In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, IEEE Digital Library, 2020. |
| [78] | Preface to the special issue on the 11th International Conference on Graph Transformation (Leen Lambers, Jens Weber), In Journal of Logical and Algebraic Methods in Programming, volume 112, 2020. |
| [77] | Model-Based Testing of Read Only Graph Queries (Leen Lambers, Sven Schneider, Marcel Weisgut), In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, IEEE, 2020. |
| [76] | Initial Conflicts for Transformation Rules with Nested Application Conditions (Leen Lambers, Fernando Orejas), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020. |
| [75] | From Classic to Agile: Experiences from More than a Decade of Project-Based Modeling Education (Holger Giese, Leen Lambers, Christian Zöllner), In Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Association for Computing Machinery, 2020. |
|
| [74] | Analysis of Graph Transformation Systems: Native vs Translation-based Techniques (Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat), In Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, volume 309, 2019. |
| [73] | A Logic-Based Incremental Approach to Graph Repair (Sven Schneider, Leen Lambers, Fernando Orejas), In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic April 6-11, 2019, Proceedings (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, 2019. |
| [72] | Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach (Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer), In Journal of Logical and Algebraic Methods in Programming, volume 103, 2019. |
| [71] | Exploring Conflict Reasons for Graph Transformation Systems (Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer), In Graph Transformation - 12th International Conference, ICGT 2019 (Esther Guerra, Fernando Orejas, eds.), Springer, volume 11629, 2019. |
| [70] | Automatic verification of behavior preservation at the transformation level for relational model transformation (Johannes Dyck, Holger Giese, Leen Lambers), In Software & Systems Modeling, volume 18, 2019. |
| [69] | 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), In Software Engineering and Software Management, SE/SWM 2019, Stuttgart Germany, February 18-22, 2019 (Steffen Becker, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner, eds.), GI, volume P-292, 2019. |
| [68] | Contents for a Model-Based Software Engineering Body of Knowledge (Loli Burgue no, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, S'ebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer), In Software and Systems Modeling, volume 18, 2019. |
|
| [67] | Automated reasoning for attributed graph properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Software Tools for Technology Transfer, Springer, 2018. |
| [66] | Institutions for navigational logics for graphical structures (Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers), In Theoretical computer science, volume 741, 2018. (An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday) |
| [65] | Initial Conflicts and Dependencies: Critical Pairs Revisited (Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, 2018. |
| [64] | Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Hübert), In Proceedings of the 40th International Conference on Software Engineering, ACM, 2018. |
| [63] | Towards a Navigational Logic for Graphical Structures (Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, 2018. |
| [62] | Graph Transformation - 11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, (Leen Lambers, Jens Weber, eds.), Springer, volume 10887, 2018. |
| [61] | Towards a Body of Knowledge for Model-based Software Engineering (Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer), In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2018. |
| [60] | How Do We Teach Modelling and Model-driven Engineering?: A Survey (Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer), In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2018. |
|
| [59] | Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), Technical report 115, Hasso Plattner Institute at the University of Potsdam, 2017. |
| [58] | Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Proc. Fundamental Approaches to Software Engineering (FASE'17) (Marieke Huisman, Julia Rubin, eds.), Springer, 2017. |
| [57] | Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation (Johannes Dyck, Holger Giese, Leen Lambers), Technical report 112, Hasso Plattner Institute, University of Potsdam, 2017. |
| [56] | Granularity of Conflicts and Dependencies in Graph Transformation Systems (Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer), In International Conference on Graph Transformation (ICGT) (Juan de Lara, Detlef Plump, eds.), Springer International Publishing, 2017. (Extended version: https://www.uni-marburg.de/fb12/arbeitsgruppen/swt/forschung/publikationen/2017/BLST17-EV.pdf) |
|
| [55] | Invariant Checking for Graph Transformation: Applications & Open Challenges (Abstract) (Holger Giese, Leen Lambers), In Verification of Evolving Graph Structures, Dagstuhl, Germany (Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis, eds.), Dagstuhl Publishing, volume 5, 2016. |
| [54] | A Logic of Graph Conditions Extended with Paths (Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers), In 7th Int. Workshop on Graph Computation Models, 2016. (Pre-proceedings) |
| [53] | Model transformation intents and their properties (Levi L'ucio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer), In Software and System Modeling, Springer Berlin Heidelberg, volume 15, 2016. |
| [52] | On the Operationalization of Graph Queries with Generalized Discrimination Networks (Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers), Technical report 106, Hasso Plattner Institute at the University of Potsdam, 2016. |
| [51] | On the Operationalization of Graph Queries with Generalized Discrimination Networks (Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers), In Proceedings of the $9^th$ International Conference on Graph Transformations (Rachid Echahed, Mark Minas, eds.), Springer, 2016. |
|
| [50] | 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), In Fourth Workshop on the Analysis of Model Transformations, 2015. |
|
| [49] | Tableau-Based Reasoning for Graph Properties (Leen Lambers, Fernando Orejas), Chapter in Graph Transformation (Holger Giese, Barbara König, eds.), Springer International Publishing, volume 8571, 2014. |
| [48] | 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), In Software and Systems Modeling, Springer Berlin Heidelberg, volume 13, 2014. |
| [47] | M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas), In Mathematical Structures in Computer Science, volume 24, 2014. |
|
| [46] | Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (Stephan Hildebrandt, Leen Lambers, Holger Giese), Chapter in Theory and Practice of Model Transformations (Keith Duddy, Gerti Kappel, eds.), Springer Berlin Heidelberg, volume 7909, 2013. |
| [45] | 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), Chapter in Bidirectional Transformations, EC-EASST, volume 57, 2013. |
|
| [44] | Graph Transformations for MDE, Adaptation, and Models at Runtime (Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt), Chapter in Formal Methods for Model-Driven Engineering (Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, eds.), Springer Berlin / Heidelberg, volume 7320, 2012. |
| [43] | Lazy Graph Transformation (Fernando Orejas, Leen Lambers), In Fundamenta Informaticae, IOS Press, volume 118, 2012. |
| [42] | Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas), Chapter in Proceedings of the First International Workshop on Bidirectional Transformations (Frank Hermann, Janis Voigtländer, eds.), EC-EASST, volume 49, 2012. |
| [41] | The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars (Stephan Hildebrandt, Leen Lambers, Holger Giese), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, 2012. |
| [40] | Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter), In Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011) (Andy Schürr, Daniel Varró, Gergely Varró, eds.), Springer, volume 7233, 2012. |
| [39] | Integration of Triple Graph Grammars and Constraints (Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese), In Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012) (Christian Krause, Bernhard Westfechtel, eds.), EC-EASST, volume 52, 2012. |
| [38] | Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs (Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas), In Theoretical Computer Science, volume 424, 2012. |
| [37] | Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), (Andrew Fish, Leen Lambers, eds.), volume 47, 2012. |
| [36] | 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), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, 2012. |
| [35] | Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (Holger Giese, Leen Lambers), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, 2012. |
| [34] | M-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), In Fundamenta Informaticae, IOS Press, volume 118, 2012. |
| [33] | Towards a Model Transformation Intent Catalog (Moussa Amrani, Juergen Dingel, Leen Lambers, Levi Lúcio, Gehan Selim, Eugene Syriani, Manuel Wimmer), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, 2012. |
|
| [32] | 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), Technical report 2011/2, TU Berlin, 2011. |
| [31] | 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), In Fundamental Approaches to Software Engineering (Dimitra Giannakopoulou, Fernando Orejas, eds.), Springer Berlin / Heidelberg, volume 6603, 2011. |
| [30] | Iterative Development of Consistency-Preserving Rule-Based Refactorings (Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese), In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings (Jordi Cabot, Eelco Visser, eds.), Springer / Heidelberg, volume 6707, 2011. |
|
| [29] | Introduction to AGG and EMF Tiger by Modeling a Conference Scheduling System (Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer), In Software Tools for Technology Transfer, Springer, volume 12, 2010. |
| [28] | Symbolic Attributed Graphs for Attributed Graph Transformation (Fernando Orejas, Leen Lambers), Chapter in Graph and Model Transformation 2010, EC-EASST, volume 30, 2010. |
| [27] | Delaying Constraint Solving in Symbolic Graph Transformation (Fernando Orejas, Leen Lambers), In Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10), Springer, volume 6372, 2010. |
| [26] | Certifying Rule-Based Models using Graph Transformation (Leen Lambers), PhD thesis, Technische Universität Berlin, 2010. (Also as book available: Südwestdeutscher Verlag für Hochschulschriften ISBN: 978-3-8381-1650-1) |
| [25] | Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion (Leen Lambers, Hartmut Ehrig, Annegret Habel, Fernando Orejas, Ulrike Golas), Technical report 2010-7, Technische Universität Berlin, 2010. |
| [24] | Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (Holger Giese, Stephan Hildebrandt, Leen Lambers), In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering Verification and Validation, IEEE Computer Society, 2010. |
| [23] | Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (Holger Giese, Stephan Hildebrandt, Leen Lambers), Technical report 37, Hasso Plattner Institute at the University of Potsdam, 2010. |
| [22] | Parallelism and Concurrency Theorems for Rules with Nested Application Conditions (Hartmut Ehrig, Annegret Habel, Leen Lambers), Chapter in Festschrift dedicated to Hans-Jorg Kreowski at the Occasion of his 60th Birthday, EC-EASST, volume 26, 2010. |
| [21] | Local Confluence for Rules with Nested Application Conditions (Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10), Springer, volume 6372, 2010. |
|
| [20] | Object Flow Definition for Refined Activity Diagrams: Long Version (Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse), Technical report 2009-1, Technische Universitat Berlin, 2009. |
| [19] | Object Flow Definition for Refined Activity Diagrams (Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse), In Proc. Fundamental Approaches to Software Engineering (FASE'09) (Marsha Chechik, Martin Wirsing, eds.), Springer, volume 5503, 2009. |
|
| [18] | Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer), In Proc. 11th Int. Conf. on Model Driven Engineering Languages and System MoDELS08, Springer, volume 5301, 2008. |
| [17] | Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Leen Lambers, Hartmut Ehrig, Fernando Orejas), In Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06), Elsevier Science, volume 211, 2008. |
| [16] | Negative Application Conditions for Reconfigurable Place/Transition Systems (Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg), In Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) (J. de Lara C. Ermel, Reiko Heckel, eds.), Electronic Communications of the EASST, volume 10, 2008. |
| [15] | Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts (Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan), Technical report 2008-12, Technische Universitat Berlin, 2008. |
| [14] | Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts (Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan), In Proc. International Conference on Graph Transformation (ICGT'08), Springer, volume 5214, 2008. |
| [13] | Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories (Ulrike Prange, Hartmut Ehrig, Leen Lambers), In Applied Categorical Structures, Springer, volume 16, 2008. |
| [12] | A Formal Framework for Developing Adaptable Service-Based Applications (Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè), In Proc. Fundamental Approaches to Software Engineering (FASE'08) (Jose Luiz Fiadeiro, Paola Inverardi, eds.), Springer Berlin / Heidelberg, volume 4961, 2008. |
| [11] | Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version (Leen Lambers, Stefan Jurack, Katharina Mehner, Olga Runge, Gabriele Taentzer), Technical report 2008-11, Technische Universitat Berlin, 2008. |
| [10] | Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (Leen Lambers, Hartmut Ehrig, Gabriele Taentzer), Technical report 2008-2, Technische Universitat Berlin, 2008. |
| [9] | Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (Leen Lambers, Hartmut Ehrig, Gabriele Taentzer), In Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) (J. de Lara C. Ermel, Reiko Heckel, eds.), Electronic Communications of the EASST, volume 10, 2008. |
| [8] | Embedding and Confluence of Graph Transformations with Negative Application Conditions (Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas), In Proc. International Conference on Graph Transformation (ICGT'08) (H. Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, eds.), Springer, volume 5214, 2008. |
| [7] | Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Leen Lambers, Hartmut Ehrig, Fernando Orejas, Ulrike Prange), In Proceedings of the ACCAT workshop at ETAPS 2007 (H. Ehrig, J. Pfalzgraf, Ulrike Prange, eds.), Elsevier, volume 203 / 6, 2008. |
|
| [6] | Iterative model-driven development of adaptable service-based applications (Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè), In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, ACM, 2007. |
| [5] | Adhesive High-Level Replacement Systems with Negative Application Conditions (Leen Lambers), Technical report 2007-14, Technische Universitat Berlin, 2007. |
|
| [4] | Conflict Detection for Graph Transformation with Negative Application Conditions (Leen Lambers, Hartmut Ehrig, Fernando Orejas), In Proc. Third International Conference on Graph Transformation (ICGT'06), Springer, volume 4178, 2006. |
| [3] | Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Leen Lambers, Hartmut Ehrig, Fernando Orejas), Technical report 2006-07, Technische Universitat Berlin, 2006. |
|
| [2] | Efficient Detection of Conflicts in Graph-Based Model Transformation (Leen Lambers, Hartmut Ehrig, Fernando Orejas), In Proc. International Workshop on Graph and Model Transformation (GraMoT'05), Elsevier Science, volume 152, 2005. |
|
| [1] | A New Version of GTXL: An Exchange Format for Graph Transformation Systems (Leen Lambers), In Proc. Workshop on Graph-Based Tools (GraBaTs'04), Satellite Event of ICGT'04 (Tom Mens, Andy Schürr, Gabriele Taentzer, eds.), Elsevier Science, volume 127, 2004. |