Timo Kehrer

Orcid: 0000-0002-2582-5557

Affiliations:
  • University of Bern, Institute of Computer Science, Switzerland
  • Humboldt University of Berlin, Department of Computer Science, Germany (former)
  • Polytechnic University of Milan, Department of Electronics, Informatics and Bioengineering, Italy (former)
  • University of Siegen, Software Engineering Group, Germany (former, PhD 2015)


According to our database1, Timo Kehrer authored at least 149 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink.
Innov. Syst. Softw. Eng., September, 2024

Is the Feature Traceability Problem Already Solved?
Softwaretechnik-Trends, May, 2024

How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?
Proc. ACM Softw. Eng., 2024

Beyond code: Is there a difference between comments in visual and textual languages?
J. Syst. Softw., 2024

Uninstallable by Design: The Role of Pre-installed Apps in Android's Security Landscape.
ERCIM News, 2024

The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance.
CoRR, 2024

A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction.
CoRR, 2024

Corrections to "Dynamic Security Analysis on Android: A Systematic Literature Review".
IEEE Access, 2024

Dynamic Security Analysis on Android: A Systematic Literature Review.
IEEE Access, 2024

Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

Variability-Aware Differencing with DiffDetective.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding.
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

SensoDat: Simulation-based Sensor Dataset of Self-driving Cars.
Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

SMOKE: Simulink Model Obfuscator Keeping Structure.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

On Managing Large Collections of Scientific Workflows.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

Visualizing Model and Data Differences with Inline Diff Editors in an Enterprise Low-Code Platform.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

A Systematic Literature Review on a Decade of Industrial TLA<sup>+</sup> Practice.
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

Energy Patterns for Web: An Exploratory Study.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society, 2024

Towards Semi-Automated Merge Conflict Resolution: Is It Easier Than We Expected?
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024

2023
Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling.
Autom. Softw. Eng., November, 2023

RaQuN: a generic and scalable n-way model matching algorithm.
Softw. Syst. Model., October, 2023

Specification and modelling of computing systems through graphs and graph transformation.
J. Log. Algebraic Methods Program., October, 2023


Experiences with Using a Pre-Trained Programming Language Model for Reverse Engineering Sequence Diagrams.
Softwaretechnik-Trends, May, 2023

EGAD: A moldable tool for GitHub Action analysis.
Dataset, March, 2023

A Transformational Approach to Managing Data Model Evolution of Web Services.
IEEE Trans. Serv. Comput., 2023

Simulink bus usage in practice: an empirical study.
J. Object Technol., 2023

Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing?
Proceedings of the IEEE International Conference on Software Analysis, 2023

Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems.
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

Views on Edits to Variational Software.
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.
Proceedings of the Software Engineering 2023, 2023

Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary.
Proceedings of the Software Engineering 2023, 2023

A Summary of ReVision: History-based Model Repair Recommendations.
Proceedings of the Software Engineering 2023, 2023

Classifying Edits to Variability in Source Code - Summary.
Proceedings of the Software Engineering 2023, 2023

EGAD: A moldable tool for GitHub Action analysis.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

ScoutSL: An Open-Source Simulink Search Engine.
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.
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.
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.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Exploring GitHub Actions through EGAD: An Experience Report.
Proceedings of the International Workshop on Smalltalk Technologies, 2023

On Irregularity Localization for Scientific Data Analysis Workflows.
Proceedings of the Computational Science - ICCS 2023, 2023

Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software.
Proceedings of the Computational Science - ICCS 2023, 2023

Contract-Driven Design of Scientific Data Analysis Workflows.
Proceedings of the 19th IEEE International Conference on e-Science, 2023

Design by Contract Revisited in the Context of Scientific Data Analysis Workflows.
Proceedings of the 19th IEEE International Conference on e-Science, 2023

2022
Special issue on Theoretical Topics in Graph Transformation.
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.
Softw. Syst. Model., 2022

Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020).
Sci. Comput. Program., 2022

VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python.
Inf. Softw. Technol., 2022

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

Unified Operations for Variability in Space and Time.
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.
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.
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.
Proceedings of the Software Engineering 2022, 2022

Feature Trace Recording - Summary.
Proceedings of the Software Engineering 2022, 2022

Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Can We Automatically Generate Class Comments in Pharo?
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.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Simulating the Evolution of Clone-and-Own Projects with VEVOS.
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.
Proceedings of the 18th IEEE International Conference on e-Science, 2022

2021
History-based Model Repair Recommendations.
ACM Trans. Softw. Eng. Methodol., 2021

Characteristics, potentials, and limitations of open-source Simulink projects for empirical research.
Softw. Syst. Model., 2021

Ontology-driven evolution of software security.
Data Knowl. Eng., 2021

The Collaborative Research Center FONDA.
Datenbank-Spektrum, 2021

From pairwise to family-based generic analysis of delta-oriented model-based SPLs.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Feature trace recording.
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.
Proceedings of the Software Engineering 2021, 2021

SusAF Welcomes SusApp: Tool Support for the Sustainability Awareness Framework.
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.
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.
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.
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.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Bridging the Gap Between Clone-and-Own and Software Product Lines.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

Comparison of Graph-based Model Transformation Rules.
J. Object Technol., 2020

Towards projectional editing for model-based SPLs.
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.
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.
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.
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.
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.
Proceedings of the Systems Modelling and Management - First International Conference, 2020

Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems.
Softw. Pract. Exp., 2019

Complete Shadow Symbolic Execution with Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes, 2019

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

Towards efficient analysis of variation in time and space.
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.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards a conceptual model for unifying variability in space and time.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

A Formal Framework for Incremental Model Slicing.
Proceedings of the Software Engineering and Software Management, 2019

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models.
Proceedings of the Software Engineering and Software Management, 2019

Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

Modelling and analysing resilient cyber-physical systems.
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.
Proceedings of the Managed Software Evolution., 2019


2018
Supporting semi-automatic co-evolution of architecture and fault tree models.
J. Syst. Softw., 2018

Inferring visual contracts from Java programs.
Autom. Softw. Eng., 2018

Modeling and Verification of Evolving Cyber-Physical Spaces.
Proceedings of the Software Engineering und Software Management 2018, 2018

An Exploration of Sustainability Thinking in Research Software Engineering.
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.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

ReVision: a tool for history-based model repair recommendations.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Shadow Symbolic Execution with Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes, 2017

A tool environment for quality assurance of delta-oriented model-based SPLs.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

State Elimination as Model Transformation Problem.
Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

Incrementally slicing editable submodels.
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.
Proceedings of the Theory and Practice of Model Transformation, 2017

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations.
Proceedings of the Theory and Practice of Model Transformation, 2017

Henshin: A Usability-Focused Framework for EMF Model Transformation Development.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
A framework for capturing, statistically modeling and analyzing the evolution of software models.
J. Syst. Softw., 2016

An EMOF-Compliant Abstract Syntax for Bigraphs.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Architecting dynamic cyber-physical spaces.
Computing, 2016

Reasoning about product-line evolution using complex feature model differences.
Autom. Softw. Eng., 2016

On Formalizing and Identifying Patterns in Cloud Workload Specifications.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Scalability of Model Transformations: Position Paper and Benchmark Set.
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.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Adding static and dynamic semantics to building information models.
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.
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.
PhD thesis, 2015

Synthesizing realistic test models.
Comput. Sci. Res. Dev., 2015

An Adaptable Tool Environment for High-level Differencing of Textual Models.
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.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Selected challenges of software evolution for automated production systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Berechnung und Propagation von Modelländerungen auf der Basis von Editieroperationen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

Extensible Debugger Framework for Extensible Languages.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
Versioning of Ordered Model Element Sets.
Softwaretechnik-Trends, 2014

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

Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools.
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.
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.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Analysis and Prediction of Design Model Evolution Using Time Series.
Proceedings of the Advanced Information Systems Engineering Workshops, 2014

2013
Extensible Debuggers for Extensible Languages.
Softwaretechnik-Trends, 2013

Detection of High-Level Changes in Evolving Java Software.
Softwaretechnik-Trends, 2013

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

Statistical Analysis of Changes for Synthesizing Realistic Test Models.
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

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

Generating Edit Operations for Profiled UML Models.
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.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012
Representation of model differences.
Softwaretechnik-Trends, 2012

Assessing the Quality of Model Differencing Engines.
Softwaretechnik-Trends, 2012

Integrating the Specification and Recognition of Changes in Models.
Softwaretechnik-Trends, 2012

Operation-based Model Differencing meets State-based Model Comparison.
Softwaretechnik-Trends, 2012

Modellbasierte Entwicklung GPU-unterstützter Applikationen.
Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

Adaptability of model comparison tools.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Understanding model evolution through semantically lifting model differences with SiLift.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011
A rule-based approach to the semantic lifting of model differences in the context of model versioning.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A software architecture orientation framework.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Software Architecture - A Comprehensive Framework and Guide for Practitioners.
Springer, ISBN: 978-3-642-19735-2, 2011

2009
History-based merging of models.
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009

Software-Architektur - Grundlagen, Konzepte, Praxis (2. Aufl.).
Spektrum Akademischer Verlag, ISBN: 978-3-8274-1933-0, 2009

2008
Mediendidaktische und strategische Erfolgsfaktoren am Beispiel des Learning Management Systems Xterm.
Proceedings of the Workshop Proceedings der Tagungen Mensch & Computer 2008, 2008


  Loading...