Leen Lambers
Leen Lambers
Senior Researcher, HPI Potsdam
Verified email at hpi.de
Title
Cited by
Cited by
Year
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
992016
Conflict detection for graph transformation with negative application conditions
L Lambers, H Ehrig, F Orejas
International Conference on Graph Transformation, 61-76, 2006
772006
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
592013
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
52*2010
Symbolic attributed graphs for attributed graph transformation
F Orejas, L Lambers
Electronic Communications of the EASST 30, 2010
502010
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
492012
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
H Ehrig, U Golas, A Habel, L Lambers, F Orejas
Mathematical Structures in Computer Science 24 (4), 2014
482014
ℳ-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
472012
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
462008
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
452008
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
442014
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
382006
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
322011
Parallelism and concurrency theorems for rules with nested application conditions
H Ehrig, A Habel, L Lambers
Electronic Communications of the EASST 26, 2010
312010
Sufficient criteria for consistent behavior modeling with refined activity diagrams
S Jurack, L Lambers, K Mehner, G Taentzer
International Conference on Model Driven Engineering Languages and Systems …, 2008
302008
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
292012
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
292008
A new version of GTXL: An exchange format for graph transformation systems
L Lambers
Electronic Notes in Theoretical Computer Science 127 (1), 51-63, 2005
292005
Sufficient criteria for applicability and non-applicability of rule sequences
L Lambers, H Ehrig, G Taentzer
Electronic Communications of the EASST 10, 2008
282008
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
272010
The system can't perform the operation now. Try again later.
Articles 1–20