Publikationen
- 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 - Brain, Martin, Tinelli, Cesare, Rümmer, Philipp und Wahl, Thomas (2015). An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic.
22nd IEEE Symposium on Computer Arithmetic, ARITH 2015, Lyon, France, June 22-24, 2015. IEEE, 160—167.
https://dx.doi.org/10.1109/ARITH.2015.26 - Felsing, Dennis, Grebing, Sarah, Klebanov, Vladimir, Rümmer, Philipp und Ulbrich, Mattias (2015). Automating Regression Verification.
, P-239 in: Uwe A?mann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser (eds.) Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. M?rz - 20. M?rz 2015, Dresden, Germany. GI, 75—76. - McCarthy, Tim, Rümmer, Philipp und Sch?f, Martin (2015). Bixie: Finding and Understanding Inconsistent Code.
in: Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum (eds.) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Computer Society, 645—648.
https://dx.doi.org/10.1109/ICSE.2015.213 - Schwartz-Narbonne, Daniel, Sch?f, Martin, Jovanovic, Dejan, Rümmer, Philipp und Wies, Thomas (2015). Conflict-Directed Graph Coverage.
, 9058 in: Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi (eds.) NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer, 327—342.
https://dx.doi.org/10.1007/978-3-319-17524-9_23 - Backeman, Peter und Rümmer, Philipp (2015). Efficient Algorithms for Bounded Rigid E-unification.
, 9323 in: Hans de Nivelle (eds.) Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroc?aw, Poland, September 21-24, 2015. Proceedings. Springer, 70—85.
https://dx.doi.org/10.1007/978-3-319-24312-2_6 - Backeman, Peter und Rümmer, Philipp (2015). Free Variables and Theories: Revisiting Rigid E-unification.
, 9322 in: Carsten Lutz and Silvio Ranise (eds.) Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Springer, 3—13.
https://dx.doi.org/10.1007/978-3-319-24246-0_1 - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Hol\'?k, Lukás, Rezine, Ahmed, Rümmer, Philipp und Stenman, Jari (2015). Norn: An SMT Solver for String Constraints.
, 9206 in: Daniel Kroening and Corina S. Pasareanu (eds.) Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Springer, 462—469.
https://dx.doi.org/10.1007/978-3-319-21690-4_29 - Rümmer, Philipp, Hojjat, Hossein und Kuncak, Viktor (2015). On recursion-free Horn clauses and Craig interpolation.
Formal Methods Syst. Des., 47 (1), 1—25.
https://dx.doi.org/10.1007/S10703-014-0219-7 - Lin, Anthony W., Nguyen, Truong Khanh, Rümmer, Philipp und Sun, Jun (2015). Regular Symmetry Patterns (Technical Report).
CoRR, abs/1510.08506 - Backeman, Peter und Rümmer, Philipp (2015). Theorem Proving with Bounded Rigid E-Unification.
, 9195 in: Amy P. Felty and Aart Middeldorp (eds.) Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Springer, 572—587.
https://dx.doi.org/10.1007/978-3-319-21401-6_39 - Zeljic, Aleksandar, Wintersteiger, Christoph M. und Rümmer, Philipp (2014). Approximations for Model Construction.
, 8562 in: Stéphane Demri and Deepak Kapur and Christoph Weidenbach (eds.) Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Springer, 344—359.
https://dx.doi.org/10.1007/978-3-319-08587-6_26 - Felsing, Dennis, Grebing, Sarah, Klebanov, Vladimir, Rümmer, Philipp und Ulbrich, Mattias (2014). Automating regression verification.
in: Ivica Crnkovic and Marsha Chechik and Paul Grünbacher (eds.) ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. ACM, 349—360.
https://dx.doi.org/10.1145/2642937.2642987 - Hojjat, Hossein, Rümmer, Philipp, Subotic, Pavle und Yi, Wang (2014). Horn Clauses for Communicating Timed Systems.
, 169 in: Nikolaj S. Bj?rner and Fabio Fioravanti and Andrey Rybalchenko and Valerio Senni (eds.) Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., 39—52.
https://dx.doi.org/10.4204/EPTCS.169.6 - (2014). Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014.
, 1163 in: Philipp Rümmer and Christoph M. Wintersteiger (eds.) CEUR-WS.org - Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Hol\'?k, Lukás, Rezine, Ahmed, Rümmer, Philipp und Stenman, Jari (2014). String Constraints for Verification.
, 8559 in: Armin Biere and Roderick Bloem (eds.) Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Springer, 150—166.
https://dx.doi.org/10.1007/978-3-319-08867-9_10 - Arlt, Stephan, Rubio-González, Cindy, Rümmer, Philipp, Sch?f, Martin und Shankar, Natarajan (2014). The Gradual Verifier.
, 8430 in: Julia M. Badger and Kristin Yvonne Rozier (eds.) NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Springer, 313—327.
https://dx.doi.org/10.1007/978-3-319-06200-6_27 - Arlt, Stephan, Rümmer, Philipp und Sch?f, Martin (2013). A Theory for Control-Flow Graph Exploration.
, 8172 in: Dang Van Hung and Mizuhito Ogawa (eds.) Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Springer, 506—515.
https://dx.doi.org/10.1007/978-3-319-02444-8_44 - Rümmer, Philipp, Hojjat, Hossein und Kuncak, Viktor (2013). Classifying and Solving Horn Clauses for Verification.
, 8164 in: Ernie Cohen and Andrey Rybalchenko (eds.) Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. Springer, 1—21.
https://dx.doi.org/10.1007/978-3-642-54108-7_1 - Rümmer, Philipp, Hojjat, Hossein und Kuncak, Viktor (2013). Disjunctive Interpolants for Horn-Clause Verification.
, 8044 in: Natasha Sharygina and Helmut Veith (eds.) Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Springer, 347—363.
https://dx.doi.org/10.1007/978-3-642-39799-8_24 - Rümmer, Philipp, Hojjat, Hossein und Kuncak, Viktor (2013). Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report).
CoRR, abs/1301.4973 - Rümmer, Philipp und Subotic, Pavle (2013). Exploring interpolants.
Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013. IEEE, 69—76. - Arlt, Stephan, Rümmer, Philipp und Sch?f, Martin (2013). Joogie: from Java through Jimple to Boogie.
in: Patrick Lam and Elena Sherman (eds.) Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013. ACM, 3—8.
https://dx.doi.org/10.1145/2487568.2487570 - Cook, Byron, Kroening, Daniel, Rümmer, Philipp und Wintersteiger, Christoph M. (2013). Ranking function synthesis for bit-vector relations.
Formal Methods Syst. Des., 43 (1), 93—120.
https://dx.doi.org/10.1007/S10703-013-0186-4 - Rümmer, Philipp, Hojjat, Hossein und Kuncak, Viktor (2013). The Relationship between Craig Interpolation and Recursion-Free Horn Clauses.
CoRR, abs/1302.4187