The Blog of Bob Rubbens
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, and Philip Tasche. The vercors verifier: A progress report. In Arie Gurfinkel and Vijay Ganesh, editors, Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, volume 14682 of Lecture Notes in Computer Science, 3–18. Springer, 2024. doi:10.1007/978-3-031-65630-9_1.
Robert Rubbens, Petra van den Bos, and Marieke Huisman. Veymont: choreography-based generation of correct concurrent programs with shared memory. In Nikolai Kosmatov and Laura Kovács, editors, Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings, volume 15234 of Lecture Notes in Computer Science, 217–236. Springer, 2024. doi:10.1007/978-3-031-76554-4_12.
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, and Larisa Safina. Javabip meets vercors: towards the safety of concurrent software systems in java. In Leen Lambers and Sebastián Uchitel, editors, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, volume 13991 of Lecture Notes in Computer Science, 143–150. Springer, 2023. doi:10.1007/978-3-031-30826-0_8.
Raúl E. Monti, Robert Rubbens, and Marieke Huisman. On deductive verification of an industrial concurrent software component with vercors. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, volume 13701 of Lecture Notes in Computer Science, 517–534. Springer, 2022. doi:10.1007/978-3-031-19849-6_29.
Robert Rubbens, Sophie Lathouwers, and Marieke Huisman. Modular transformation of java exceptions modulo errors. In Alberto Lluch-Lafuente and Anastasia Mavridou, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, volume 12863 of Lecture Notes in Computer Science, 67–84. Springer, 2021. doi:10.1007/978-3-030-85248-1_5.
Tom van Dijk and Bob Rubbens. Simple fixpoint iteration to solve parity games. In Jérôme Leroux and Jean-François Raskin, editors, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019, volume 305 of EPTCS, 123–139. 2019. doi:10.4204/EPTCS.305.9.
Willem Siers, Michiel Bakker, Bob Rubbens, Ruben Haasjes, Jacco Brandt, and Stefano Schivo. Webanimo: improving the accessibility of ANIMO. F1000Research, 5:1714, 2016. doi:10.12688/F1000RESEARCH.9130.1.