Publications

41 results
2019
[41]Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach (, , , and ), In Journal of Logical and Algebraic Methods in Programming, Elsevier, volume 103, . [bibtex]
2018
[40]Using model differencing to reason about observable behavior changes of manufacturing systems (, , , , and ), In At-Automatisierungstechnik, volume 66, . [bibtex] [doi]
[39]A Formal Framework for Incremental Model Slicing (, , and ), In Fundamental Approaches to Software Engineering (Russo, Alessandra, Schürr, Andy, eds.), Springer International Publishing, . [bibtex]
[38]ReVision: A Tool for History-based Model Repair Recommendations (, , and ), In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ACM, . [bibtex] [pdf] [doi]
[37]Multi-granular Conflict and Dependency Analysis in Software Engineering Based on Graph Transformation (, , , and ), In Proceedings of the 40th International Conference on Software Engineering, ACM, . [bibtex] [pdf] [doi]
[36]Initial Conflicts and Dependencies: Critical Pairs Revisited (, , , and ), Chapter in (Heckel, Reiko, Taentzer, Gabriele, eds.), Springer International Publishing, . [bibtex] [pdf] [doi]
[35]Supporting semi-automatic co-evolution of architecture and fault tree models (, , , , and ), In Journal of Systems and Software, Elsevier, volume 142, . [bibtex]
2017
[34]Incrementally slicing editable submodels (, , and ), In 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), . [bibtex] [doi]
[33]Change-Preserving Model Repair (, , and ), In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, . [bibtex] [pdf] [doi]
[32]Henshin: A Usability-Focused Framework for EMF Model Transformation Development (, , , , , and ), In Graph Transformation (de Lara, Juan, Plump, Detlef, eds.), Springer International Publishing, . [bibtex]
[31]A Tool Environment for Quality Assurance of Delta-oriented Model-based SPLs (, , and ), In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, . [bibtex] [pdf] [doi]
[30]Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (, and ), In Theory and Practice of Model Transformation (Guerra, Esther, van den Brand, Mark, eds.), Springer International Publishing, . [bibtex]
[29]Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (, and ), In Theory and Practice of Model Transformation (Guerra, Esther, van den Brand, Mark, eds.), Springer International Publishing, . [bibtex]
[28]Granularity of Conflicts and Dependencies in Graph Transformation Systems (, , and ), In Graph Transformation (de Lara, Juan, Plump, Detlef, eds.), Springer International Publishing, . [bibtex]
2016
[27]Reasoning about product-line evolution using complex feature model differences (, , , , and ), In Automated Software Engineering, volume 23, . [bibtex] [pdf] [doi]
[26]RuleMerger: Automatic construction of variability-based model transformation rules (, , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9633, . [bibtex] [pdf] [doi]
[25]Clone detection for graph-based model transformation languages (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9765, . [bibtex] [pdf] [doi]
[24]A Tool Environment for Managing Families of Model Transformation Rules ( and ), In Graph Transformation (Echahed, Rachid, Minas, Mark, eds.), Springer International Publishing, . [bibtex]
[23]Automatically Deriving the Specification of Model Editing Operations from Meta-Models (, , and ), In Theory and Practice of Model Transformations (Van Gorp, Pieter, Engels, Gregor, eds.), Springer International Publishing, . [bibtex]
[22]Perspectives of Model Transformation Reuse (, , and ), In Integrated Formal Methods (Ábrahám, Erika, Huisman, Marieke, eds.), Springer International Publishing, . [bibtex]
[21]An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations ( and ), In Graph Transformation (Echahed, Rachid, Minas, Mark, eds.), Springer International Publishing, . [bibtex]
2015
[20]Selected challenges of software evolution for automated production systems (, , , , , , , , , , , , , , and ), In INDIN, IEEE, . [bibtex]
[19]Towards Local Confluence Analysis for Amalgamated Graph Transformation ( and ), In Graph Transformation (Parisi-Presicce, Francesco, Westfechtel, Bernhard, eds.), Springer International Publishing, . [bibtex]
[18]A Variability-Based Approach to Reusable and Efficient Model Transformations (, , and ), In Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, . [bibtex] [pdf] [doi]
[17]SiPL – A Delta-Based Modeling Framework for Software Product Line Engineering (, , , and ), In 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), \IEEE\ Computer Society, . [bibtex] [pdf] [doi]
[16]Co-evolving meta-models and their instance models: A formal approach based on graph transformation (, , and ), In Science of Computer Programming, volume 104, . [bibtex] [pdf] [doi]
[15]An adaptable tool environment for high-level differencing of textual models (, , , and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1512, . [bibtex] [pdf]
[14]Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (, , and ), In Fundamental Approaches to Software Engineering (Egyed, Alexander, Schaefer, Ina, eds.), Springer Berlin Heidelberg, . [bibtex]
2014
[13]A fundamental approach to model versioning based on graph modifications: From theory to implementation (, , and ), In Software and Systems Modeling, Springer, volume 13, . [bibtex] [doi]
[12]Automatic generation of consistency-preserving edit operations for MDE tools (, and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1255, . [bibtex] [pdf]
[11]Workspace updates of visual models (, and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]
[10]Versioning of Ordered Model Element Sets ( and ), In Softwaretechnik-Trends, volume 34, . [bibtex] [pdf]
[9]Propagation of software model changes in the context of industrial plant automation (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[8]A Generic Framework for Analyzing Model Co-Evolution (, and ), In Proceedings of the Workshop on Models and Evolution co-located with \ACM/IEEE\ 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain., . [bibtex] [pdf] [doi]
2013
[7]Patchen von Modellen (, and ), In Software Engineering, GI, volume 213, . [bibtex]
[6]Generating edit operations for profiled UML models (, , and ), In CEUR Workshop Proceedings, volume 1090, . [bibtex]
[5]Consistency-preserving edit scripts in model versioning (, and ), In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings, IEEE, . [bibtex] [doi]
[4]Detection of High-Level Changes in Evolving Java Software (, , and ), In Softwaretechnik-Trends, volume 33, . [bibtex] [pdf] [doi]
2012
[3]Understanding model evolution through semantically lifting model differences with SiLift (, , and ), In IEEE International Conference on Software Maintenance, ICSM, . [bibtex] [doi]
[2]Adaptability of model comparison tools (, , and ), In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, . [bibtex] [pdf] [doi]
[1]Formal foundation of consistent EMF model transformations by algebraic graph transformation (, and ), In Software and Systems Modeling, Springer, volume 11, . [bibtex] [doi]

Previous Project-related Publications

6 results
2011
[6]A rule-based approach to the semantic lifting of model differences in the context of model versioning (, and ), In 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, . [bibtex] [pdf] [doi]
2010
[5]Conflict Detection for Model Versioning Based on Graph Modifications: Long Version (, , and ), Chapter in Graph Transformations, Springer, . [bibtex] [pdf]
[4]Henshin: Advanced concepts and tools for in-place EMF model transformations (, , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 6394 LNCS, . [bibtex] [doi]
2008
[3]Analyzing model evolution ( and ), In Proceedings of the 13th international conference on Software engineering - ICSE '08, . [bibtex] [pdf] [doi]
[2]Comparing state machines ( and ), In Proceedings of the 2008 international workshop on Comparison and versioning of software models - CVSM '08, . [bibtex] [pdf] [doi]
2006
[1]Towards Generating Domain-Specific Model Editors with Complex Editing Commands ∗ (), Chapter in Meta, Springer, . [bibtex] [pdf]