Louis C. M. van Gool

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Structural Properties

Statistical Models

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formalising the Industrial Language SMMT in mCRL2. FMICS (2024)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
On the Preservation of Properties When Changing Communication Models. SOFSEM (2023)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
On the Preservation of Properties when Changing Communication Models. CoRR (2022)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formal verification of OIL component specifications using mCRL2. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
Formal Verification of OIL Component Specifications using mCRL2. FMICS (2020)
Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
Consistent specification of interface suites in UML. Softw. Syst. Model. 1 (2) (2002)
Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
A Specification Model for Interface Suites. UML (2001)