Publikationen
- Esen, Zafer, Rümmer, Philipp und 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 - 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 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 - 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), 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 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 - 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).
Zenodo
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) Association for Computing Machinery (ACM), 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), 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 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 - (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. - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng und 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 - 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.
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 - 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) ASSOC COMPUTING MACHINERY, NEW YORK, 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 in: Brigitte Pientka and Cesare Tinelli (eds.) Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Springer, 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 in: Carla Ferreira and Tim A. C. Willemse (eds.) Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Springer, 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 in: Temur Kutsia and Daniel Ventura and David Monniaux and José F. Morales (eds.) Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and SynthesisRome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023., 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 in: Constantin Enea and Akash Lal (eds.) Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Springer, 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) Universit?tsverlag Regensburg, 10-12.