Publications

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho (2022). strategFTO: Untimed control for timed opacity. FTSCS'22.

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

Poster Slides DOI ACM PDF (author version)

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol (2022). Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022.

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