Direkt zum Inhalt
Universit?t Regensburg
EN: this page in English

Prof. Philipp Rümmer

Prof. Dr. Philipp Rümmer

Lehrstuhlinhaber

Weitere Infos von Prof. Dr. Philipp Rümmer

Mehr Informationen zu Philipp Rümmer finden sich auf seiner pers?nlichen Website (externer Link, ?ffnet neues Fenster).

Publikationen

  • Hol\'?k, Lukás, Janku, Petr, Lin, Anthony W., Rümmer, Philipp und Vojnar, Tomás (2018) String constraints with concatenation and transducers solved efficiently.
     Proc. ACM Program. Lang.: 2 (POPL), S. 4:1—4:32.
    https://dx.doi.org/10.1145/3158092
  • Hojjat, Hossein und Rümmer, Philipp (2018) The ELDARICA Horn Solver.
    , S. 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 und Rümmer, Philipp (2018) Trau: SMT solver for string constraints.
    , S. 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 und Sch?f, Martin (2017) Abduction by Non-Experts.
    : 1, S. 58—72.
    https://dx.doi.org/10.29007/PZ3T
  • Zeljic, Aleksandar, Wintersteiger, Christoph M. und Rümmer, Philipp (2017) An Approximation Framework for Solvers and Decision Procedures.
     J. Autom. Reason.: 58 (1), S. 127—147.
    https://dx.doi.org/10.1007/S10817-016-9393-1
  • Hojjat, Hossein und Rümmer, Philipp (2017) Deciding and Interpolating Algebraic Data Types by Reduction.
    , S. 145—152.
    https://dx.doi.org/10.1109/SYNASC.2017.00033
  • Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. und Rümmer, Philipp (2017) Exploring Approximations for Floating-Point Arithmetic using UppSAT.
     CoRR: abs/1711.08859
  • Lengál, Ondrej, Lin, Anthony W., Majumdar, Rupak und 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 und Rümmer, Philipp (2017) Fair Termination for Parameterized Probabilistic Concurrent Systems.
    : 10205, S. 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 und Rümmer, Philipp (2017) Flatten and conquer: a framework for efficient analysis of string constraints.
    , S. 602—617.
    https://dx.doi.org/10.1145/3062341.3062384
  • Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W. und Rümmer, Philipp (2017) Learning to prove safety over parameterised concurrent systems.
    , S. 76—83.
    https://dx.doi.org/10.23919/FMCAD.2017.8102244
  • Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W. und Rümmer, Philipp (2017) Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
     CoRR: abs/1709.07139
  • Griggio, Alberto und Rümmer, Philipp (2017) Preface to special issue on satisfiability modulo theories.
     Formal Methods Syst. Des.: 51 (3), S. 431—432.
    https://dx.doi.org/10.1007/S10703-017-0308-5
  • Kahsai, Temesghen, Kersten, Rody, Rümmer, Philipp und Sch?f, Martin (2017) Quantified Heap Invariants for Object-Oriented Programs.
    : 46, S. 368—384.
    https://dx.doi.org/10.29007/ZRCT
  • Demyanova, Yulia, Rümmer, Philipp und Zuleger, Florian (2017) Systematic Predicate Abstraction Using Variable Roles.
    : 10227, S. 265—281.
    https://dx.doi.org/10.1007/978-3-319-57288-8_18
  • Rümmer, Philipp und Yi, Wang (2016) Characterization of Simulation by Probabilistic Testing.
    : 9660, S. 360—372.
    https://dx.doi.org/10.1007/978-3-319-30734-3_24
  • Zeljic, Aleksandar, Wintersteiger, Christoph M. und Rümmer, Philipp (2016) Deciding Bit-Vector Formulas with mcSAT.
    : 9710, S. 249—266.
    https://dx.doi.org/10.1007/978-3-319-40970-2_16
  • Leroux, Jér?me, Rümmer, Philipp und Subotic, Pavle (2016) Guiding Craig interpolation with domain-specific abstractions.
     Acta Informatica: 53 (4), S. 387—424.
    https://dx.doi.org/10.1007/S00236-015-0236-Z
  • Kahsai, Temesghen, Rümmer, Philipp, Sanchez, Huascar und Sch?f, Martin (2016) JayHorn: A Framework for Verifying Java programs.
    : 9779, S. 352—358.
    https://dx.doi.org/10.1007/978-3-319-41528-4_19
  • Lin, Anthony W. und Rümmer, Philipp (2016) Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).
     CoRR: abs/1606.01451
  • Lin, Anthony W. und Rümmer, Philipp (2016) Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.
    : 9780, S. 112—133.
    https://dx.doi.org/10.1007/978-3-319-41540-6_7
  • Hojjat, Hossein, Rümmer, Philipp, McClurg, Jedidiah, Cern?, Pavol und Foster, Nate (2016) Optimizing horn solvers for network repair.
    , S. 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 und Ulbrich, Mattias (2016) Proof Search with Taclets.
    : 10001, S. 107—147.
    https://dx.doi.org/10.1007/978-3-319-49812-6_4
nach oben