Prof. Dr. Philipp Rümmer
Head of Chair
- E-mail address: philipp.ruemmer(at)ur.de (opens your email program)
- Tel: +49 941 943 - 68612 (starts a telephone call, if your device allows this)
- Location: Bajuwarenstr. 4, BA 602
- Theoretical Computer Science Group
More information about Philipp Rümmer can be found on his personal website (external link, opens in a new window).
Publications
- Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Hol\'ık, Lukás, Rezine, Ahmed and Rümmer, Philipp (2018) Trau: SMT solver for string constraints.
, P. 1—5.
https://dx.doi.org/10.23919/FMCAD.2018.8602997 - Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. and Rümmer, Philipp (2018) Exploring Approximations for Floating-Point Arithmetic Using UppSAT.
: 10900, P. 246—262.
https://dx.doi.org/10.1007/978-3-319-94205-6_17 - Hol\'ık, Lukás, Janku, Petr, Lin, Anthony W., Rümmer, Philipp and Vojnar, Tomás (2018) String constraints with concatenation and transducers solved efficiently.
Proc. ACM Program. Lang.: 2 (POPL), P. 4:1—4:32.
https://dx.doi.org/10.1145/3158092 - Klebanov, Vladimir, Rümmer, Philipp and Ulbrich, Mattias (2018) Automating regression verification of pointer programs by predicate abstraction.
Formal Methods Syst. Des.: 52 (3), P. 229—259.
https://dx.doi.org/10.1007/S10703-017-0293-8 - Griggio, Alberto and Rümmer, Philipp (2017) Preface to special issue on satisfiability modulo theories.
Formal Methods Syst. Des.: 51 (3), P. 431—432.
https://dx.doi.org/10.1007/S10703-017-0308-5 - Zeljic, Aleksandar, Wintersteiger, Christoph M. and Rümmer, Philipp (2017) An Approximation Framework for Solvers and Decision Procedures.
J. Autom. Reason.: 58 (1), P. 127—147.
https://dx.doi.org/10.1007/S10817-016-9393-1 - Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W. and Rümmer, Philipp (2017) Learning to prove safety over parameterised concurrent systems.
, P. 76—83.
https://dx.doi.org/10.23919/FMCAD.2017.8102244 - Bjørner, Nikolaj S., Jovanovic, Dejan, Lepoint, Tancrède, Rümmer, Philipp and Schäf, Martin (2017) Abduction by Non-Experts.
: 1, P. 58—72.
https://dx.doi.org/10.29007/PZ3T - Kahsai, Temesghen, Kersten, Rody, Rümmer, Philipp and Schäf, Martin (2017) Quantified Heap Invariants for Object-Oriented Programs.
: 46, P. 368—384.
https://dx.doi.org/10.29007/ZRCT - Demyanova, Yulia, Rümmer, Philipp and Zuleger, Florian (2017) Systematic Predicate Abstraction Using Variable Roles.
: 10227, P. 265—281.
https://dx.doi.org/10.1007/978-3-319-57288-8_18 - Hojjat, Hossein and Rümmer, Philipp (2017) Deciding and Interpolating Algebraic Data Types by Reduction.
, P. 145—152.
https://dx.doi.org/10.1109/SYNASC.2017.00033 - Lengál, Ondrej, Lin, Anthony Widjaja, Majumdar, Rupak and Rümmer, Philipp (2017) Fair Termination for Parameterized Probabilistic Concurrent Systems.
: 10205, P. 499—517.
https://dx.doi.org/10.1007/978-3-662-54577-5_29 - Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W. and Rümmer, Philipp (2017) Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR: abs/1709.07139 - Lengál, Ondrej, Lin, Anthony W., Majumdar, Rupak and Rümmer, Philipp (2017) Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR: abs/1710.10756 - Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. and Rümmer, Philipp (2017) Exploring Approximations for Floating-Point Arithmetic using UppSAT.
CoRR: abs/1711.08859 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Hol\'ık, Lukás, Rezine, Ahmed and Rümmer, Philipp (2017) Flatten and conquer: a framework for efficient analysis of string constraints.
, P. 602—617.
https://dx.doi.org/10.1145/3062341.3062384 - Zeljic, Aleksandar, Wintersteiger, Christoph M. and Rümmer, Philipp (2016) Deciding Bit-Vector Formulas with mcSAT.
: 9710, P. 249—266.
https://dx.doi.org/10.1007/978-3-319-40970-2_16 - Lin, Anthony W. and Rümmer, Philipp (2016) Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).
CoRR: abs/1606.01451 - (2016) Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.
: 219
https://dx.doi.org/10.4204/EPTCS.219 - Rümmer, Philipp and Ulbrich, Mattias (2016) Proof Search with Taclets.
: 10001, P. 107—147.
https://dx.doi.org/10.1007/978-3-319-49812-6_4 - Lin, Anthony W., Nguyen, Truong Khanh, Rümmer, Philipp and Sun, Jun (2016) Regular Symmetry Patterns.
: 9583, P. 455—475.
https://dx.doi.org/10.1007/978-3-662-49122-5_22 - Hojjat, Hossein, Rümmer, Philipp, McClurg, Jedidiah, Cerný, Pavol and Foster, Nate (2016) Optimizing horn solvers for network repair.
, P. 73—80.
https://dx.doi.org/10.1109/FMCAD.2016.7886663 - Kahsai, Temesghen, Rümmer, Philipp, Sanchez, Huascar and Schäf, Martin (2016) JayHorn: A Framework for Verifying Java programs.
: 9779, P. 352—358.
https://dx.doi.org/10.1007/978-3-319-41528-4_19 - Lin, Anthony W. and Rümmer, Philipp (2016) Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.
: 9780, P. 112—133.
https://dx.doi.org/10.1007/978-3-319-41540-6_7 - Rümmer, Philipp and Yi, Wang (2016) Characterization of Simulation by Probabilistic Testing.
: 9660, P. 360—372.
https://dx.doi.org/10.1007/978-3-319-30734-3_24