Dylan Marinho
Dylan Marinho
Home
Research
Publications
Teaching
Education
Responsibilities
Contact
Light
Dark
Automatic
English
Français
Publications
Type
Conference paper
Journal article
Report
Date
2022
2021
2018
Étienne André
,
Didier Lime
,
Dylan Marinho
,
Sun Jun
(2022).
Guaranteeing timed opacity using parametric timed model checking
. TOSEM.
Poster
Slides
Étienne André
,
Dylan Marinho
,
Jaco van de Pol
(2021).
A Benchmarks Library for Extended Timed Automata
. TAP’21.
Cite
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
.
PDF
Cite
Slides
HAL
Cite
×