Timed Automata with Parametric Updates. - Étienne André; Didier Lime; Mathias Ramparison (ACSD, 2018)

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. - Étienne André; Didier Lime; Mathias Ramparison (FORMATS, 2018)

On the Expressive Power of Invariants in Parametric Timed Automata. - Étienne André; Didier Lime; Mathias Ramparison (ICECCS, 2019)

On the theory and practice of updatable parametric timed automata. (Sur la théorie et l'application des automates paramétrés temporisés avec mises à jour). - Mathias Ramparison (2019)

Data for paper "Parametric analyses of attack-fault trees". - Étienne André; Didier Lime; Mathias Ramparison; Mariëlle Stoelinga (Zenodo, 2020)

Parametric Analyses of Attack-fault Trees. - Étienne André; Didier Lime; Mathias Ramparison; Mariëlle Stoelinga (Fundam. Informaticae, 2021)

Parametric updates in parametric timed automata. - Étienne André; Didier Lime; Mathias Ramparison (Log. Methods Comput. Sci., 2021)

Modeling Wazuh rules with Weighted Timed Automata. - Anass Haydar; Mathias Ramparison (EUSPN/ICTH, 2024)

Parametric verification to ensure safe behaviour of connected devices. - Mathias Ramparison (EUSPN/ICTH, 2024)