Bob Rubbens

Bob Rubbens

20212022

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
  • 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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    1 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 proceedingChapterAcademicpeer-review

    Open Access
    File
    9 Downloads (Pure)