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
https://dx.doi.org/10.1016/j.ijpe.2025.109667 - 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 - 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 - 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 - 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 - 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), 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 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, 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 - 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 - (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 (Version 1).
Zenodo
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) Association for Computing Machinery (ACM), 1235-1263.
https://dx.doi.org/10.1145/3649855 - Ç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 Trans. Embed. Comput. Syst., 22 (6), 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 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 - Jez, Artur, Lin, Anthony W., Markgraf, Oliver and Rümmer, Philipp (2023) Decision Procedures for Sequence Theories.
, 13965 in: Constantin Enea and Akash Lal (eds.) Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II. Springer, 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 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 - Eriksson, Benjamin, Stjerna, Amanda, Masellis, Riccardo De, Rümmer, Philipp and Sabelfeld, Andrei (2023) Black Ostrich: Web Application Scanning with String Solvers.
in: Weizhi Meng and Christian Damsgaard Jensen and Cas Cremers and Engin Kirda (eds.) Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023. ACM, 549—563.
https://dx.doi.org/10.1145/3576915.3616582