L
Leen Lambers
Researcher at Hasso Plattner Institute
Publications - 75
Citations - 1514
Leen Lambers is an academic researcher from Hasso Plattner Institute. The author has contributed to research in topics: Graph rewriting & Model transformation. The author has an hindex of 24, co-authored 73 publications receiving 1403 citations. Previous affiliations of Leen Lambers include Deutsche Forschungsgemeinschaft & University of Potsdam.
Papers
More filters
Book ChapterDOI
Towards automatic verification of behavior preservation for model transformation via invariant checking
Holger Giese,Leen Lambers +1 more
TL;DR: This paper presents a first approach towards automatic behavior preservation verification for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules, and shows that the behavior preservation problem can be reduced to invariant checking for graph transformation.
Journal ArticleDOI
Negative Application Conditions for Reconfigurable Place/Transition Systems
TL;DR: This paper introduces negative application conditions for reconfigurable place/transition nets together with a set of rules that allow changing the net and its marking dynamically.
Book ChapterDOI
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations
TL;DR: Model transformations can be specified using an operational or a relational approach, where an operationalization must be derived from the transformation specification using approved formal concepts, so that the operationalization conforms to the specification.
Proceedings ArticleDOI
Towards a body of knowledge for model-based software engineering
Federico Ciccozzi,Michalis Famelis,Gerti Kappel,Leen Lambers,Sébastien Mosser,Richard F. Paige,Alfonso Pierantonio,Arend Rensink,Rick Salay,Gabi Taentzer,Antonio Vallecillo,Manuel Wimmer +11 more
TL;DR: This paper provides a proposal for an extension of the contents of SWEBOK with the set of fundamental concepts, terms and mechanisms that should constitute the MBSE Body of Knowledge.
Book ChapterDOI
A formal framework for developing adaptable service-based applications
TL;DR: The formal framework of a model-based approach that provides expert users with the ability of rapidly building, adapting and reconfiguring reactive service-based applications according to new requirements and needs is presented.