Bob Rubbens

Bob Rubbens

 https://orcid.org/0000-0002-5638-5945
Calculated based on number of publications stored in Pure and citations from Scopus
20212024

Research activity per year

Fingerprint

Dive into the research topics where Bob Rubbens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Chapter
  • 1 Conference contribution

  • The VerCors Verifier: A Progress Report

    Armborst, L., Bos, P., van den Haak, L. B., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification. Gurfinkel, A. & Ganesh, V. (eds.). Springer, Vol. 2. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

    Bliudze, S., Bos, P. V. D., Huisman, M., Rubbens, R. & Safina, L., 20 Apr 2023, 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. Lambers, L. & Uchitel, S. (eds.). p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    45 Downloads (Pure)

  • On Deductive Verification of an Industrial Concurrent Software Component with VerCors

    Monti, R. E., Rubbens, R. & Huisman, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). p. 517-534 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    63 Downloads (Pure)

  • Modular Transformation of Java Exceptions Modulo Errors

    Rubbens, R., Lathouwers, S. & Huisman, M., 19 Aug 2021, Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer, p. 67-84 18 p. (Lecture notes in computer science; vol. 12863).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    70 Downloads (Pure)