Timo Kehrer
Person information
- affiliation: Humboldt University of Berlin, Department of Computer Science, Germany
- affiliation: Polytechnic University of Milan, Department of Electronics, Informatics and Bioengineering, Italy
- affiliation: University of Siegen, Software Engineering Group, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – today
- 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. Exper. 49(8): 1197-1224 (2019) - [c47]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 - [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 - [p2]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 - [p1]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. Journal of Systems and Software 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 Software Engineering 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. Journal of Systems and Software 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. Computer Science - R&D 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]Timo Kehrer:
Berechnung und Propagation von Modelländerungen auf der Basis von Editieroperationen. Ausgezeichnete Informatikdissertationen 2015: 141-150 - [c18]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 - [c17]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 - [c16]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 - 2014
- [j9]Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Propagation of Software Model Changes in the Context of Industrial Plant Automation. Automatisierungstechnik 62(11): 803-814 (2014) - [j8]Timo Kehrer, Udo Kelter:
Versioning of Ordered Model Element Sets. Softwaretechnik-Trends 34(2) (2014) - [c15]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 - [c14]Timo Kehrer, Udo Kelter, Dennis Reuling:
Workspace updates of visual models. ASE 2014: 827-830 - [c13]Sinem Getir, Michaela Rindt, Timo Kehrer:
A Generic Framework for Analyzing Model Co-Evolution. ME@MoDELS 2014: 12-21 - [c12]Michaela Rindt, Timo Kehrer, Udo Kelter:
Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools. Demos@MoDELS 2014 - [c11]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) - [c10]Timo Kehrer, Udo Kelter, Gabriele Taentzer:
Consistency-preserving edit scripts in model versioning. ASE 2013: 191-201 - [c9]Timo Kehrer, Michaela Rindt, Pit Pietsch, Udo Kelter:
Generating Edit Operations for Profiled UML Models. ME@MoDELS 2013: 30-39 - [c8]Udo Kelter, Timo Kehrer, Dennis Koch:
Patchen von Modellen. Software Engineering 2013: 171-184 - [c7]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) - [c6]Timo Kehrer, Udo Kelter, Manuel Ohrndorf, Tim Sollbach:
Understanding model evolution through semantically lifting model differences with SiLift. ICSM 2012: 638-641 - [c5]Timo Kehrer, Udo Kelter, Pit Pietsch, Maik Schmidt:
Adaptability of model comparison tools. ASE 2012: 306-309 - [c4]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 - [c3]Timo Kehrer, Ingo Arnold, Arif Chughtai, Oliver Vogel:
A software architecture orientation framework. CSEE&T 2011: 560 - [c2]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 - 2008
- [c1]Timo Kehrer, Alexandra Wenzel, Fridtjof Toenniessen:
Mediendidaktische und strategische Erfolgsfaktoren am Beispiel des Learning Management Systems Xterm. Mensch & Computer 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-10-30 22:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint