Publikationen
- 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - Zeljic, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M. und Rümmer, Philipp (2017) Exploring Approximations for Floating-Point Arithmetic using UppSAT.
CoRR, abs/1711.08859 - 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 - 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 - Lin, Anthony W. und 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 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 - Lin, Anthony W., Nguyen, Truong Khanh, Rümmer, Philipp und 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 - 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 - 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.
, 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 - 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