Skip to main content
University of Regensburg
DE: diese Seite auf deutsch

Prof. Dr. Philipp Rümmer

Prof. Dr. Philipp Rümmer

Head of Chair

Further info of Prof. Dr. Philipp Rümmer

More information about Philipp Rümmer can be found on his personal website (external link, opens in a new window).

Publications

  • 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
  • Hojjat, Hossein and Rümmer, Philipp (2018) The ELDARICA Horn Solver.
    , P. 1—7.
    https://dx.doi.org/10.23919/FMCAD.2018.8603013
  • 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
  •  (2018) Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers.
    : 11294, ISBN 978-3-030-03591-4.
    https://dx.doi.org/10.1007/978-3-030-03592-1
  • 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
  • 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
  • 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
  • Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. and Rümmer, Philipp (2017) Exploring Approximations for Floating-Point Arithmetic using UppSAT.
     CoRR: abs/1711.08859
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Leroux, Jérôme, Rümmer, Philipp and Subotic, Pavle (2016) Guiding Craig interpolation with domain-specific abstractions.
     Acta Informatica: 53 (4), P. 387—424.
    https://dx.doi.org/10.1007/S00236-015-0236-Z
  • 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 (Technical Report).
     CoRR: abs/1606.01451
  • 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
  • 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
  •  (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
To top