Publications

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

Poster Diapositives

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

Projet DOI Springer HAL PDF (author version) Data Webpage

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

PDF Diapositives HAL