Browse by Author Lambers, Leen

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 1 to 9 of 9
PreviewIssue DateTitleAuthor(s)Editor(s)
tr-2007-14.pdf.jpg2007Adhesive High-Level Replacement Systems with Negative Application ConditionsLambers, Leen-
tr-2008-12.pdf.jpg2008Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed ContextsRangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Bladan, Paolo-
Dokument_7.pdf.jpg18-Jan-2010Certifying Rule-Based Models using Graph TransformationLambers, Leen-
tr_2010-07.pdf.jpg2010Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair NotionLambers, Leen; Ehrig, Hartmut; Habel, Annegret; Orejas, Fernando; Golas, Ulrike-
mathcalmadhesive_transformation_systems_part_1.pdf.jpg2014M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationEhrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando-
tr_2011-02.pdf.jpg2011Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional BehaviorErmel, Claudia; Gall, Jürgen; Lambers, Leen; Taentzer, Gabriele-
tr-2009-01.pdf.jpg2009Object Flow Definition for Refined Activity Diagrams: Long VersionJurack, Stefan; Lambers, Leen; Mehner, Katharina; Taentzer, Gabriele; Wierse, Gerd-
tr-2008-02.pdf.jpg2008Sufficient Criteria for Applicability and Non-Applicability of Rule SequencesLambers, Leen; Ehrig, Hartmut; Taentzer, Gabriele-
tr-2008-11.pdf.jpg2008Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long VersionLambers, Leen; Jurack, Stefan; Mehner, Katharina; Runge, Olga; Taentzer, Gabriele-