Ivo Melse

According to our database, Ivo Melse authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

New Fault Domains for Conformance Testing of Finite State Machines.

Frits W. Vaandrager, Ivo Melse

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Completeness of FSM Test Suites Reconsidered.

Frits W. Vaandrager, Paul Fiterau-Brostean, Ivo Melse

CoRR, 2024