Publications in peer reviewed journals
- Lin, Anthony W. and Rümmer, Philipp (2016). Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).
CoRR, abs/1606.01451 - Lin, Anthony W. and 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 and 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 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 - Schwarz, Justus Arne and Epp, Martin (2016). Performance evaluation of a transportation-type bulk queue with generally distributed inter-arrival times.
International Journal of Production Research, 54 (20) Taylor & Francis, 6251-6264.
https://dx.doi.org/10.1080/00207543.2015.1092613 - Schwarz, Justus A., Stoll née Matzka, Judith and Özden, Eda (2015). A general model for batch building processes under the timeout and capacity rules.
Annals of Operations Research, 231 (1) Springer, 5-31.
https://dx.doi.org/10.1007/s10479-013-1398-0 - Brain, Martin, Tinelli, Cesare, Rümmer, Philipp and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 - Schwarz, Justus Arne, Selinka, Gregor and Stolletz, Raik (2016-09). Performance analysis of time-dependent queueing systems: Survey and classification.
Omega, 63 Elsevier, 170-189.
https://dx.doi.org/10.1016/j.omega.2015.10.013 - Lin, Anthony W., Nguyen, Truong Khanh, Rümmer, Philipp and Sun, Jun (2015). Regular Symmetry Patterns (Technical Report).
CoRR, abs/1510.08506 - Backeman, Peter and 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. and 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 and 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 and 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 and 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 and 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