Kevin H. J. Jilissen

According to our database, Kevin H. J. Jilissen authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment.

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

2023

A formal analysis of Dutch Generic Integral Tunnel Design models.

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2022

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.

Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022