Publications in peer reviewed journals
- Çelik, Burak, Schwarz, Justus Arne and Tan, Barış (2025-09). Product and price competition with selection of unique and common features and different quality levels.
International Journal of Production Economics, 287 Elsevier
https://dx.doi.org/10.1016/j.ijpe.2025.109667 - Jiang, Hongjian, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp and Stan, Daniel (2025) HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report).
CoRR, abs/2505.15959
https://dx.doi.org/10.48550/ARXIV.2505.15959 - Hong, Chih-Duo, Lin, Anthony W., Rümmer, Philipp and Majumdar, Rupak (2025) Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification.
CoRR, abs/2505.09963
https://dx.doi.org/10.48550/ARXIV.2505.09963 - Esen, Zafer, Rümmer, Philipp and Weber, Tjark (2025) Sound and Complete Invariant-Based Heap Encodings (Technical Report).
CoRR, abs/2504.15844
https://dx.doi.org/10.48550/ARXIV.2504.15844 - Huber, Nikolaus, Graf, Susanne, Rümmer, Philipp and Yi, Wang (2025) Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.
CoRR, abs/2503.02557
https://dx.doi.org/10.48550/ARXIV.2503.02557 - Esen, Zafer, Rümmer, Philipp and Weber, Tjark (2025) Finding Universally Quantified Heap Invariants by Horn Clause Transformations.
, 15593 in: Hossein Hojjat and Georgiana Caltais (eds.) Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings. Springer, 42—60.
https://dx.doi.org/10.1007/978-3-031-87054-5_4 - Hong, Chih-Duo, Lin, Anthony W., Rümmer, Philipp and Majumdar, Rupak (2025) Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification.
IEEE Trans. Software Eng., 51 (6), 1801—1817.
https://dx.doi.org/10.1109/TSE.2025.3567423 - Graf, Susanne, Jonsson, Bengt, Khodabandeloo, Behnam, Huang, Chengzi, Huber, Nikolaus, Rümmer, Philipp and Yi, Wang (2025) Timing is All You Need.
, 15240 in: Mike Hinchey and Bernhard Steffen (eds.) The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Springer, 259—279.
https://dx.doi.org/10.1007/978-3-031-73887-6_18 - Huber, Nikolaus, Graf, Susanne, Rümmer, Philipp and Yi, Wang (2025) Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.
, 15731 in: Cinzia Di Giusto and António Ravara (eds.) Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings. Springer, 90—113.
https://dx.doi.org/10.1007/978-3-031-95589-1_5 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng and Rümmer, Philipp (2024) Guiding Word Equation Solving using Graph Neural Networks (Version 1).
Zenodo
https://dx.doi.org/10.5281/ZENODO.13354774 - Stjerna, Amanda and Rümmer, Philipp (2024) A Constraint Solving Approach to Parikh Images of Regular Languages.
Proceedings of the ACM on Programming Languages, 8 (OOPSLA) Association for Computing Machinery (ACM), 1235-1263.
https://dx.doi.org/10.1145/3649855 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng and Rümmer, Philipp (2024) Guiding Word Equation Solving Using Graph Neural Networks.
, 15054 in: S. Akshay and Aina Niemetz and Sriram Sankaranarayanan (eds.) Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I. Springer, 279—301.
https://dx.doi.org/10.1007/978-3-031-78709-6_14 - Stjerna, Amanda and Rümmer, Philipp (2024) A Constraint Solving Approach to Parikh Images of Regular Languages.
Proc. ACM Program. Lang., 8 (OOPSLA1), 1235—1263.
https://dx.doi.org/10.1145/3649855 - Abdulla, Parosh Aziz, Liang, Chencheng and Rümmer, Philipp (2024) Boosting Constrained Horn Solving by Unsat Core Learning.
, 14499 in: Rayna Dimitrova and Ori Lahav and Sebastian Wolff (eds.) Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Springer, 280—302.
https://dx.doi.org/10.1007/978-3-031-50524-9_13 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp (2024) Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments.
in: Nigel Davies and Chenren Xu (eds.) Proceedings of the 25th International Workshop on Mobile Computing Systems and Applications, HOTMOBILE 2024, San Diego, CA, USA, February 28-29, 2024. ACM, 138.
https://dx.doi.org/10.1145/3638550.3643616 - (2024) Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024.
in: Nina Narodytska and Philipp Rümmer (eds.) IEEE, ISBN 978-3-85448-065-5. - Wolff, Sebastian, Gupta, Ekanshdeep, Esen, Zafer, Hojjat, Hossein, Rümmer, Philipp and Wies, Thomas (2024) Arithmetizing Shape Analysis.
CoRR, abs/2408.09037
https://dx.doi.org/10.48550/ARXIV.2408.09037 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng and Rümmer, Philipp (2024) Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).
CoRR, abs/2411.15194
https://dx.doi.org/10.48550/ARXIV.2411.15194 - Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp and Voorberg, Marten (2024) A Program Instrumentation Framework for Automatic Verification.
CoRR, abs/2412.06431
https://dx.doi.org/10.48550/ARXIV.2412.06431 - Çelik, Burak, Schwarz, Justus Arne and Tan, Barış (2024-06). New product introductions with selection of unique and common features in monopoly markets.
Omega, 125 Elsevier, 103018.
https://dx.doi.org/10.1016/j.omega.2023.103018 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp (2023) Scheduling Dynamic Software Updates in Mobile Robots.
ACM Transactions on Embedded Computing Systems, 22 (6) ASSOC COMPUTING MACHINERY, NEW YORK, 1-27.
https://dx.doi.org/10.1145/3623676 - Cailler, Julie and Rümmer, Philipp (2023). Automatisches Beweisen: Methoden und Anwendungen.
Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg, 31 (44/45) Universitätsverlag Regensburg, 10-12. - Jez, Artur, Lin, Anthony W., Markgraf, Oliver and Rümmer, Philipp (2023) Decision Procedures for Sequence Theories (Technical Report).
CoRR, abs/2308.00175
https://dx.doi.org/10.48550/ARXIV.2308.00175 - Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian and Rümmer, Philipp (2023) Automatic Program Instrumentation for Automatic Verification (Extended Technical Report).
CoRR, abs/2306.00004
https://dx.doi.org/10.48550/ARXIV.2306.00004 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp (2023) Timing Analysis of Embedded Software Updates.
CoRR, abs/2304.14213
https://dx.doi.org/10.48550/ARXIV.2304.14213