Publikationen
- Hol\'ık, Lukás, Janku, Petr, Lin, Anthony W., Rümmer, Philipp und 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 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 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Hol\'ık, Lukás, Rezine, Ahmed und 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 und 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. und 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 und 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. und Rümmer, Philipp (2017). Exploring Approximations for Floating-Point Arithmetic using UppSAT.
CoRR, abs/1711.08859 - Lengál, Ondrej, Lin, Anthony W., Majumdar, Rupak und 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 und 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 und 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. und 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. und Rümmer, Philipp (2017). Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).
CoRR, abs/1709.07139 - Griggio, Alberto und 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 und 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 und 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 - Rümmer, Philipp und 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. und 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 und 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 und 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 - Lin, Anthony W. und Rümmer, Philipp (2016). Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).
CoRR, abs/1606.01451 - Lin, Anthony W. und Rümmer, Philipp (2016). Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.
, 9780 in: Swarat Chaudhuri and Azadeh Farzan (eds.) Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Springer, 112—133.
https://dx.doi.org/10.1007/978-3-319-41540-6_7 - Hojjat, Hossein, Rümmer, Philipp, McClurg, Jedidiah, Cerný, Pavol und Foster, Nate (2016). Optimizing horn solvers for network repair.
in: Ruzica Piskac and Muralidhar Talupur (eds.) 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. IEEE, 73—80.
https://dx.doi.org/10.1109/FMCAD.2016.7886663 - (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 und 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