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 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
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). 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 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). 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.
(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 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 Hague, Matthew, Lin, Anthony Widjaja, Rümmer, Philipp und Wu, Zhilin (2020). Monadic Decomposition in Integer Linear Arithmetic (Technical Report).
CoRR, abs/2004.12371
Hong, Chih-Duo, Lin, Anthony W., Majumdar, Rupak und Rümmer, Philipp (2020). Probabilistic Bisimulation for Parameterized Systems (Technical Report).
CoRR, abs/2011.02413
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 Lin, Anthony W. und Rümmer, Philipp (2020). Regular Model Checking Revisited (Technical Report).
CoRR, abs/2005.00990
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, 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 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 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 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 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 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 Klebanov, Vladimir, Rümmer, Philipp und 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 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 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
Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. und Rümmer, Philipp (2018). Exploring Approximations for Floating-Point Arithmetic Using UppSAT., 10900 in: Didier Galmiche and Stephan Schulz and Roberto Sebastiani (eds.) Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Springer, 246—262. https://dx.doi.org/10.1007/978-3-319-94205-6_17 (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
