A Benchmarks Library for Extended Parametric Timed Automata. - Étienne André; Dylan Marinho; Jaco van de Pol (TAP@STAF, 2021)

The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. - Étienne André; Dylan Marinho; Jaco van de Pol (Zenodo, 2021)

Efficient Convex Zone Merging in Parametric Timed Automata. - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (FORMATS, 2022)

strategFTO: Untimed Control for Timed Opacity. - Étienne André; Shapagat Bolat; Engel Lefaucheux; Dylan Marinho (FTSCS, 2022)

Guaranteeing Timed Opacity using Parametric Timed Model Checking. - Étienne André; Didier Lime; Dylan Marinho; Jun Sun 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". - Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol (Zenodo, 2022)

Experimental data for paper "strategFTO: Untimed control for timed opacity". - Étienne André; Shapagat Bolat; Engel Lefaucheux; Dylan Marinho (Zenodo, 2022)

Expiring opacity problems in parametric timed automata. - Étienne André; Engel Lefaucheux; Dylan Marinho (ICECCS, 2023)

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. - Étienne André; Engel Lefaucheux; Didier Lime; Dylan Marinho; Jun Sun 001 (TiCSA@ETAPS, 2023)

Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (Contributions théoriques et algorithmiques pour l'analyse de propriétés de sûreté et de sécurité dans les systèmes temporisés sous incertitude). - Dylan Marinho (2023)

The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata. - Étienne André; Dylan Marinho; Jaco van de Pol (Zenodo, 2024)

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. - Étienne André; Jean-Luc Béchennec; Sudipta Chattopadhyay 001; Sébastien Faucou; Didier Lime; Dylan Marinho; Olivier H. Roux; Jun Sun 001 (SAC, 2025)