Login / Signup
Kevin H. J. Jilissen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Model Checking
Industrial Environment
Conceptual Modelling
Formal Analysis
Top Venues
SAC
MARS@ETAPS
A Journey from Process Algebra via Timed Automata to Model Learning
</>
Publications
</>
Kevin H. J. Jilissen
,
Peter Dieleman
,
Jan Friso Groote
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment.
MARS@ETAPS
(2024)
Kevin H. J. Jilissen
,
Peter Dieleman
,
Jan Friso Groote
A formal analysis of Dutch Generic Integral Tunnel Design models.
SAC
(2023)
Jan Friso Groote
,
Kevin H. J. Jilissen
,
Maurice Laveaux
,
P. H. M. van Spaendonck
,
Tim A. C. Willemse
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.
A Journey from Process Algebra via Timed Automata to Model Learning
(2022)