Publications in peer reviewed journals
- Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. and 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 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Hol\'ık, Lukás, Rezine, Ahmed and Rümmer, Philipp (2018) Trau: SMT solver for string constraints.
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—5.
https://dx.doi.org/10.23919/FMCAD.2018.8602997 - Backeman, Peter, Rümmer, Philipp and 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 and 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 - (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 - Hojjat, Hossein and 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 and Wu, Zhilin (2018) Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations.
CoRR, abs/1811.03167 - (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 - Griggio, Alberto and Rümmer, Philipp (2017) Preface to special issue on satisfiability modulo theories.
Formal Methods Syst. Des., 51 (3), 431—432.
https://dx.doi.org/10.1007/S10703-017-0308-5 - Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. and Rümmer, Philipp (2017) Exploring Approximations for Floating-Point Arithmetic using UppSAT.
CoRR, abs/1711.08859 - Lengál, Ondrej, Lin, Anthony W., Majumdar, Rupak and Rümmer, Philipp (2017) Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, abs/1710.10756 - Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W. and Rümmer, Philipp (2017) Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR, abs/1709.07139 - Lengál, Ondrej, Lin, Anthony Widjaja, Majumdar, Rupak and Rümmer, Philipp (2017) Fair Termination for Parameterized Probabilistic Concurrent Systems.
, 10205 in: Axel Legay and Tiziana Margaria (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I., 499—517.
https://dx.doi.org/10.1007/978-3-662-54577-5_29 - Hojjat, Hossein and Rümmer, Philipp (2017) Deciding and Interpolating Algebraic Data Types by Reduction.
in: Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela Zaharie and Tetsuo Ida and Stephen M. Watt (eds.) 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017. IEEE Computer Society, 145—152.
https://dx.doi.org/10.1109/SYNASC.2017.00033 - Demyanova, Yulia, Rümmer, Philipp and Zuleger, Florian (2017) Systematic Predicate Abstraction Using Variable Roles.
, 10227 in: Clark W. Barrett and Misty D. Davies and Temesghen Kahsai (eds.) NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings., 265—281.
https://dx.doi.org/10.1007/978-3-319-57288-8_18 - Zeljic, Aleksandar, Wintersteiger, Christoph M. and Rümmer, Philipp (2017) An Approximation Framework for Solvers and Decision Procedures.
J. Autom. Reason., 58 (1), 127—147.
https://dx.doi.org/10.1007/S10817-016-9393-1 - Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W. and Rümmer, Philipp (2017) Learning to prove safety over parameterised concurrent systems.
in: Daryl Stewart and Georg Weissenbacher (eds.) 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. IEEE, 76—83.
https://dx.doi.org/10.23919/FMCAD.2017.8102244 - Kahsai, Temesghen, Kersten, Rody, Rümmer, Philipp and Schäf, Martin (2017) Quantified Heap Invariants for Object-Oriented Programs.
, 46 in: Thomas Eiter and David Sands (eds.) LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EasyChair, 368—384.
https://dx.doi.org/10.29007/ZRCT - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Hol\'ık, Lukás, Rezine, Ahmed and Rümmer, Philipp (2017) Flatten and conquer: a framework for efficient analysis of string constraints.
in: Albert Cohen and Martin T. Vechev (eds.) Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. ACM, 602—617.
https://dx.doi.org/10.1145/3062341.3062384 - Bjørner, Nikolaj S., Jovanovic, Dejan, Lepoint, Tancrède, Rümmer, Philipp and Schäf, Martin (2017) Abduction by Non-Experts.
, 1 in: Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov (eds.) IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. EasyChair, 58—72.
https://dx.doi.org/10.29007/PZ3T - Rümmer, Philipp and Yi, Wang (2016) Characterization of Simulation by Probabilistic Testing.
, 9660 in: Erika Ábrahám and Marcello M. Bonsangue and Einar Broch Johnsen (eds.) Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, 360—372.
https://dx.doi.org/10.1007/978-3-319-30734-3_24 - Lin, Anthony W. and Rümmer, Philipp (2016) Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).
CoRR, abs/1606.01451 - (2016) Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.
, 219 in: John P. Gallagher and Philipp Rümmer (eds.)
https://dx.doi.org/10.4204/EPTCS.219 - Rümmer, Philipp and Ulbrich, Mattias (2016) Proof Search with Taclets.
, 10001 in: Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner Hähnle and Peter H. Schmitt and Mattias Ulbrich (eds.) Deductive Software Verification - The KeY Book - From Theory to Practice. Springer, 107—147.
https://dx.doi.org/10.1007/978-3-319-49812-6_4 - Lin, Anthony W., Nguyen, Truong Khanh, Rümmer, Philipp and Sun, Jun (2016) Regular Symmetry Patterns.
, 9583 in: Barbara Jobstmann and K. Rustan M. Leino (eds.) Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. Springer, 455—475.
https://dx.doi.org/10.1007/978-3-662-49122-5_22