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

Publications

Publications in peer reviewed journals

  • Fedyukovich, Grigory and Rümmer, Philipp (2021) Competition Report: CHC-COMP-21.
    , 344 in: Hossein Hojjat and Bishoksan Kafle (eds.) Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., 91—108.
    https://dx.doi.org/10.4204/EPTCS.344.7
  • Esen, Zafer and Rümmer, Philipp (2021) A Theory of Heap for Constrained Horn Clauses (Extended Technical Report).
     CoRR, abs/2104.04224
  • Chen, Taolue, Flores-Lamas, Alejandro, Hague, Matthew, Han, Zhilei, Hu, Denghang, Kan, Shuanglong, Lin, Anthony Widjaja, Rümmer, Philipp and Wu, Zhilin (2021) Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
     CoRR, abs/2111.04298
  • Esen, Zafer and Rümmer, Philipp (2020) Abstract: Towards an SMT-LIB Theory of Heap.
    , 2854 in: François Bobot and Tjark Weber (eds.) Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020. CEUR-WS.org, 60.
  • Hong, Chih-Duo, Lin, Anthony W., Majumdar, Rupak and Rümmer, Philipp (2020) Probabilistic Bisimulation for Parameterized Systems (Technical Report).
     CoRR, abs/2011.02413
  • Rümmer, Philipp (2020) Competition Report: CHC-COMP-20.
    , 320 in: Laurent Fribourg and Matthias Heizmann (eds.) Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020., 197—219.
    https://dx.doi.org/10.4204/EPTCS.320.15
  • Alshnakat, Anoud, Gurov, Dilian, Lidström, Christian and Rümmer, Philipp (2020) Constraint-Based Contract Inference for Deductive Verification.
    , 12345 in: Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner Hähnle and Mattias Ulbrich (eds.) Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Springer, 149—176.
    https://dx.doi.org/10.1007/978-3-030-64354-6_6
  • (2020) Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual).
    , 2752 in: Pascal Fontaine and Konstantin Korovin and Ilias S. Kotsireas and Philipp Rümmer and Sophie Tourret (eds.) CEUR-WS.org
  • Hague, Matthew, Lin, Anthony Widjaja, Rümmer, Philipp and Wu, Zhilin (2020) Monadic Decomposition in Integer Linear Arithmetic (Technical Report).
     CoRR, abs/2004.12371
  • Lin, Anthony W. and Rümmer, Philipp (2020) Regular Model Checking Revisited (Technical Report).
     CoRR, abs/2005.00990
  • Chen, Taolue, Hague, Matthew, He, Jinlong, Hu, Denghang, Lin, Anthony Widjaja, Rümmer, Philipp and Wu, Zhilin (2020) A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
     CoRR, abs/2007.06913
  • Hol\'ık, Lukás, Janku, Petr, Lin, Anthony W., Rümmer, Philipp and Vojnar, Tomás (2020) String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report).
     CoRR, abs/2010.15975
  • Esen, Zafer and Rümmer, Philipp (2020) Reasoning in the Theory of Heap: Satisfiability and Interpolation.
    , 12561 in: Maribel Fernández (eds.) Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings. Springer, 173—191.
    https://dx.doi.org/10.1007/978-3-030-68446-4_9
  • Hague, Matthew, Lin, Anthony W., Rümmer, Philipp and Wu, Zhilin (2020) Monadic Decomposition in Integer Linear Arithmetic.
    , 12166 in: Nicolas Peltier and Viorica Sofronie-Stokkermans (eds.) Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I. Springer, 122—140.
    https://dx.doi.org/10.1007/978-3-030-51074-9_8
  • Chen, Taolue, Hague, Matthew, He, Jinlong, Hu, Denghang, Lin, Anthony Widjaja, Rümmer, Philipp and Wu, Zhilin (2020) A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
    , 12302 in: Dang Van Hung and Oleg Sokolsky (eds.) Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Springer, 325—342.
    https://dx.doi.org/10.1007/978-3-030-59152-6_18
  • Rümmer, Philipp (2020) Invited Talk: Solving String Constraints, Starting from the Beginning and from the End.
    , 2854 in: François Bobot and Tjark Weber (eds.) Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020. CEUR-WS.org, 1.
  • Hojjat, Hossein, Rümmer, Philipp and Shamakhi, Ali (2019) On Strings in Software Model Checking.
    , 11893 in: Anthony Widjaja Lin (eds.) Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Springer, 19—30.
    https://dx.doi.org/10.1007/978-3-030-34175-6_2
  • Fuhs, Carsten, Rümmer, Philipp, Schmidt, Renate A. and Tinelli, Cesare (2019) Deduction Beyond Satisfiability (Dagstuhl Seminar 19371).
     Dagstuhl Reports, 9 (9), 23—44.
    https://dx.doi.org/10.4230/DAGREP.9.9.23
  • Kahsai, Temesghen, Rümmer, Philipp and Schäf, Martin (2019) JayHorn: A Java Model Checker - (Competition Contribution).
    , 11429 in: Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Springer, 214—218.
    https://dx.doi.org/10.1007/978-3-030-17502-3_16
  • Rümmer, Philipp (2019) JayHorn: a Java model checker.
    in: Toby Murray and Gidon Ernst (eds.) Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019. ACM, 1:1.
    https://dx.doi.org/10.1145/3340672.3341113
  • Hong, Chih-Duo, Lin, Anthony W., Majumdar, Rupak and Rümmer, Philipp (2019) Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).
    , 11561 in: Isil Dillig and Serdar Tasiran (eds.) Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Springer, 455—474.
    https://dx.doi.org/10.1007/978-3-030-25540-4_27
  • Chen, Taolue, Hague, Matthew, Lin, Anthony W., Rümmer, Philipp and Wu, Zhilin (2019) Decision procedures for path feasibility of string-manipulating programs with complex operations.
     Proc. ACM Program. Lang., 3 (POPL), 49:1—49:30.
    https://dx.doi.org/10.1145/3290362
  • Weiss, Sophie, Schwarz, Justus Arne and Stolletz, Raik (2019). The buffer allocation problem in production lines: Formulations, solution methods, and instances.
     IISE Transactions, 51 (5) Taylor & Francis, 456-485.
    https://dx.doi.org/10.1080/24725854.2018.1442031
  • Klebanov, Vladimir, Rümmer, Philipp and Ulbrich, Mattias (2018) Automating regression verification of pointer programs by predicate abstraction.
     Formal Methods Syst. Des., 52 (3), 229—259.
    https://dx.doi.org/10.1007/S10703-017-0293-8
  • 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), 4:1—4:32.
    https://dx.doi.org/10.1145/3158092
Download as BibTeX
To top