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
- Eriksson, Benjamin, Stjerna, Amanda, Masellis, Riccardo De, Rümmer, Philipp und Sabelfeld, Andrei (2023) Black Ostrich: Web Application Scanning with String Solvers.
, S. 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, S. 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), S. 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.
, S. 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, S. 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, S. 38—53. - Kan, Shuanglong, Lin, Anthony Widjaja, Rümmer, Philipp und Schrader, Micha (2022) CertiStr: a certified string solver.
, S. 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 - 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.
, S. 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, S. 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.
, S. 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), S. 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.
, S. 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, S. 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, S. 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), S. 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), S. 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, S. 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, S. 443—447.
https://dx.doi.org/10.1007/978-3-030-72013-1_29