Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTimo 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
showing all ?? records
2020 – today
- 2023
[j34]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)- [j33]Fabio Gadducci, Timo Kehrer:
Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. 135: 100905 (2023) - [j32]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) - [j31]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) - [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) - [c87]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 - [c86]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 - [c85]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 - [c84]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 - [c83]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 - [c82]Pablo Valenzuela-Toledo, Alexandre Bergel, Timo Kehrer, Oscar Nierstrasz:
EGAD: A moldable tool for GitHub Action analysis. MSR 2023: 260-264 - [c81]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 - [c80]Manuel Ohrndorf, Christopher Pietsch, Udo Kelter, Lars Grunske, Timo Kehrer:
A Summary of ReVision: History-based Model Repair Recommendations. Software Engineering 2023: 99-100 - [c79]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 - [c78]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 - [c77]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 - [c76]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 - [c75]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 - [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) - [c74]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 - [c73]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 - [c72]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 - [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.