Mathias Ramparison
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2024
Best venue rank
Unranked
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EUSPN | Modeling Wazuh rules with Weighted Timed Automata. | Anass Haydar, Mathias Ramparison |
| 2024 | EUSPN | Parametric verification to ensure safe behaviour of connected devices. | Mathias Ramparison |
| 2019 | FORTE | Parametric Updates in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |
| 2019 | ICECCS | On the Expressive Power of Invariants in Parametric Timed Automata. | tienne Andr, Didier Lime, Mathias Ramparison |