Chen, Taolue, Hague, Matthew, He, Jinlong, Hu, Denghang, Lin, Anthony Widjaja, Rümmer, Philipp und 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
Hong, Chih-Duo, Lin, Anthony W., Majumdar, Rupak und Rümmer, Philipp
(2020)
Probabilistic Bisimulation for Parameterized Systems (Technical Report).
CoRR, abs/2011.02413
Hol\'ık, Lukás, Janku, Petr, Lin, Anthony W., Rümmer, Philipp und Vojnar, Tomás
(2020)
String Constraints with Concatenation and Transducers Solved Efficiently
(Technical Report).
CoRR, abs/2010.15975
Chen, Taolue, Hague, Matthew, He, Jinlong, Hu, Denghang, Lin, Anthony Widjaja, Rümmer, Philipp und Wu, Zhilin
(2020)
A Decision Procedure for Path Feasibility of String Manipulating Programs
with Integer Data Type.
CoRR, abs/2007.06913
Lin, Anthony W. und Rümmer, Philipp
(2020)
Regular Model Checking Revisited (Technical Report).
CoRR, abs/2005.00990
Hague, Matthew, Lin, Anthony Widjaja, Rümmer, Philipp und Wu, Zhilin
(2020)
Monadic Decomposition in Integer Linear Arithmetic (Technical Report).
CoRR, abs/2004.12371
(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
Alshnakat, Anoud, Gurov, Dilian, Lidström, Christian und 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
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
Esen, Zafer und 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.
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.
Esen, Zafer und 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 und 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
Fuhs, Carsten, Rümmer, Philipp, Schmidt, Renate A. und 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 und 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
Hong, Chih-Duo, Lin, Anthony W., Majumdar, Rupak und 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
Hojjat, Hossein, Rümmer, Philipp und 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
Chen, Taolue, Hague, Matthew, Lin, Anthony W., Rümmer, Philipp und 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
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
(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 in: Boris Konev and
Josef Urban and
Philipp Rümmer (eds.) CEUR-WS.org
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
Hojjat, Hossein und Rümmer, Philipp
(2018)
Deciding and Interpolating Algebraic Data Types by Reduction (Technical
Report).
CoRR, abs/1801.02367
(2018)
Verified Software. Theories, Tools, and Experiments - 10th International
Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers., 11294 in: Ruzica Piskac and
Philipp Rümmer (eds.) Springer, ISBN 978-3-030-03591-4.
https://dx.doi.org/10.1007/978-3-030-03592-1
Hojjat, Hossein und Rümmer, Philipp
(2018)
The ELDARICA Horn Solver. in: Nikolaj S. Bjørner and
Arie Gurfinkel (eds.) 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin,
TX, USA, October 30 - November 2, 2018. IEEE, 1—7.
https://dx.doi.org/10.23919/FMCAD.2018.8603013
Backeman, Peter, Rümmer, Philipp und Zeljic, Aleksandar
(2018)
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. in: Nikolaj S. Bjørner and
Arie Gurfinkel (eds.) 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin,
TX, USA, October 30 - November 2, 2018. IEEE, 1—10.
https://dx.doi.org/10.23919/FMCAD.2018.8603023
