Publikationen
- Eriksson, Benjamin, Stjerna, Amanda, Masellis, Riccardo De, Rümmer, Philipp und 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 - Jez, Artur, Lin, Anthony W., Markgraf, Oliver und 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 - Jez, Artur, Lin, Anthony W., Markgraf, Oliver und Rümmer, Philipp (2023). Decision Procedures for Sequence Theories (Technical Report).
CoRR, abs/2308.00175
https://dx.doi.org/10.48550/ARXIV.2308.00175 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und 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 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp (2023). Timing Analysis of Embedded Software Updates.
29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023, Niigata, Japan, August 30 - Sept. 1, 2023. IEEE, 1—11.
https://dx.doi.org/10.1109/RTCSA58653.2023.00010 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp (2023). Timing Analysis of Embedded Software Updates.
CoRR, abs/2304.14213
https://dx.doi.org/10.48550/ARXIV.2304.14213 - Gurov, Dilian, Lidstr?m, Christian und Rümmer, Philipp (2022). Alice in Wineland: A Fairy Tale with Contracts.
, 13360 in: Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Einar Broch Johnsen (eds.) The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner H?hnle on the Occasion of His 60th Birthday. Springer, 229—242.
https://dx.doi.org/10.1007/978-3-031-08166-8_11 - Esen, Zafer und Rümmer, Philipp (2022). An SMT-LIB Theory of Heaps.
, 3185 in: David Déharbe and Antti E. J. Hyv?rinen (eds.) Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022. CEUR-WS.org, 38—53. - Kan, Shuanglong, Lin, Anthony Widjaja, Rümmer, Philipp und Schrader, Micha (2022). CertiStr: a certified string solver.
in: Andrei Popescu and Steve Zdancewic (eds.) CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022. ACM, 210—224.
https://dx.doi.org/10.1145/3497775.3503691 - Liang, Chencheng, Rümmer, Philipp und Brockschmidt, Marc (2022). Exploring Representation of Horn clauses using GNNs.
, 3201 in: Boris Konev and Claudia Schon and Alexander Steen (eds.) Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. CEUR-WS.org - Liang, Chencheng, Rümmer, Philipp und Brockschmidt, Marc (2022). Exploring Representation of Horn Clauses using GNNs (Extended Technique Report).
CoRR, abs/2206.06986
https://dx.doi.org/10.48550/ARXIV.2206.06986 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp (2022). NeRTA: Enabling Dynamic Software Updates in Mobile Robotics.
in: Alois Ferscha and Mun Choon Chan and Salil S. Kanhere and Ranga Rao Venkatesha Prasad (eds.) Proceedings of the 2022 International Conference on Embedded Wireless Systems and Networks, EWSN 2022, Linz, Austria, October 3-5, 2022. Junction Publishing / ACM, 120—125.
https://dx.doi.org/10.5555/3578948.3578959 - Hojjat, Hossein und Rümmer, Philipp (2022). OptiRica: Towards an Efficient Optimizing Horn Solver.
, 373 in: Geoffrey William Hamilton and Temesghen Kahsai and Maurizio Proietti (eds.) Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022., 35—43.
https://dx.doi.org/10.4204/EPTCS.373.4 - Yaacoub, Ahmed El, Mottola, Luca, Voigt, Thiemo und Rümmer, Philipp (2022). Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical Embedded Systems - the Case of Aerial Drones.
13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. IEEE, 284—285.
https://dx.doi.org/10.1109/ICCPS54341.2022.00033 - Chen, Taolue, Flores-Lamas, Alejandro, Hague, Matthew, Han, Zhilei, Hu, Denghang, Kan, Shuanglong, Lin, Anthony W., Rümmer, Philipp und Wu, Zhilin (2022). Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
Proc. ACM Program. Lang., 6 (POPL), 1—31.
https://dx.doi.org/10.1145/3498707 - Esen, Zafer und Rümmer, Philipp (2022). Tricera: Verifying C Programs Using the Theory of Heaps.
in: Alberto Griggio and Neha Rungta (eds.) 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022. IEEE, 380—391.
https://dx.doi.org/10.34727/2022/ISBN.978-3-85448-053-2_45 - Ahrendt, Wolfgang, Gurov, Dilian, Johansson, Moa und Rümmer, Philipp (2022). TriCo - Triple Co-piloting of Implementation, Specification and Tests.
, 13701 in: Tiziana Margaria and Bernhard Steffen (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I. Springer, 174—187.
https://dx.doi.org/10.1007/978-3-031-19849-6_11 - Esen, Zafer und Rümmer, Philipp (2021). A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).
CoRR, abs/2104.04224 - Kan, Shuanglong, Lin, Anthony W., Rümmer, Philipp und Schrader, Micha (2021). CertiStr: A Certified String Solver (technical report).
CoRR, abs/2112.06039 - Fedyukovich, Grigory und Rümmer, Philipp (2021). Competition Report: CHC-COMP-21.
, 344 in: Hossein Hojjat and Bishoksan Kafle (eds.) Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., 91—108.
https://dx.doi.org/10.4204/EPTCS.344.7 - Bonacina, Maria Paola, Rümmer, Philipp und Schmidt, Renate A. (2021). Integrated Deduction (Dagstuhl Seminar 21371).
Dagstuhl Reports, 11 (8), 35—51.
https://dx.doi.org/10.4230/DAGREP.11.8.35 - Backeman, Peter, Rümmer, Philipp und Zeljic, Aleksandar (2021). Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.
Formal Methods Syst. Des., 57 (2), 121—156.
https://dx.doi.org/10.1007/S10703-021-00372-6 - Lin, Anthony W. und Rümmer, Philipp (2021). Regular Model Checking Revisited.
, 13030 in: Ernst-Rüdiger Olderog and Bernhard Steffen and Wang Yi (eds.) Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Springer, 97—114.
https://dx.doi.org/10.1007/978-3-030-91384-7_6 - Chen, Taolue, Flores-Lamas, Alejandro, Hague, Matthew, Han, Zhilei, Hu, Denghang, Kan, Shuanglong, Lin, Anthony Widjaja, Rümmer, Philipp und Wu, Zhilin (2021). Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
CoRR, abs/2111.04298 - Shamakhi, Ali, Hojjat, Hossein und Rümmer, Philipp (2021). Towards String Support in JayHorn (Competition Contribution).
, 12652 in: Jan Friso Groote and Kim Guldstrand Larsen (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Springer, 443—447.
https://dx.doi.org/10.1007/978-3-030-72013-1_29