Publications in peer reviewed journals
- 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 - 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 - (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 - 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 - 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 - 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 - (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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - Göttlich, S., Kühn, S., Schwarz, J. A. and Stolletz, R. (2016). Approximations of time-dependent unreliable flow lines with finite buffers.
Mathematical Methods of Operations Research, 83 (3) Springer, 295-323.
https://dx.doi.org/10.1007/s00186-015-0529-6 - 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 - Zeljic, Aleksandar, Wintersteiger, Christoph M. and Rümmer, Philipp (2016). Deciding Bit-Vector Formulas with mcSAT.
, 9710 in: Nadia Creignou and Daniel Le Berre (eds.) Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Springer, 249—266.
https://dx.doi.org/10.1007/978-3-319-40970-2_16 - Leroux, Jérôme, Rümmer, Philipp and Subotic, Pavle (2016). Guiding Craig interpolation with domain-specific abstractions.
Acta Informatica, 53 (4), 387—424.
https://dx.doi.org/10.1007/S00236-015-0236-Z - Kahsai, Temesghen, Rümmer, Philipp, Sanchez, Huascar and Schäf, Martin (2016). JayHorn: A Framework for Verifying Java programs.
, 9779 in: Swarat Chaudhuri and Azadeh Farzan (eds.) Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Springer, 352—358.
https://dx.doi.org/10.1007/978-3-319-41528-4_19