Jore J. Booy

View Scopus Profile

Jore J. Booy, Msc

ir.

 https://orcid.org/0009-0006-2233-6607
20232025

Content available in repository

Fingerprint

Dive into the research topics where Jore J. Booy 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
  • 2 Conference contribution

  • A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier

    Beers, A., Booy, J., Groote, J. F. (Corresponding author), van den Bogaard, J. & Bouwman, M., 28 Aug 2025, Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, p. 225-240 16 p. (Lecture Notes in Computer Science (LNCS); vol. 16040 ).

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

    Open Access
    File
    11 Downloads (Pure)

  • Compositional ioco using model-based mocking

    Booy, J. J., Keiren, J. J. A. & van der Bijl, M., 2023, BENEVOL 2023 : Belgium-Netherlands Software Evolution Workshop 2023: Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop. Madeiral, F. & Rastogi, A. (eds.). CEUR-WS.org, p. 1-8 8 p. (CEUR Workshop Proceedings; vol. 3567).

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

    Open Access
    File
    40 Downloads (Pure)