Olav Bunte

According to our database, Olav Bunte authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

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

2022

Formal verification of OIL component specifications using mCRL2.

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

Int. J. Softw. Tools Technol. Transf., 2022

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