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

  •   (2018)  Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.
    : 2162
  •   (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
  • Hojjat, Hossein und Rümmer, Philipp  (2018)  Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report).
     CoRR: abs/1801.02367
  • Chen, Taolue, Hague, Matthew, Lin, Anthony W., Rümmer, Philipp und Wu, Zhilin  (2018)  Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations.
     CoRR: abs/1811.03167
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. und Rümmer, Philipp  (2017)  Exploring Approximations for Floating-Point Arithmetic using UppSAT.
     CoRR: abs/1711.08859
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Lin, Anthony W., Nguyen, Truong Khanh, Rümmer, Philipp und Sun, Jun  (2016)  Regular Symmetry Patterns.
    : 9583, S. 455—475.
    https://dx.doi.org/10.1007/978-3-662-49122-5_22
  • 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
  •   (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
nach oben