Publications

Étienne André, Didier Lime, Dylan Marinho, Sun Jun (2022). Guaranteeing timed opacity using parametric timed model checking. TOSEM.

Étienne André, Dylan Marinho, Jaco van de Pol (2021). A Benchmarks Library for Extended Timed Automata. TAP’21.

Project DOI Springer HAL PDF (author version) Data Webpage

Dylan Marinho (2018). Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification.