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
- 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 - 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 - 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 - 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 - 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) Sound and Complete Invariant-Based Heap Encodings (Technical Report).
CoRR: abs/2504.15844
https://dx.doi.org/10.48550/ARXIV.2504.15844 - 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 - 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 - 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 - 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, 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 - 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 - (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 (Version 1).
https://dx.doi.org/10.5281/ZENODO.13354774 - 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 - 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 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp (2023) Scheduling Dynamic Software Updates in Mobile Robots.
ACM Trans. Embed. Comput. Syst.: 22 (6), P. 99:1—99: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 - Jez, Artur, Lin, Anthony W., Markgraf, Oliver and Rümmer, Philipp (2023) Decision Procedures for Sequence Theories.
: 13965, P. 18—40.
https://dx.doi.org/10.1007/978-3-031-37703-7_2 - 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 - Eriksson, Benjamin, Stjerna, Amanda, Masellis, Riccardo De, Rümmer, Philipp and Sabelfeld, Andrei (2023) Black Ostrich: Web Application Scanning with String Solvers.
, P. 549—563.
https://dx.doi.org/10.1145/3576915.3616582 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo and Rümmer, Philipp (2023) Timing Analysis of Embedded Software Updates.
, P. 1—11.
https://dx.doi.org/10.1109/RTCSA58653.2023.00010 - 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