Segui
Leen Lambers
Leen Lambers
BTU Cottbus-Senftenberg
Email verificata su b-tu.de
Titolo
Citata da
Citata da
Anno
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
1452016
Conflict detection for graph transformation with negative application conditions
L Lambers, H Ehrig, F Orejas
International Conference on Graph Transformation, 61-76, 2006
882006
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
792013
-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
762014
ℳ-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
642012
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
622014
Symbolic attributed graphs for attributed graph transformation
F Orejas, L Lambers
Electronic Communications of the EASST 30, 2010
622010
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
612012
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
572008
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
502008
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
432006
Parallelism and concurrency theorems for rules with nested application conditions
H Ehrig, A Habel, L Lambers
Electronic Communications of the EASST 26, 2010
402010
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
392010
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
382010
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
352018
Automated reasoning for attributed graph properties
S Schneider, L Lambers, F Orejas
International Journal on Software Tools for Technology Transfer, 1-33, 2018
332018
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
332012
Lazy graph transformation
F Orejas, L Lambers
Fundamenta Informaticae 118 (1-2), 65-96, 2012
332012
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20