Mathias Ramparison

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 10

Top Topics

User Defined Aggregates

Parametric Representation

Top Venues

Fundam. Informaticae

Publications

Étienne André, Didier Lime, Mathias Ramparison
Parametric updates in parametric timed automata. Log. Methods Comput. Sci. 17 (2) (2021)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182 (1) (2021)
Étienne André, Didier Lime, Mathias Ramparison
Parametric updates in parametric timed automata. CoRR (2019)
Étienne André, Didier Lime, Mathias Ramparison
Parametric Updates in Parametric Timed Automata. FORTE (2019)
Étienne André, Didier Lime, Mathias Ramparison
On the expressive power of invariants in parametric timed automata. CoRR (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-Fault Trees. ACSD (2019)
Étienne André, Didier Lime, Mathias Ramparison
On the Expressive Power of Invariants in Parametric Timed Automata. ICECCS (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric analyses of attack-fault trees. CoRR (2019)
Étienne André, Didier Lime, Mathias Ramparison
Timed Automata with Parametric Updates. ACSD (2018)
Étienne André, Didier Lime, Mathias Ramparison
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS (2018)