Publications

É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.