Prof. Dr. Philipp Rümmer
Lehrstuhlinhaber
- E-Mail Adresse: philipp.ruemmer(at)ur.de (öffnet Ihr E-Mail-Programm)
- Tel: +49 941 943 - 68612 (startet einen Telefonanruf, wenn Ihr Gerät dies zulässt)
- Standort: Bajuwarenstr. 4, BA 602
- Lehrstuhl für Theoretische Informatik
Mehr Informationen zu Philipp Rümmer finden sich auf seiner persönlichen Website (externer Link, öffnet neues Fenster).
Publikationen
- Esen, Zafer, Rümmer, Philipp und Weber, Tjark (2025) Finding Universally Quantified Heap Invariants by Horn Clause Transformations.
: 15593, S. 42—60.
https://dx.doi.org/10.1007/978-3-031-87054-5_4 - Jiang, Hongjian, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp und 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 und Yi, Wang (2025) Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software.
: 15731, S. 90—113.
https://dx.doi.org/10.1007/978-3-031-95589-1_5 - Huber, Nikolaus, Graf, Susanne, Rümmer, Philipp und 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 und Majumdar, Rupak (2025) Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification.
IEEE Trans. Software Eng.: 51 (6), S. 1801—1817.
https://dx.doi.org/10.1109/TSE.2025.3567423 - Hong, Chih-Duo, Lin, Anthony W., Rümmer, Philipp und 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 und 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 und Yi, Wang (2025) Timing is All You Need.
: 15240, S. 259—279.
https://dx.doi.org/10.1007/978-3-031-73887-6_18 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng und Rümmer, Philipp (2024) Guiding Word Equation Solving using Graph Neural Networks (Version 1).
https://dx.doi.org/10.5281/ZENODO.13354774 - Stjerna, Amanda und Rümmer, Philipp (2024) A Constraint Solving Approach to Parikh Images of Regular Languages.
Proceedings of the ACM on Programming Languages: 8 (OOPSLA), S. 1235-1263.
https://dx.doi.org/10.1145/3649855 - Stjerna, Amanda und Rümmer, Philipp (2024) A Constraint Solving Approach to Parikh Images of Regular Languages.
Proc. ACM Program. Lang.: 8 (OOPSLA1), S. 1235—1263.
https://dx.doi.org/10.1145/3649855 - Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp und 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 und Wies, Thomas (2024) Arithmetizing Shape Analysis.
CoRR: abs/2408.09037
https://dx.doi.org/10.48550/ARXIV.2408.09037 - Abdulla, Parosh Aziz, Liang, Chencheng und Rümmer, Philipp (2024) Boosting Constrained Horn Solving by Unsat Core Learning.
: 14499, S. 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 und Rümmer, Philipp (2024) Guiding Word Equation Solving Using Graph Neural Networks.
: 15054, S. 279—301.
https://dx.doi.org/10.1007/978-3-031-78709-6_14 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng und 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 und Rümmer, Philipp (2024) Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments.
, S. 138.
https://dx.doi.org/10.1145/3638550.3643616 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp (2023) Scheduling Dynamic Software Updates in Mobile Robots.
ACM Transactions on Embedded Computing Systems: 22 (6), S. 1-27.
https://dx.doi.org/10.1145/3623676 - Chen, Yu-Fang, Rümmer, Philipp und Tsai, Wei-Lun (2023) A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).
: 14132, S. 170—189.
https://dx.doi.org/10.1007/978-3-031-38499-8_10 - Ghosal, Sandip, Jonsson, Bengt und Rümmer, Philipp (2023) An Active Learning Approach to Synthesizing Program Contracts.
: 14323, S. 126—144.
https://dx.doi.org/10.1007/978-3-031-47115-5_8 - Amrollahi, Daneshvar, Hojjat, Hossein und Rümmer, Philipp (2023) An Encoding for CLP Problems in SMT-LIB.
: 402, S. 118—130.
https://dx.doi.org/10.4204/EPTCS.402.12 - Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian und Rümmer, Philipp (2023) Automatic Program Instrumentation for Automatic Verification.
: 13966, S. 281—304.
https://dx.doi.org/10.1007/978-3-031-37709-9_14 - Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian und 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 und Rümmer, Philipp (2023) Automatisches Beweisen: Methoden und Anwendungen.
Blick in die Wissenschaft : Forschungsmagazin der Universität Regensburg: 31 (44/45), S. 10-12.