Model transformation intents and their properties L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ...
Software & systems modeling 15 (3), 647-684, 2016
148 2016 Conflict detection for graph transformation with negative application conditions L Lambers, H Ehrig, F Orejas
International Conference on Graph Transformation, 61-76, 2006
88 2006 -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationH Ehrig, U Golas, A Habel, L Lambers, F Orejas
Mathematical Structures in Computer Science 24 (4), 2014
79 2014 A survey of triple graph grammar tools S Hildebrandt, L Lambers, H Giese, J Rieke, J Greenyer, W Schäfer, ...
Electronic Communications of the EASST 57, 2013
79 2013 Bridging the gap between formal semantics and implementation of triple graph grammars H Giese, S Hildebrandt, L Lambers
Software & Systems Modeling 13 (1), 273-299, 2014
65 2014 ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Fundamenta Informaticae 118 (1-2), 35-63, 2012
65 2012 Towards a model transformation intent catalog M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ...
Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012
62 2012 Symbolic attributed graphs for attributed graph transformation F Orejas, L Lambers
Electronic Communications of the EASST 30, 2010
62 2010 Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques Clearing the Way for a General Road Map to … L Lambers
Suedwestdeutscher Verlag fuer Hochschulschriften, 2010
59 * 2010 Efficient conflict detection in graph transformation systems by essential critical pairs L Lambers, H Ehrig, F Orejas
Electronic Notes in Theoretical Computer Science 211, 17-26, 2008
58 2008 Behavior preservation in model refactoring using DPO transformations with borrowed contexts G Rangel, L Lambers, B König, H Ehrig, P Baldan
International Conference on Graph Transformation, 242-256, 2008
50 2008 Efficient detection of conflicts in graph-based model transformation L Lambers, H Ehrig, F Orejas
Electronic Notes in Theoretical Computer Science 152, 97-109, 2006
43 2006 Parallelism and concurrency theorems for rules with nested application conditions H Ehrig, A Habel, L Lambers
Electronic Communications of the EASST 26, 2010
40 2010 Local confluence for rules with nested application conditions H Ehrig, A Habel, L Lambers, F Orejas, U Golas
International Conference on Graph Transformation, 330-345, 2010
39 2010 Toward bridging the gap between formal semantics and implementation of triple graph grammars H Giese, S Hildebrandt, L Lambers
Model-Driven Engineering, Verification, and Validation (MoDeVVa), 2010 …, 2010
38 2010 Multi-granular conflict and dependency analysis in software engineering based on graph transformation L Lambers, D Strüber, G Taentzer, K Born, J Huebert
Proceedings of the 40th International Conference on Software Engineering …, 2018
37 2018 Lazy graph transformation F Orejas, L Lambers
Fundamenta Informaticae 118 (1-2), 65-96, 2012
34 2012 Automated reasoning for attributed graph properties S Schneider, L Lambers, F Orejas
International Journal on Software Tools for Technology Transfer, 1-33, 2018
33 2018 Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs U Golas, L Lambers, H Ehrig, F Orejas
Theoretical Computer Science 424, 46-68, 2012
33 2012 Iterative development of consistency-preserving rule-based refactorings B Becker, L Lambers, J Dyck, S Birth, H Giese
International Conference on Theory and Practice of Model Transformations …, 2011
33 2011