CV HAL - Dylan Marinho

Guaranteeing Timed Opacity using Parametric Timed Model Checking

Étienne André , Didier Lime , Dylan Marinho , Jun Sun

ACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩

Article dans une revue hal-03798157v1

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

Étienne André , Jean-Luc Béchennec , Sudipta Chattopadhyay , Sébastien Faucou , Didier Lime et al.

SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania (IT), Italy. pp.1998-2006, ⟨10.1145/3672608.3707861⟩

Communication dans un congrès hal-05408909v1

Expiring opacity problems in parametric timed automata

Étienne André , Engel Lefaucheux , Dylan Marinho

2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩

Communication dans un congrès hal-04151207v2

Efficient Convex Zone Merging in Parametric Timed Automata

Étienne André , Dylan Marinho , Laure Petrucci , Jaco van de Pol

20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩

Communication dans un congrès hal-03772708v1

strategFTO: Untimed control for timed opacity

Étienne André , Shapagat Bolat , Engel Lefaucheux , Dylan Marinho

8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩

Communication dans un congrès hal-03874435v1