Dylan Marinho | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Jun Sun
89 publications
Étienne André
29 publications
Jaco van de Pol
14 publications
Engel Lefaucheux
11 publications
Laure Petrucci
10 publications
Didier Lime
7 publications
Shapagat Bolat
1 publication

research

∙ 12/09/2022

Efficient Convex Zone Merging in Parametric Timed Automata

Parametric timed automata are a powerful formalism for reasoning on conc...

0 Étienne André, et al. ∙

research

∙ 11/25/2022

strategFTO: Untimed control for timed opacity

We introduce a prototype tool strategFTO addressing the verification of ...

0 Étienne André, et al. ∙

research

∙ 06/11/2022

Guaranteeing Timed Opacity using Parametric Timed Model Checking

Information leakage can have dramatic consequences on systems security. ...

0 Étienne André, et al. ∙

research

∙ 06/18/2021

A Benchmarks Library for Extended Parametric Timed Automata

Parametric timed automata are a powerful formalism for reasoning on conc...

0 Étienne André, et al. ∙