VLDB 2026 Research / reviewers in the wild / expert
Mathias Ramparison
dblp:225/3689
· DBLP profile ↗
4ranked-venue papers
0as first author
2since 2021 · last 2021
0000-0001-6764-1214ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2Theory of computation · 2 · 2 since 2021Computer networks · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Parametric Analyses of Attack-fault Trees
Étienne André 0001, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga |
Fundam. Informaticae | 3 |
| 2021 | Parametric updates in parametric timed automata
Étienne André 0001, Didier Lime, Mathias Ramparison |
Log. Methods Comput. Sci. | 3 |
| 2019 | Parametric Updates in Parametric Timed Automata
Étienne André 0001, Didier Lime, Mathias Ramparison |
FORTE | 3 |
| 2019 | On the Expressive Power of Invariants in Parametric Timed AutomataabstractThe verification of systems combining hard timing constraints with concurrency is challenging. This challenge becomes even harder when some timing constants are missing or unknown. Parametric timed formalisms, such as parametric timed automata (PTAs), tackle the synthesis of such timing constants (seen as parameters) for which a property holds. Such formalisms are highly expressive, but also undecidable, and few decidable subclasses were proposed. We propose here a syntactic restriction on PTAs consisting in removing guards (constraints on transitions) to keep only invariants (constraints on locations). While this restriction preserves the expressiveness of PTAs (and therefore their undecidability), an additional restriction on the type of constraints allows to not only prove decidability, but also to perform the exact synthesis of parameter valuations satisfying reachability. This formalism, that seems trivial at first sight as it benefits from the decidability of the reachability problem with a better complexity than Timed Automata (TAs), suffers from the undecidability of the whole TCTL logic that TAs, on the contrary enjoy. We believe our formalism allows for an interesting trade-off between decidability and practical expressiveness and is therefore promising. We show its applicability in a small case study. Étienne André 0001, Didier Lime, Mathias Ramparison |
ICECCS | 3 |