Travelled to:1 × Austria
1 × Brazil
1 × Estonia
1 × France
1 × Switzerland
1 × The Netherlands
1 × USA
2 × Germany
2 × Italy
3 × Hungary
3 × United Kingdom
Collaborated with:F.Orejas H.Giese H.Ehrig S.Hildebrandt G.Täntzer S.S.0001 L.Mariani M.Pezzè U.Golas S.Jurack K.Mehner U.Prange J.Dyck B.Becker C.Ermel J.Gall S.Schlesinger S.Glesner D.Petrick I.Richter S.Birth A.Habel G.Wierse A.Rein K.Hoffmann J.Padberg G.Rangel B.König P.Baldan S.Neumann T.Vogel S.Wätzoldt M.Amrani J.Dingel L.Lúcio R.Salay G.Selim E.Syriani M.Wimmer J.Rieke J.Greenyer W.Schäfer M.Lauder A.Anjorin A.Schürr
Talks about:graph (13) transform (12) model (11) applic (8) behavior (5) grammar (5) tripl (5) base (5) preserv (4) develop (4)
♂ Person: Leen Lambers
DBLP: Lambers:Leen
Facilitated 3 volumes:
PrCoPrCo
EdContributed to:
2015
2014
20132013201220122012
2012
2011
2011201120102009200820082008
2008
20072008200620172019Wrote 27 papers:
- AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
- Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
- ICGT-2014-LambersO #graph #reasoning
- Tableau-Based Reasoning for Graph Properties (LL, FO), pp. 17–32.
- BX-2013-HildebrandtLGRGSLAS #graph grammar #overview #tool support
- A Survey of Triple Graph Grammar Tools (SH, LL, HG, JR, JG, WS, ML, AA, AS), pp. 1–17.
- ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing
- Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
- AMT-2012-AmraniDLLSSSW #model transformation #towards
- Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
- AMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation
- The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
- BX-2012-LambersHGO #bidirectional #graph grammar #model transformation
- Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.
- ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
- ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
- SFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling #runtime
- Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
- AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing
- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
- FASE-2011-ErmelGLT #behaviour #consistency #control flow #functional #modelling
- Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.
- ICMT-2011-BeckerLDBG #development #refactoring #rule-based
- Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.
- ICGT-2010-EhrigHLOG #confluence
- Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
- ICGT-2010-OrejasL #constraints #graph transformation #theorem proving
- Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.
- FASE-2009-JurackLMTW #diagrams #process
- Object Flow Definition for Refined Activity Diagrams (SJ, LL, KM, GT, GW), pp. 49–63.
- FASE-2008-LambersMEP #adaptation #framework
- A Formal Framework for Developing Adaptable Service-Based Applications (LL, LM, HE, MP), pp. 392–406.
- GT-VMT-2008-LambersET #sequence
- Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
- GT-VMT-2008-ReinPLHP #configuration management
- Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).
- ICGT-2008-LambersEPO #confluence #graph transformation
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
- ICGT-2008-RangelLKEB #behaviour #refactoring #using
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.
- MoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
- ASE-2007-LambersEMP #adaptation #development #modelling
- Iterative model-driven development of adaptable service-based applications (LL, HE, LM, MP), pp. 453–456.
- GT-VMT-2006-LambersEO08 #detection #graph transformation #performance
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
- ICGT-2006-LambersEO #detection #graph transformation
- Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.
- FASE-2017-SchneiderLO #generative #graph
- Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.
- FASE-2019-SchneiderLO #approach #graph #incremental
- A Logic-Based Incremental Approach to Graph Repair (SS0, LL, FO), pp. 151–167.