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
153 2016 Conflict detection for graph transformation with negative application conditions L Lambers, H Ehrig, F Orejas
International Conference on Graph Transformation, 61-76, 2006
89 2006 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
81 2013 H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Mathematical Structures in Computer Science 24 (4), 2014
80 2014 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
66 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
66 2012 Symbolic attributed graphs for attributed graph transformation F Orejas, L Lambers
Electronic Communications of the EASST 30, 2010
64 2010 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
60 2012 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
60 2008 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 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
52 2008 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
43 2018 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
41 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
40 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
39 2010 Symbolic model generation for graph properties S Schneider, L Lambers, F Orejas
Universitätsverlag Potsdam, 2017
35 2017 Automated reasoning for attributed graph properties S Schneider, L Lambers, F Orejas
International Journal on Software Tools for Technology Transfer, 1-33, 2018
34 2018 Lazy graph transformation F Orejas, L Lambers
Fundamenta Informaticae 118 (1-2), 65-96, 2012
34 2012 Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions L Lambers, H Ehrig, U Prange, F Orejas
Electronic Notes in Theoretical Computer Science 203 (6), 43-66, 2008
34 2008