[1]
R.
Rubbens, P. Van den Bos, and M. Huisman, “Parameterized verified
choreographies,” in COORDINATION 2025, 2025.
[2]
L.
Armborst
et al.,
“The VerCors verifier: A
progress report,” in
Computer aided verification - 36th
international conference, CAV 2024, montreal, QC, canada,
july 24-27, 2024, proceedings, part II, A. Gurfinkel
and V. Ganesh, Eds., in Lecture notes in computer science, vol. 14682.
Springer, 2024, pp. 3–18. doi:
10.1007/978-3-031-65630-9_1.
[3]
R.
Rubbens, P. van den Bos, and M. Huisman,
“VeyMont:
Choreography-based generation of correct concurrent programs with shared
memory,” in
Integrated formal methods - 19th international
conference, IFM 2024, manchester, UK, november 13-15, 2024,
proceedings, N. Kosmatov and L. Kovács, Eds., in Lecture notes in
computer science, vol. 15234. Springer, 2024, pp. 217–236. doi:
10.1007/978-3-031-76554-4_12.
[4]
S.
Bliudze, P. van den Bos, M. Huisman, R. Rubbens, and L. Safina,
“JavaBIP meets VerCors: Towards the safety of concurrent software
systems in java,” in
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, L. Lambers and S. Uchitel, Eds., in Lecture notes in
computer science, vol. 13991. Springer, 2023, pp. 143–150. doi:
10.1007/978-3-031-30826-0_8.
[5]
R.
E. Monti, R. Rubbens, and M. Huisman,
“On deductive verification
of an industrial concurrent software component with VerCors,” in
Leveraging applications of formal methods, verification and
validation. Verification principles - 11th international symposium,
ISoLA 2022, rhodes, greece, october 22-30, 2022, proceedings, part
I, T. Margaria and B. Steffen, Eds., in Lecture notes
in computer science, vol. 13701. Springer, 2022, pp. 517–534. doi:
10.1007/978-3-031-19849-6_29.
[6]
R.
Rubbens, S. Lathouwers, and M. Huisman,
“Modular transformation of
java exceptions modulo errors,” in
Formal methods for
industrial critical systems - 26th international conference,
FMICS 2021, paris, france, august 24-26, 2021,
proceedings, A. Lluch-Lafuente and A. Mavridou, Eds., in Lecture
notes in computer science, vol. 12863. Springer, 2021, pp. 67–84. doi:
10.1007/978-3-030-85248-1_5.
[7]
T.
van Dijk and B. Rubbens,
“Simple fixpoint iteration to solve
parity games,” in
Proceedings tenth international symposium
on games, automata, logics, and formal verification, GandALF 2019,
bordeaux, france, 2-3rd september 2019, J. Leroux and J.-F. Raskin,
Eds., in
EPTCS, vol. 305. 2019, pp. 123–139. doi:
10.4204/EPTCS.305.9.
[8]
W.
Siers, M. Bakker, B. Rubbens, R. Haasjes, J. Brandt, and S. Schivo,
“webANIMO: Improving the accessibility of
ANIMO,” F1000Research, vol. 5, p. 1714,
2016, doi:
10.12688/F1000RESEARCH.9130.1.
