Olav Bunte

According to our database, Olav Bunte authored at least 6 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formalising and analysing SMMT models using the mCRL2 toolset.

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Int. J. Softw. Tools Technol. Transf., October, 2025

OIL: an industrial case study in language engineering with Spoofax.

Olav Bunte, Jasper Denkers, Louis C. M. van Gool, Jurgen J. Vinju, Eelco Visser, Tim A. C. Willemse, Andy Zaidman

Softw. Syst. Model., February, 2025

2024

Formalising the Industrial Language SMMT in mCRL2.

Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

On the Preservation of Properties When Changing Communication Models.

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Proceedings of the SOFSEM 2023: Theory and Practice of Computer Science, 2023

2020

Formal Verification of OIL Component Specifications using mCRL2.

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019