Olav Bunte

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Formal Verification

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)
Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)