Prof. Dr. Philipp Rümmer
Head of Chair
- E-mail address: philipp.ruemmer(at)ur.de (opens your email program)
- Tel: +49 941 943 - 68612 (starts a telephone call, if your device allows this)
- Location: Bajuwarenstr. 4, BA 602
- Theoretical Computer Science Group
More information about Philipp Rümmer can be found on his personal website (external link, opens in a new window).
Publications
- Esen, Zafer, Rümmer, Philipp and Weber, Tjark (2025) Finding Universally Quantified Heap Invariants by Horn Clause Transformations.
: 15593, P. 42—60.
https://dx.doi.org/10.1007/978-3-031-87054-5_4 - 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 - Huber, Nikolaus, Graf, Susanne, Rümmer, Philipp and Yi, Wang (2025) Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.
: 15731, P. 90—113.
https://dx.doi.org/10.1007/978-3-031-95589-1_5 - 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 - 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), P. 1801—1817.
https://dx.doi.org/10.1109/TSE.2025.3567423 - 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 - Graf, Susanne, Jonsson, Bengt, Khodabandeloo, Behnam, Huang, Chengzi, Huber, Nikolaus, Rümmer, Philipp and Yi, Wang (2025) Timing is All You Need.
: 15240, P. 259—279.
https://dx.doi.org/10.1007/978-3-031-73887-6_18 - 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).
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), P. 1235-1263.
https://dx.doi.org/10.1145/3649855 - Stjerna, Amanda and Rümmer, Philipp (2024) A Constraint Solving Approach to Parikh Images of Regular Languages.
Proc. ACM Program. Lang.: 8 (OOPSLA1), P. 1235—1263.
https://dx.doi.org/10.1145/3649855 - 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 - 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, Liang, Chencheng and Rümmer, Philipp (2024) Boosting Constrained Horn Solving by Unsat Core Learning.
: 14499, P. 280—302.
https://dx.doi.org/10.1007/978-3-031-50524-9_13 - (2024) Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024.
, ISBN 978-3-85448-065-5. - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng and Rümmer, Philipp (2024) Guiding Word Equation Solving Using Graph Neural Networks.
: 15054, P. 279—301.
https://dx.doi.org/10.1007/978-3-031-78709-6_14 - 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 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp (2024) Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments.
, P. 138.
https://dx.doi.org/10.1145/3638550.3643616 - 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), P. 1-27.
https://dx.doi.org/10.1145/3623676 - Chen, Yu-Fang, Rümmer, Philipp and Tsai, Wei-Lun (2023) A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).
: 14132, P. 170—189.
https://dx.doi.org/10.1007/978-3-031-38499-8_10 - Ghosal, Sandip, Jonsson, Bengt and Rümmer, Philipp (2023) An Active Learning Approach to Synthesizing Program Contracts.
: 14323, P. 126—144.
https://dx.doi.org/10.1007/978-3-031-47115-5_8 - Amrollahi, Daneshvar, Hojjat, Hossein and Rümmer, Philipp (2023) An Encoding for CLP Problems in SMT-LIB.
: 402, P. 118—130.
https://dx.doi.org/10.4204/EPTCS.402.12 - Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidstr?m, Christian and Rümmer, Philipp (2023) Automatic Program Instrumentation for Automatic Verification.
: 13966, P. 281—304.
https://dx.doi.org/10.1007/978-3-031-37709-9_14 - 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 - Cailler, Julie and Rümmer, Philipp (2023) Automatisches Beweisen: Methoden und Anwendungen.
Blick in die Wissenschaft : Forschungsmagazin der Universit?t Regensburg: 31 (44/45), P. 10-12.