Olav Bunte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMICS | Formalising the Industrial Language SMMT in mCRL2. | Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2023 | SOFSEM | On the Preservation of Properties When Changing Communication Models. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2020 | FMICS | Formal Verification of OIL Component Specifications using mCRL2. | Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse |
| 2019 | TACAS | 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 |