C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kevin H. J. Jilissen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Metamodel
Pspace Complete
Formal Analysis
Model Checking
Top Venues
SAC
A Journey from Process Algebra via Timed Automata to Model Learning
</>
Publications
</>
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)