Mathias Ramparison

13 papers B 1C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
Modeling Wazuh rules with Weighted Timed Automata.
EUSPN/ICTH
Anass Haydar, Mathias Ramparison
2024 — conf
Parametric verification to ensure safe behaviour of connected devices.
EUSPN/ICTH
Mathias Ramparison
2021 J jnl
Parametric Analyses of Attack-fault Trees.
Fundam. Informaticae
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2021 J jnl
Parametric updates in parametric timed automata.
Log. Methods Comput. Sci.
Étienne André, Didier Lime, Mathias Ramparison
2019 B conf
On the Expressive Power of Invariants in Parametric Timed Automata.
ICECCS
Étienne André, Didier Lime, Mathias Ramparison
2019 J jnl
On the expressive power of invariants in parametric timed automata.
CoRR
Étienne André, Didier Lime, Mathias Ramparison
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 — conf
Parametric Analyses of Attack-Fault Trees.
ACSD
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019 C conf
Parametric Updates in Parametric Timed Automata.
FORTE
Étienne André, Didier Lime, Mathias Ramparison
2019 J jnl
Parametric analyses of attack-fault trees.
CoRR
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019 J jnl
Parametric updates in parametric timed automata.
CoRR
Étienne André, Didier Lime, Mathias Ramparison
2018 — conf
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.
FORMATS
Étienne André, Didier Lime, Mathias Ramparison
2018 — conf
Timed Automata with Parametric Updates.
ACSD
Étienne André, Didier Lime, Mathias Ramparison