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 - 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 - 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 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 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), 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 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 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 - 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 - 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 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 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 - 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.
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 - ?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 - Chen, Yu-Fang, Rümmer, Philipp and 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 and 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 and 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 and 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