Timo Kehrer

CoRR, 2024

Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding.

[BibT_eX]

[DOI]

Timo Blattner

Christian Birchler

CoRR, 2024

SensoDat: Simulation-based Sensor Dataset of Self-driving Cars.

[BibT_eX]

[DOI]

Christian Birchler

Cyrill Rohrbach

CoRR, 2024

Energy Patterns for Web: An Exploratory Study.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling.

[BibT_eX]

[DOI]

Autom. Softw. Eng., November, 2023

RaQuN: a generic and scalable n-way model matching algorithm.

[BibT_eX]

[DOI]

Softw. Syst. Model., October, 2023

Specification and modelling of computing systems through graphs and graph transformation.

[BibT_eX]

[DOI]

Fabio Gadducci

J. Log. Algebraic Methods Program., October, 2023

A Transformational Approach to Managing Data Model Evolution of Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2023

Simulink bus usage in practice: an empirical study.

[BibT_eX]

[DOI]

J. Object Technol., 2023

Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing?

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2023

Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems.

[BibT_eX]

[DOI]

Sandra Greiner

Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

Views on Edits to Variational Software.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

A Summary of ReVision: History-based Model Repair Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

Classifying Edits to Variability in Source Code - Summary.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2023, 2023

EGAD: A moldable tool for GitHub Action analysis.

[BibT_eX]

[DOI]

Pablo Valenzuela-Toledo

Alexandre Bergel

Oscar Nierstrasz

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

ScoutSL: An Open-Source Simulink Search Engine.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects.

[BibT_eX]

[DOI]

Sohil Lal Shrestha

Alexander Boll

Shafiul Azam Chowdhury

Christoph Csallner

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Model and Data Differences in an Enterprise Low-Code Platform.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Exploring GitHub Actions through EGAD: An Experience Report.

[BibT_eX]

[DOI]

Pablo Valenzuela-Toledo

Alexandre Bergel

Oscar Nierstrasz

Proceedings of the International Workshop on Smalltalk Technologies, 2023

On Irregularity Localization for Scientific Data Analysis Workflows.

[BibT_eX]

[DOI]

Anh Duc Vu

Jorge-Arnulfo Quiané-Ruiz

Volker Markl

Proceedings of the Computational Science - ICCS 2023, 2023

Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2023, 2023

Contract-Driven Design of Scientific Data Analysis Workflows.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on e-Science, 2023

Design by Contract Revisited in the Context of Scientific Data Analysis Workflows.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on e-Science, 2023

2022

Special issue on Theoretical Topics in Graph Transformation.

[BibT_eX]

[DOI]

Fabio Gadducci

Theor. Comput. Sci., 2022

Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size.

[BibT_eX]

[DOI]

Stefan Höppner

Matthias Tichy

Softw. Syst. Model., 2022

Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020).

[BibT_eX]

[DOI]

Fabio Gadducci

Sci. Comput. Program., 2022

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Unified Operations for Variability in Space and Time.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Classifying edits to variability in source code.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2022, 2022

Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract.

[BibT_eX]

[DOI]

Stefan Höppner

Matthias Tichy

Proceedings of the Software Engineering 2022, 2022

Feature Trace Recording - Summary.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2022, 2022

Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows.

[BibT_eX]

[DOI]

Anh Duc Vu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Can We Automatically Generate Class Comments in Pharo?

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Smalltalk Technologies 2022 co-located with the 28th European Smalltalk User Group Conference (ESUG 2022), 2022

Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Simulating the Evolution of Clone-and-Own Projects with VEVOS.

[BibT_eX]

[DOI]

Sascha El-Sharkawy

Proceedings of the EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022, Gothenburg, Sweden, June 13, 2022

Automatically finding Metamorphic Relations in Computational Material Science Parsers.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on e-Science, 2022

2021

History-based Model Repair Recommendations.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

Characteristics, potentials, and limitations of open-source Simulink projects for empirical research.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Ontology-driven evolution of software security.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2021

The Collaborative Research Center FONDA.

[BibT_eX]

[DOI]

Datenbank-Spektrum, 2021

From pairwise to family-based generic analysis of delta-oriented model-based SPLs.

[BibT_eX]

[DOI]

Christopher Pietsch

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Feature trace recording.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

SusAF Welcomes SusApp: Tool Support for the Sustainability Awareness Framework.

[BibT_eX]

[DOI]

Maike Basmer

Birgit Penzenstadler

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java.

[BibT_eX]

[DOI]

Stefan Götz

Matthias Tichy

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Rethinking the Traditional Design of Meta-Models: Layout Matters for the Graphical Modeling of Technical Systems.

[BibT_eX]

[DOI]

Gregor Wrobel

Robert Scheffler

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees.

[BibT_eX]

[DOI]

Lars Grunske

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Bridging the Gap Between Clone-and-Own and Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

The Java Pathfinder Workshop 2019.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Comparison of Graph-based Model Transformation Rules.

[BibT_eX]

[DOI]

Alexander Boll

J. Object Technol., 2020

Towards projectional editing for model-based SPLs.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Round-trip migration of object-oriented data model instances.

[BibT_eX]

[DOI]

Luca Beurer-Kellner

Jens von Pilgrim

Proceedings of the TTC 2020/2021, 2020

On the use of product-line variants as experimental subjects for clone-and-own research: a case study.

[BibT_eX]

[DOI]

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

A conceptual model for unifying variability in space and time.

[BibT_eX]

[DOI]

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Ontology Evolution in the Context of Model-Based Secure Software Engineering.

[BibT_eX]

[DOI]

Jens Bürger

Jan Jürjens

Proceedings of the Research Challenges in Information Science, 2020

On the Replicability of Experimental Tool Evaluations in Model-Based Development - Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink.

[BibT_eX]

[DOI]

Alexander Boll

Proceedings of the Systems Modelling and Management - First International Conference, 2020

Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

An evaluation of pure spectrum-based fault localization techniques for large-scale software systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2019

Complete Shadow Symbolic Execution with Java PathFinder.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

Towards efficient analysis of variation in time and space.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Formal foundations for analyzing and refactoring delta-oriented model-based software product lines.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards a conceptual model for unifying variability in space and time.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

A Formal Framework for Incremental Model Slicing.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study.

[BibT_eX]

[DOI]

Maike Basmer

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Managed Software Evolution., 2019

Learning from Evolution for Evolution.

[BibT_eX]

[DOI]

Proceedings of the Managed Software Evolution., 2019

2018

Supporting semi-automatic co-evolution of architecture and fault tree models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Inferring visual contracts from Java programs.

[BibT_eX]

[DOI]

Abdullah M. Alshanqiti

Reiko Heckel

Autom. Softw. Eng., 2018

Modeling and Verification of Evolving Cyber-Physical Spaces.

[BibT_eX]

[DOI]

Carlo Ghezzi

Proceedings of the Software Engineering und Software Management 2018, 2018

An Exploration of Sustainability Thinking in Research Software Engineering.

[BibT_eX]

[DOI]

Birgit Penzenstadler

Proceedings of the 7th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy 2018) co-located with the 26th International Conference on Requirements Engineering (RE 2018), 2018

Domain Model-Based Data Stream Validation for Internet of Things Applications.

[BibT_eX]

[DOI]

Simon Pizonka

Matthias Weidlich

Proceedings of MODELS 2018 Workshops: ModComp, 2018

ReVision: a tool for history-based model repair recommendations.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Shadow Symbolic Execution with Java PathFinder.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2017

A tool environment for quality assurance of delta-oriented model-based SPLs.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

State Elimination as Model Transformation Problem.

[BibT_eX]

[DOI]

Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

Incrementally slicing editable submodels.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations.

[BibT_eX]

[DOI]

Christopher Pietsch

Daniel Strüber

Proceedings of the Theory and Practice of Model Transformation, 2017

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations.

[BibT_eX]

[DOI]

Abdullah M. Alshanqiti

Reiko Heckel

Proceedings of the Theory and Practice of Model Transformation, 2017

Henshin: A Usability-Focused Framework for EMF Model Transformation Development.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

A framework for capturing, statistically modeling and analyzing the evolution of software models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

An EMOF-Compliant Abstract Syntax for Bigraphs.

[BibT_eX]

[DOI]

Carlo Ghezzi

Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Architecting dynamic cyber-physical spaces.

[BibT_eX]

[DOI]

Carlo Ghezzi

Computing, 2016

Reasoning about product-line evolution using complex feature model differences.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2016

On Formalizing and Identifying Patterns in Cloud Workload Specifications.

[BibT_eX]

[DOI]

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Scalability of Model Transformations: Position Paper and Benchmark Set.

[BibT_eX]

[DOI]

Proceedings of the 4rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2016) federation of conferences, 2016

Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis.

[BibT_eX]

[DOI]

Abdullah M. Alshanqiti

Reiko Heckel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Adding static and dynamic semantics to building information models.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Automatically Deriving the Specification of Model Editing Operations from Meta-Models.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2016

2015

Calculation and propagation of model changes based on user-level edit operations: a foundation for version and variant management in model-driven engineering.

[BibT_eX]

[DOI]

PhD thesis, 2015

Synthesizing realistic test models.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2015

An Adaptable Tool Environment for High-level Differencing of Textual Models.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Selected challenges of software evolution for automated production systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Berechnung und Propagation von Modelländerungen auf der Basis von Editieroperationen.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

Extensible Debugger Framework for Extensible Languages.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

Versioning of Ordered Model Element Sets.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2014

Propagation of Software Model Changes in the Context of Industrial Plant Automation.

[BibT_eX]

[DOI]

Gabriele Taentzer

Autom., 2014

Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools.

[BibT_eX]

[DOI]

Michaela Rindt

Proceedings of the Demonstrations Track of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

A Generic Framework for Analyzing Model Co-Evolution.

[BibT_eX]

[DOI]

Sinem Getir

Michaela Rindt

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), 2014

Workspace updates of visual models.

[BibT_eX]

[DOI]

Dennis Reuling

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Analysis and Prediction of Design Model Evolution Using Time Series.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2014

2013

Extensible Debuggers for Extensible Languages.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2013

Detection of High-Level Changes in Evolving Java Software.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2013

CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.

[BibT_eX]

[DOI]

Christian Gerth

Softwaretechnik-Trends, 2013

Statistical Analysis of Changes for Synthesizing Realistic Test Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Patchen von Modellen.

[BibT_eX]

[DOI]

Dennis Koch

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Generating Edit Operations for Profiled UML Models.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Consistency-preserving edit scripts in model versioning.

[BibT_eX]

[DOI]