1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2025
Mining Diamonds in labeled Transition Systems
P. H. M. van Spaendonck, K. H. J. Jilissen
Labeled transition systems can be a great way to visualize the complex behavior of parallel and communicating systems. However, if, during a particular timeframe, no synchronizatio…
cs.LO2024★ 1 cited
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
Rijkswaterstaat, the National Dutch body responsible for infrastructure, recognised the importance of formal modelling and set up a program to model the control of road tunnels. Th…