Kehrer, Timo Benjamin

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping

Journal Article

Gadducci, Fabio; Kehrer, Timo (2023). Specification and modelling of computing systems through graphs and graph transformation. Journal of logical and algebraic methods in programming, 135 Elsevier 10.1016/J.JLAMP.2023.100905

Amorim, Tiago; Boll, Alexander; Bachman, Ferry; Kehrer, Timo; Vogelsang, Andreas; Pohlheim, Hartmut (2023). Simulink bus usage in practice: an empirical study. The Journal of Object Technology, 22(2), pp. 1-14. ETH Zürich 10.5381/JOT.2023.22.2.A12

Tinnes, Christof; Kehrer, Timo; Joblin, Mitchell; Hohenstein, Uwe; Biesdorf, Andreas; Apel, Sven (2023). Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling. Automated software engineering, 30(2) Springer 10.1007/S10515-023-00381-1

Beurer-Kellner, Luca; von Pilgrim, Jens; Tsigkanos, Christos; Kehrer, Timo (2023). A Transformational Approach to Managing Data Model Evolution of Web Services. IEEE Transactions on Services Computing, 16(1), pp. 65-79. IEEE 10.1109/TSC.2022.3144613

Schultheiss, Alexander; Bittner, Paul Maximilian; Boll, Alexander; Grunske, Lars; Thüm, Thomas; Kehrer, Timo (2022). RaQuN: a generic and scalable n-way model matching algorithm. Software and systems modeling, 22(5), pp. 1495-1517. Springer-Verlag 10.1007/S10270-022-01062-5

Book

Kehrer, Timo; Huchard, Marianne; Teixeira, Leopoldo; Birchler, Christian (eds.) (2024). Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024. ACM 10.1145/3634713

Conference or Workshop Item

Vu, Anh Duc; Sparka, Jan Arne; Mecquenem, Ninon De; Kehrer, Timo; Leser, Ulf; Grunske, Lars (2023). Design by Contract Revisited in the Context of Scientific Data Analysis Workflows. In: International Conference on e-Science (pp. 1-2). IEEE 10.1109/E-SCIENCE58273.2023.10254869

Vu, Anh Duc; Sparka, Jan Arne; Mecquenem, Ninon De; Kehrer, Timo; Leser, Ulf; Grunske, Lars (2023). Contract-Driven Design of Scientific Data Analysis Workflows. In: International Conference on e-Science (pp. 1-10). IEEE 10.1109/E-SCIENCE58273.2023.10254898

Birchler, Christian; Rohrbach, Cyrill; Kim, Hyeongkyun; Gambi, Alessio; Liu, Tianhai; Horneber, Jens; Kehrer, Timo; Panichella, Sebastiano (2023). TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. In: International Conference on Automated Software Engineering (pp. 2058-2061). IEEE 10.1109/ASE56229.2023.00154

Valenzuela-Toledo, Pablo; Bergel, Alexandre; Kehrer, Timo; Nierstrasz, Oscar (2023). Exploring GitHub Actions through EGAD: An Experience Report. In: Ducasse, Stéphane; Rakic, Gordana (eds.) International Workshop on Smalltalk Technologies. CEUR Workshop Proceedings: Vol. 3627. CEUR-WS.org

Rani, Pooja; Bergel, Alexandre; Hess, Lino; Kehrer, Timo; Nierstrasz, Oscar (2022). Can We Automatically Generate Class Comments in Pharo? In: IWST'22: Proceedings of International Workshop on Smalltalk Technologies. Novi Sad, Serbia.

Working Paper

Rani, Pooja; Zellweger, Jonas; Kousadianos, Veronika; Cruz, Luis; Kehrer, Timo; Bacchelli, Alberto (2024). Energy Patterns for Web: An Exploratory Study (arXiv). Cornell University 10.48550/ARXIV.2401.06482

Provide Feedback