default search action
Timo Kehrer
Person information
- affiliation: University of Bern, Institute of Computer Science, Switzerland
- affiliation (former): Humboldt University of Berlin, Department of Computer Science, Germany
- affiliation (former): Polytechnic University of Milan, Department of Electronics, Informatics and Bioengineering, Italy
- affiliation (former, PhD 2015): University of Siegen, Software Engineering Group, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j41]Thomas Sutter, Timo Kehrer, Marc Rennhard, Bernhard Tellenbach, Jacques Klein:
Dynamic Security Analysis on Android: A Systematic Literature Review. IEEE Access 12: 57261-57287 (2024) - [j40]Thomas Sutter, Timo Kehrer, Marc Rennhard, Bernhard Tellenbach, Jacques Klein:
Corrections to "Dynamic Security Analysis on Android: A Systematic Literature Review". IEEE Access 12: 162284 (2024) - [j39]Alexander Boll, Nicole Vieregg, Timo Kehrer:
Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink. Innov. Syst. Softw. Eng. 20(3): 209-224 (2024) - [j38]Alexander Boll, Pooja Rani, Alexander Schultheiß, Timo Kehrer:
Beyond code: Is there a difference between comments in visual and textual languages? J. Syst. Softw. 215: 112087 (2024) - [j37]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? Proc. ACM Softw. Eng. 1(FSE): 929-950 (2024) - [j36]Sandra Greiner, Timo Kehrer:
Is the Feature Traceability Problem Already Solved? Softwaretechnik-Trends 44(2): 28-29 (2024) - [c101]Alexander Boll, Yael Van Dok, Manuel Ohrndorf, Alexander Schultheiß, Timo Kehrer:
Towards Semi-Automated Merge Conflict Resolution: Is It Easier Than We Expected? EASE 2024: 282-292 - [c100]Pooja Rani, Jonas Zellweger, Veronika Kousadianos, Luis Cruz, Timo Kehrer, Alberto Bacchelli:
Energy Patterns for Web: An Exploratory Study. ICSE (SEIS) 2024: 12-22 - [c99]Nourhan Elfaramawy, Fatma Deniz, Lars Grunske, Marcus Hilbrich, Timo Kehrer, Anna-Lena Lamprecht, Jan Mendling, Matthias Weidlich:
On Managing Large Collections of Scientific Workflows. Modellierung (Workshops) 2024: 12 - [c98]Arvid Butting, Timo Greifenberg, Katrin Hölldobler, Timo Kehrer:
Visualizing Model and Data Differences with Inline Diff Editors in an Enterprise Low-Code Platform. Modellierung (Workshops) 2024: 25 - [c97]Alexander Boll, Timo Kehrer, Michael Goedicke:
SMOKE: Simulink Model Obfuscator Keeping Structure. MoDELS (Companion) 2024: 41-45 - [c96]Christian Birchler, Cyrill Rohrbach, Timo Kehrer, Sebastiano Panichella:
SensoDat: Simulation-based Sensor Dataset of Self-driving Cars. MSR 2024: 510-514 - [c95]Timo Blattner, Christian Birchler, Timo Kehrer, Sebastiano Panichella:
Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding. SBFT@ICSE 2024: 9-12 - [c94]Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, Thomas Thüm:
Variability-Aware Differencing with DiffDetective. SIGSOFT FSE Companion 2024: 632-636 - [c93]Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing. SPLC (A) 2024: 84-95 - [e6]Timo Kehrer, Marianne Huchard, Leopoldo Teixeira, Christian Birchler:
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024. ACM 2024 [contents] - [i12]Pooja Rani, Jonas Zellweger, Veronika Kousadianos, Luis Cruz, Timo Kehrer, Alberto Bacchelli:
Energy Patterns for Web: An Exploratory Study. CoRR abs/2401.06482 (2024) - [i11]Christian Birchler, Cyrill Rohrbach, Timo Kehrer, Sebastiano Panichella:
SensoDat: Simulation-based Sensor Dataset of Self-driving Cars. CoRR abs/2401.09808 (2024) - [i10]Timo Blattner, Christian Birchler, Timo Kehrer, Sebastiano Panichella:
Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding. CoRR abs/2401.14682 (2024) - [i9]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 abs/2401.14736 (2024) - [i8]Christian Birchler, Sajad Khatiri, Pooja Rani, Timo Kehrer, Sebastiano Panichella:
A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction. CoRR abs/2405.01064 (2024) - [i7]Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz:
The Hidden Costs of Automation: An Empirical Study on GitHub Actions Workflow Maintenance. CoRR abs/2409.02366 (2024) - [i6]Thomas Sutter, Ariane Trammell, Timo Kehrer:
Uninstallable by Design: The Role of Pre-installed Apps in Android's Security Landscape. ERCIM News 139(138) (2024) - 2023
- [j35]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): 17 (2023) - [j34]Fabio Gadducci, Timo Kehrer:
Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. 135: 100905 (2023) - [j33]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): 1-14 (2023) - [j32]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): 1495-1517 (2023) - [j31]Sandra Greiner, Nicolas Maier, Timo Kehrer:
Experiences with Using a Pre-Trained Programming Language Model for Reverse Engineering Sequence Diagrams. Softwaretechnik-Trends 43(2): 26-27 (2023) - [j30]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): 65-79 (2023) - [c92]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: 1-2 - [c91]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: 1-10 - [c90]Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer:
Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. ICCS (1) 2023: 321-335 - [c89]Anh Duc Vu, Christos Tsigkanos, Jorge-Arnulfo Quiané-Ruiz, Volker Markl, Timo Kehrer:
On Irregularity Localization for Scientific Data Analysis Workflows. ICCS (1) 2023: 336-351 - [c88]Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz:
Exploring GitHub Actions through EGAD: An Experience Report. IWST 2023 - [c87]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: 2058-2061 - [c86]Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner:
ScoutSL: An Open-Source Simulink Search Engine. MoDELS (Companion) 2023: 70-74 - [c85]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: 273-284 - [c84]Arvid Butting, Timo Greifenberg, Katrin Hölldobler, Timo Kehrer:
Model and Data Differences in an Enterprise Low-Code Platform. MoDELS (Companion) 2023: 868-877 - [c83]Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz:
EGAD: A moldable tool for GitHub Action analysis. MSR 2023: 260-264 - [c82]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: 39-40 - [c81]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer:
A Summary of ReVision: History-based Model Repair Recommendations. Software Engineering 2023: 99-100 - [c80]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: 109-110 - [c79]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: 125-126 - [c78]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: 141-152 - [c77]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: 13-22 - [c76]Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer:
Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing? SANER 2023: 678-682 - [d2]Alexander Boll, Tiago Amorim, Ferry Bachman, Timo Kehrer, Andreas Vogelsang, Hartmut Pohlheim:
SimuComp Bus Study Data Set. Zenodo, 2023 - [d1]Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz:
EGAD: A moldable tool for GitHub Action analysis. Zenodo, 2023 - [i5]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 abs/2307.03279 (2023) - 2022
- [j29]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): 101 (2022) - [j28]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: 106809 (2022) - [j27]Timo Kehrer, Fabio Gadducci:
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020). Sci. Comput. Program. 221: 102845 (2022) - [j26]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): 805-837 (2022) - [j25]Fabio Gadducci, Timo Kehrer:
Special issue on Theoretical Topics in Graph Transformation. Theor. Comput. Sci. 931: 155-156 (2022) - [c75]Sebastian Müller, Valentin Gogoll, Anh Duc Vu, Timo Kehrer, Lars Grunske:
Automatically finding Metamorphic Relations in Computational Material Science Parsers. e-Science 2022: 521-528 - [c74]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: 231-236 - [c73]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: 269-280 - [c72]Pooja Rani, Alexandre Bergel, Lino Hess, Timo Kehrer, Oscar Nierstrasz:
Can We Automatically Generate Class Comments in Pharo? IWST 2022 - [c71]Anh Duc Vu, Timo Kehrer, Christos Tsigkanos:
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. ASE 2022: 182:1-182:5 - [c70]Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer:
Feature Trace Recording - Summary. Software Engineering 2022: 19-20 - [c69]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: 43-45 - [c68]Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary. Software Engineering 2022: 83-84 - [c67]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: 196-208 - [c66]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: 7:1-7:10 - [i4]Laura Wartschinski, Yannic Noller, Thomas Vogel, Timo Kehrer, Lars Grunske:
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python. CoRR abs/2201.08441 (2022) - 2021
- [j24]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): 255-260 (2021) - [j23]Sven Peldszus, Jens Bürger, Timo Kehrer, Jan Jürjens:
Ontology-driven evolution of software security. Data Knowl. Eng. 134: 101907 (2021) - [j22]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): 2111-2130 (2021) - [j21]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer:
History-based Model Repair Recommendations. ACM Trans. Softw. Eng. Methodol. 30(2): 15:1-15:46 (2021) - [c65]Timo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner:
Bridging the Gap Between Clone-and-Own and Software Product Lines. ICSE (NIER) 2021: 21-25 - [c64]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: 930-942 - [c63]Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS 2021: 1-12 - [c62]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: 351-360 - [c61]Stefan Götz, Matthias Tichy, Timo Kehrer:
Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java. MODELSWARD 2021: 122-135 - [c60]Maike Basmer, Timo Kehrer, Birgit Penzenstadler:
SusAF Welcomes SusApp: Tool Support for the Sustainability Awareness Framework. RE 2021: 418-419 - [c59]Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske:
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. Software Engineering 2021: 81-82 - [c58]Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer:
Feature trace recording. ESEC/SIGSOFT FSE 2021: 1007-1020 - [c57]Christopher Pietsch, Udo Kelter, Timo Kehrer:
From pairwise to family-based generic analysis of delta-oriented model-based SPLs. SPLC (A) 2021: 13-24 - [e5]Fabio Gadducci, Timo Kehrer:
Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Lecture Notes in Computer Science 12741, Springer 2021, ISBN 978-3-030-78945-9 [contents] - [i3]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 abs/2108.01001 (2021) - 2020
- [j20]Alexander Schultheiß, Alexander Boll, Timo Kehrer:
Comparison of Graph-based Model Transformation Rules. J. Object Technol. 19(2): 3:1-21 (2020) - [j19]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): 20-22 (2020) - [c56]Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer:
Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach. FASE 2020: 224-244 - [c55]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: 111-130 - [c54]Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske:
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. ASE 2020: 1103-1115 - [c53]Jens Bürger, Timo Kehrer, Jan Jürjens:
Ontology Evolution in the Context of Model-Based Secure Software Engineering. RCIS 2020: 437-454 - [c52]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: 15:1-15:12 - [c51]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: 27:1-27:6 - [c50]Luca Beurer-Kellner, Jens von Pilgrim, Timo Kehrer:
Round-trip migration of object-oriented data model instances. TTC/ 2020 - [c49]Dennis Reuling, Christopher Pietsch, Udo Kelter, Timo Kehrer:
Towards projectional editing for model-based SPLs. VaMoS 2020: 25:1-25:10 - [e4]Fabio Gadducci, Timo Kehrer:
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12150, Springer 2020, ISBN 978-3-030-51371-9 [contents]
2010 – 2019
- 2019
- [j18]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): 15-16 (2019) - [j17]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): 1197-1224 (2019) - [c48]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: 70-76 - [c47]Maike Basmer, Timo Kehrer:
Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study. ASE Workshops 2019: 86-89 - [c46]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Inferring Visual Contracts from Java Programs. SE/SWM 2019: 53-54 - [c45]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: 57-58 - [c44]Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter:
A Formal Framework for Incremental Model Slicing. SE/SWM 2019: 147-149 - [c43]Christopher Pietsch, Udo Kelter, Timo Kehrer, Christoph Seidl:
Formal foundations for analyzing and refactoring delta-oriented model-based software product lines. SPLC (A) 2019: 30:1-30:11 - [c42]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: 67:1-67:5 - [c41]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: 69:1-69:8 - [p3]Malte Lochau, Dennis Reuling, Johannes Bürdek, Timo Kehrer, Sascha Lity, Andy Schürr, Udo Kelter:
Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines. Managed Software Evolution 2019: 141-173 - [p2]Stefan Kögel, Matthias Tichy, Abhishek Chakraborty, Alexander Fay, Birgit Vogel-Heuser, Christopher Haubeck, Gabriele Taentzer, Timo Kehrer, Jan Ladiges, Lars Grunske, Mattias Ulbrich, Safa Bougouffa, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch:
Learning from Evolution for Evolution. Managed Software Evolution 2019: 255-308 - [e3]Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, Tewfik Ziadi:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-7138-4 [contents] - [i2]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): 1-30 (2019) - 2018
- [j16]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Inferring visual contracts from Java programs. Autom. Softw. Eng. 25(4): 745-784 (2018) - [j15]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: 115-135 (2018) - [c40]Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter:
A Formal Framework for Incremental Model Slicing. FASE 2018: 3-20 - [c39]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Timo Kehrer:
ReVision: a tool for history-based model repair recommendations. ICSE (Companion Volume) 2018: 105-108 - [c38]Simon Pizonka, Timo Kehrer, Matthias Weidlich:
Domain Model-Based Data Stream Validation for Internet of Things Applications. MoDELS (Workshops) 2018: 503-508 - [c37]Timo Kehrer, Birgit Penzenstadler:
An Exploration of Sustainability Thinking in Research Software Engineering. RE4SuSy@RE 2018: 34-43 - [c36]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: 91-92 - [c35]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering 2018: 113-114 - [e2]Thorsten Berger, Paulo Borba, Goetz Botterweck, Tomi Männistö, David Benavides, Sarah Nadi, Timo Kehrer, Rick Rabiser, Christoph Elsner, Mukelabai Mukelabai:
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018. ACM 2018 [contents] - [i1]Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer:
Shadow Symbolic Execution with Java PathFinder. CoRR abs/1802.01714 (2018) - 2017
- [j14]Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer:
Shadow Symbolic Execution with Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [c34]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: 196-208 - [c33]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: 86-91 - [c32]Timo Kehrer, Abdullah M. Alshanqiti, Reiko Heckel:
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations. ICMT 2017: 92-107 - [c31]Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, Timo Kehrer:
Incrementally slicing editable submodels. ASE 2017: 913-918 - [c30]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: 67-68 - [c29]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE 2017: 38-48 - [c28]Sinem Getir, Duc Anh Vu, Francois Peverali, Daniel Strüber, Timo Kehrer:
State Elimination as Model Transformation Problem. TTC@STAF 2017: 65-73 - [c27]Christopher Pietsch, Dennis Reuling, Udo Kelter, Timo Kehrer:
A tool environment for quality assurance of delta-oriented model-based SPLs. VaMoS 2017: 84-91 - [e1]Timo Kehrer, Alice Miller:
Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 263, 2017 [contents] - 2016
- [j13]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): 687-733 (2016) - [j12]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Architecting dynamic cyber-physical spaces. Computing 98(10): 1011-1040 (2016) - [j11]Hamed Shariat Yazdi, Lefteris Angelis, Timo Kehrer, Udo Kelter:
A framework for capturing, statistically modeling and analyzing the evolution of software models. J. Syst. Softw. 118: 176-207 (2016) - [c26]Timo Kehrer, Gabriele Taentzer, Michaela Rindt, Udo Kelter:
Automatically Deriving the Specification of Model Editing Operations from Meta-Models. ICMT 2016: 173-188 - [c25]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh:
Adding static and dynamic semantics to building information models. SEsCPS@ICSE 2016: 1-7 - [c24]Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. ASE 2016: 816-821 - [c23]Daniel Strüber, Timo Kehrer, Thorsten Arendt, Christopher Pietsch, Dennis Reuling:
Scalability of Model Transformations: Position Paper and Benchmark Set. BigMDE@STAF 2016: 21-30 - [c22]Christos Tsigkanos, Timo Kehrer:
On Formalizing and Identifying Patterns in Cloud Workload Specifications. WICSA 2016: 262-267 - [c21]Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi:
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS 2016: 16-30 - 2015
- [b3]Timo Kehrer:
Calculation and propagation of model changes based on user-level edit operations: a foundation for version and variant management in model-driven engineering. University of Siegen, 2015 - [j10]Hamed Shariat Yazdi, Pit Pietsch, Timo Kehrer, Udo Kelter:
Synthesizing realistic test models. Comput. Sci. Res. Dev. 30(3-4): 231-253 (2015) - [c20]Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer:
Extensible Debugger Framework for Extensible Languages. Ada-Europe 2015: 33-49 - [c19]Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert:
Selected challenges of software evolution for automated production systems. INDIN 2015: 314-321 - [c18]Christopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling, Manuel Ohrndorf:
SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering. ASE 2015: 852-857 - [c17]Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber, Steffen Vaupel:
An Adaptable Tool Environment for High-level Differencing of Textual Models. OCL@MoDELS 2015: 62-72 - [p1]Timo Kehrer:
Berechnung und Propagation von Modelländerungen auf der Basis von Editieroperationen. Ausgezeichnete Informatikdissertationen 2015: 141-150 - 2014
- [j9]Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Propagation of Software Model Changes in the Context of Industrial Plant Automation. Autom. 62(11): 803-814 (2014) - [j8]Timo Kehrer, Udo Kelter:
Versioning of Ordered Model Element Sets. Softwaretechnik-Trends 34(2) (2014) - [c16]Hamed Shariat Yazdi, Mahnaz Mirbolouki, Pit Pietsch, Timo Kehrer, Udo Kelter:
Analysis and Prediction of Design Model Evolution Using Time Series. CAiSE Workshops 2014: 1-15 - [c15]Timo Kehrer, Udo Kelter, Dennis Reuling:
Workspace updates of visual models. ASE 2014: 827-830 - [c14]Sinem Getir, Michaela Rindt, Timo Kehrer:
A Generic Framework for Analyzing Model Co-Evolution. ME@MoDELS 2014: 12-21 - [c13]Michaela Rindt, Timo Kehrer, Udo Kelter:
Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools. MoDELS (Demos) 2014 - [c12]Timo Kehrer:
Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung. Software Engineering 2014: 57-58 - 2013
- [j7]Timo Kehrer, Christian Gerth:
CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. Softwaretechnik-Trends 33(2) (2013) - [j6]Timo Kehrer, Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter:
Detection of High-Level Changes in Evolving Java Software. Softwaretechnik-Trends 33(2) (2013) - [j5]Domenik Pavletic, Syed Aoun Raza, Markus Voelter, Bernd Kolb, Timo Kehrer:
Extensible Debuggers for Extensible Languages. Softwaretechnik-Trends 33(2) (2013) - [c11]Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Consistency-preserving edit scripts in model versioning. ASE 2013: 191-201 - [c10]Timo Kehrer, Michaela Rindt, Pit Pietsch, Udo Kelter:
Generating Edit Operations for Profiled UML Models. ME@MoDELS 2013: 30-39 - [c9]Udo Kelter, Timo Kehrer, Dennis Koch:
Patchen von Modellen. Software Engineering 2013: 171-184 - [c8]Hamed Shariat Yazdi, Pit Pietsch, Timo Kehrer, Udo Kelter:
Statistical Analysis of Changes for Synthesizing Realistic Test Models. Software Engineering 2013: 225-238 - 2012
- [j4]Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Integrating the Specification and Recognition of Changes in Models. Softwaretechnik-Trends 32(2) (2012) - [j3]Timo Kehrer, Udo Kelter, Pit Pietsch, Maik Schmidt:
Operation-based Model Differencing meets State-based Model Comparison. Softwaretechnik-Trends 32(4) (2012) - [j2]Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter, Timo Kehrer:
Assessing the Quality of Model Differencing Engines. Softwaretechnik-Trends 32(4) (2012) - [j1]Maik Schmidt, Timo Kehrer, Udo Kelter, Pit Pietsch:
Representation of model differences. Softwaretechnik-Trends 32(4) (2012) - [c7]Timo Kehrer, Udo Kelter, Manuel Ohrndorf, Tim Sollbach:
Understanding model evolution through semantically lifting model differences with SiLift. ICSM 2012: 638-641 - [c6]Timo Kehrer, Udo Kelter, Pit Pietsch, Maik Schmidt:
Adaptability of model comparison tools. ASE 2012: 306-309 - [c5]Timo Kehrer, Stefan Berlik, Udo Kelter, Michael Ritter:
Modellbasierte Entwicklung GPU-unterstützter Applikationen. Modellierung 2012: 139-154 - 2011
- [b2]Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer:
Software Architecture - A Comprehensive Framework and Guide for Practitioners. Springer 2011, ISBN 978-3-642-19735-2, pp. I-XVI, 1-478 - [c4]Timo Kehrer, Ingo Arnold, Arif Chughtai, Oliver Vogel:
A software architecture orientation framework. CSEE&T 2011: 560 - [c3]Timo Kehrer, Udo Kelter, Gabriele Taentzer:
A rule-based approach to the semantic lifting of model differences in the context of model versioning. ASE 2011: 163-172
2000 – 2009
- 2009
- [b1]Oliver Vogel, Ingo Arnold, Arif Chughtai, Edmund Ihler, Timo Kehrer, Uwe Mehlig, Uwe Zdun:
Software-Architektur - Grundlagen, Konzepte, Praxis (2. Aufl.). Spektrum Akademischer Verlag 2009, ISBN 978-3-8274-1933-0, pp. I-XX, 1-556 - [c2]Maik Schmidt, Sven Wenzel, Timo Kehrer, Udo Kelter:
History-based merging of models. CVSM@ICSE 2009: 13-18 - 2008
- [c1]Timo Kehrer, Alexandra Wenzel, Fridtjof Toenniessen:
Mediendidaktische und strategische Erfolgsfaktoren am Beispiel des Learning Management Systems Xterm. MuC (Workshopband) 2008: 405-412
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint