Timo Kehrer

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 111

Top Venues

University of Siegen (PHD)

Education History

University of Siegen

PHD

Publications

Pooja Rani, Jonas Zellweger, Veronika Kousadianos, Luis Cruz, Timo Kehrer, Alberto Bacchelli
Energy Patterns for Web: An Exploratory Study. CoRR (2024)
Christian Birchler, Cyrill Rohrbach, Timo Kehrer, Sebastiano Panichella
SensoDat: Simulation-based Sensor Dataset of Self-driving Cars. CoRR (2024)
Timo Blattner, Christian Birchler, Timo Kehrer, Sebastiano Panichella
Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding. CoRR (2024)
Christian Birchler, Tanzil Kombarabettu Mohammed, Pooja Rani, Teodora Nechita, Timo Kehrer, Sebastiano Panichella
How does Simulation-based Testing for Self-driving Cars match Human Perception? CoRR (2024)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary. Software Engineering (2023)
Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm
Views on Edits to Variational Software. SPLC (A) (2023)
Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer
Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. ICCS (1) (2023)
Tiago Amorim, Alexander Boll, Ferry Bachman, Timo Kehrer, Andreas Vogelsang, Hartmut Pohlheim
Simulink bus usage in practice: an empirical study. J. Object Technol. 22 (2) (2023)
Fabio Gadducci, Timo Kehrer
Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. 135 (2023)
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. ASE (2023)
Anh Duc Vu, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske
Design by Contract Revisited in the Context of Scientific Data Analysis Workflows. e-Science (2023)
Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner
ScoutSL: An Open-Source Simulink Search Engine. MoDELS (Companion) (2023)
Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer
A Summary of ReVision: History-based Model Repair Recommendations. Software Engineering (2023)
Arvid Butting, Timo Greifenberg, Katrin Hölldobler, Timo Kehrer
Model and Data Differences in an Enterprise Low-Code Platform. MoDELS (Companion) (2023)
Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer
Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing? SANER (2023)
Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer
A Transformational Approach to Managing Data Model Evolution of Web Services. IEEE Trans. Serv. Comput. 16 (1) (2023)
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella
TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software. CoRR (2023)
Anh Duc Vu, Jan Arne Sparka, Ninon De Mecquenem, Timo Kehrer, Ulf Leser, Lars Grunske
Contract-Driven Design of Scientific Data Analysis Workflows. e-Science (2023)
Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz
Exploring GitHub Actions through EGAD: An Experience Report. IWST (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary. Software Engineering (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer
RaQuN: a generic and scalable n-way model matching algorithm. Softw. Syst. Model. 22 (5) (2023)
Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz
EGAD: A moldable tool for GitHub Action analysis. MSR (2023)
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
Classifying Edits to Variability in Source Code - Summary. Software Engineering (2023)
Anh Duc Vu, Christos Tsigkanos, Jorge-Arnulfo Quiané-Ruiz, Volker Markl, Timo Kehrer
On Irregularity Localization for Scientific Data Analysis Workflows. ICCS (1) (2023)
Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf, Sven Apel
Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling. Autom. Softw. Eng. 30 (2) (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Sandra Greiner, Timo Kehrer
Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems. VaMoS (2023)
Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. MODELS (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own. ICSME (2022)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. CoRR (2022)
Stefan Höppner, Timo Kehrer, Matthias Tichy
Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size - Extended Abstract. Software Engineering (2022)
Timo Kehrer, Fabio Gadducci
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020). Sci. Comput. Program. 221 (2022)
Stefan Höppner, Timo Kehrer, Matthias Tichy
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size. Softw. Syst. Model. 21 (2) (2022)
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
Feature Trace Recording - Summary. Software Engineering (2022)
Sofia Ananieva, Sandra Greiner, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Thomas Kühn, Christoph Seidl, Ralf H. Reussner
Unified Operations for Variability in Space and Time. VaMoS (2022)
Anh Duc Vu, Timo Kehrer, Christos Tsigkanos
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. ASE (2022)
Sebastian Müller, Valentin Gogoll, Anh Duc Vu, Timo Kehrer, Lars Grunske
Automatically finding Metamorphic Relations in Computational Material Science Parsers. e-Science (2022)
Pooja Rani, Alexandre Bergel, Lino Hess, Timo Kehrer, Oscar Nierstrasz
Can We Automatically Generate Class Comments in Pharo? IWST (2022)
Sofia Ananieva, Sandra Greiner, Timo Kehrer, Jacob Krüger, Thomas Kühn, Lukas Linsbauer, Sten Grüner, Anne Koziolek, Henrik Lönn, S. Ramesh, Ralf H. Reussner
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications. Empir. Softw. Eng. 27 (5) (2022)
Fabio Gadducci, Timo Kehrer
Special issue on Theoretical Topics in Graph Transformation. Theor. Comput. Sci. 931 (2022)
Alexander Schultheiß, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thüm, Timo Kehrer
Simulating the Evolution of Clone-and-Own Projects with VEVOS. EASE (2022)
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary. Software Engineering (2022)
Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. Inf. Softw. Technol. 144 (2022)
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
Classifying edits to variability in source code. ESEC/SIGSOFT FSE (2022)
Gregor Wrobel, Robert Scheffler, Timo Kehrer
Rethinking the Traditional Design of Meta-Models: Layout Matters for the Graphical Modeling of Technical Systems. MoDELS (Companion) (2021)
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
Feature trace recording. ESEC/SIGSOFT FSE (2021)
Stefan Götz, Matthias Tichy, Timo Kehrer
Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java. MODELSWARD (2021)
Sven Peldszus, Jens Bürger, Timo Kehrer, Jan Jürjens
Ontology-driven evolution of software security. Data Knowl. Eng. 134 (2021)
Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. Software Engineering (2021)
Christopher Pietsch, Udo Kelter, Timo Kehrer
From pairwise to family-based generic analysis of delta-oriented model-based SPLs. SPLC (A) (2021)
Maike Basmer, Timo Kehrer, Birgit Penzenstadler
SusAF Welcomes SusApp: Tool Support for the Sustainability Awareness Framework. RE (2021)
Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf, Sven Apel
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining. CoRR (2021)
Alexander Boll, Florian Brokhausen, Tiago Amorim, Timo Kehrer, Andreas Vogelsang
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research. Softw. Syst. Model. 20 (6) (2021)
Timo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner
Bridging the Gap Between Clone-and-Own and Software Product Lines. ICSE (NIER) (2021)
Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf, Sven Apel
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining. ASE (2021)
Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer
History-based Model Repair Recommendations. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Ulf Leser, Marcus Hilbrich, Claudia Draxl, Peter Eisert, Lars Grunske, Patrick Hostert, Dagmar Kainmüller, Odej Kao, Birte Kehr, Timo Kehrer, Christoph Koch, Volker Markl, Henning Meyerhenke, Tilmann Rabl, Alexander Reinefeld, Knut Reinert, Kerstin Ritter, Björn Scheuermann, Florian Schintke, Nicole Schweikardt, Matthias Weidlich
The Collaborative Research Center FONDA. Datenbank-Spektrum 21 (3) (2021)
Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS (2021)
Alexander Schultheiß, Paul Maximilian Bittner, Timo Kehrer, Thomas Thüm
On the use of product-line variants as experimental subjects for clone-and-own research: a case study. SPLC (A) (2020)
Dennis Reuling, Christopher Pietsch, Udo Kelter, Timo Kehrer
Towards projectional editing for model-based SPLs. VaMoS (2020)
Jens Bürger, Timo Kehrer, Jan Jürjens
Ontology Evolution in the Context of Model-Based Secure Software Engineering. RCIS (2020)
Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer
Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. FASE (2020)
Alexander Schultheiß, Alexander Boll, Timo Kehrer
Comparison of Graph-based Model Transformation Rules. J. Object Technol. 19 (2) (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Sofia Ananieva, Sandra Greiner, Thomas Kühn, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf H. Reussner, Bernhard Westfechtel
A conceptual model for unifying variability in space and time. SPLC (A) (2020)
Alexander Boll, Timo Kehrer
On the Replicability of Experimental Tool Evaluations in Model-Based Development - Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink. ICSMM (2020)
Luca Beurer-Kellner, Jens von Pilgrim, Timo Kehrer
Round-trip migration of object-oriented data model instances. TTC/ (2020)
Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. ASE (2020)
Maike Basmer, Timo Kehrer
Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study. ASE Workshops (2019)
Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer, Lars Grunske
Complete Shadow Symbolic Execution with Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
Inferring Visual Contracts from Java Programs. SE/SWM (2019)
Simon Heiden, Lars Grunske, Timo Kehrer, Fabian Keller, André van Hoorn, Antonio Filieri, David Lo
An evaluation of pure spectrum-based fault localization techniques for large-scale software systems. Softw. Pract. Exp. 49 (8) (2019)
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Sofia Ananieva, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, S. Ramesh, Andreas Burger, Gabriele Taentzer, Bernhard Westfechtel
Towards a conceptual model for unifying variability in space and time. SPLC (B) (2019)
Christopher Pietsch, Udo Kelter, Timo Kehrer, Christoph Seidl
Formal foundations for analyzing and refactoring delta-oriented model-based software product lines. SPLC (A) (2019)
Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter
A Formal Framework for Incremental Model Slicing. SE/SWM (2019)
Thorsten Berger, Marsha Chechik, Timo Kehrer, Manuel Wimmer
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). Dagstuhl Reports 9 (5) (2019)
Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models. SE/SWM (2019)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
Towards efficient analysis of variation in time and space. SPLC (B) (2019)
Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter
A Formal Framework for Incremental Model Slicing. FASE (2018)
Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy
Supporting semi-automatic co-evolution of architecture and fault tree models. J. Syst. Softw. 142 (2018)
Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer
Inferring visual contracts from Java programs. Autom. Softw. Eng. 25 (4) (2018)
Hamed Shariat Yazdi, Lefteris Angelis, Timo Kehrer, Udo Kelter
A framework for capturing, statistically modeling and analyzing the evolution of software models. Software Engineering (2018)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering (2018)
Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer
Shadow Symbolic Execution with Java PathFinder. CoRR (2018)
Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Timo Kehrer
ReVision: a tool for history-based model repair recommendations. ICSE (Companion Volume) (2018)
Timo Kehrer, Birgit Penzenstadler
An Exploration of Sustainability Thinking in Research Software Engineering. RE4SuSy@RE (2018)
Simon Pizonka, Timo Kehrer, Matthias Weidlich
Domain Model-Based Data Stream Validation for Internet of Things Applications. MoDELS (Workshops) (2018)
Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer
Shadow Symbolic Execution with Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. ICMT (2017)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE (2017)
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr
Reasoning about Product-Line Evolution using Complex Feature Model Differences. Software Engineering (2017)
Christopher Pietsch, Dennis Reuling, Udo Kelter, Timo Kehrer
A tool environment for quality assurance of delta-oriented model-based SPLs. VaMoS (2017)
Daniel Strüber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, Matthias Tichy
Henshin: A Usability-Focused Framework for EMF Model Transformation Development. ICGT (2017)
Sinem Getir, Duc Anh Vu, Francois Peverali, Daniel Strüber, Timo Kehrer
State Elimination as Model Transformation Problem. TTC@STAF (2017)
Timo Kehrer, Christopher Pietsch, Daniel Strüber
Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations. ICMT (2017)
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, Timo Kehrer
Incrementally slicing editable submodels. ASE (2017)
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS (2016)
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh
Adding static and dynamic semantics to building information models. SEsCPS@ICSE (2016)
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr
Reasoning about product-line evolution using complex feature model differences. Autom. Softw. Eng. 23 (4) (2016)
Christos Tsigkanos, Timo Kehrer
On Formalizing and Identifying Patterns in Cloud Workload Specifications. WICSA (2016)

Timo Kehrer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Timo Kehrer