Dylan Marinho -

Registered user since Fri 5 Jan 2024

Name:Dylan Marinho

Country:France

Affiliation:SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris

Personal website: https://dylan-marinho.gitlab.io/

Contributions

2025

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2024

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2022

FTSCS

Author of strategFTO: Untimed Control for Timed Opacity within the Formal Techniques for Safety-Critical Systems-track