Dylan Marinho -

Registered user since Wed 7 Jul 2021

Name:Dylan Marinho

Country:France

Affiliation:Sorbonne Université, CNRS UMR 7606, LIP6, Paris, France

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