Mathias Ramparison

According to our database, Mathias Ramparison authored at least 6 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Parametric updates in parametric timed automata.

Étienne André, Didier Lime, Mathias Ramparison

Log. Methods Comput. Sci., 2021

Parametric Analyses of Attack-fault Trees.

Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga

Fundam. Informaticae, 2021

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

PhD thesis, 2019

On the Expressive Power of Invariants in Parametric Timed Automata.

Étienne André, Didier Lime, Mathias Ramparison

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.

Étienne André, Didier Lime, Mathias Ramparison

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Timed Automata with Parametric Updates.

Étienne André, Didier Lime, Mathias Ramparison

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018