Mathias Ramparison

Orcid: 0000-0001-6764-1214

According to our database¹, Mathias Ramparison authored at least 9 papers between 2018 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Parametric verification to ensure safe behaviour of connected devices.

[BibT_eX]

[DOI]

Mathias Ramparison

Proceedings of the 15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2024) / The 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2024), 2024

Modeling Wazuh rules with Weighted Timed Automata.

[BibT_eX]

[DOI]

Anass Haydar

Mathias Ramparison

2021

Parametric updates in parametric timed automata.

[BibT_eX]

[DOI]

Étienne André

Didier Lime

Mathias Ramparison

Log. Methods Comput. Sci., 2021

Parametric Analyses of Attack-fault Trees.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

2020

Data for paper "Parametric analyses of attack-fault trees".

[BibT_eX]

[DOI]

Dataset, April, 2020

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).

[BibT_eX]

[DOI]

Mathias Ramparison

PhD thesis, 2019

On the Expressive Power of Invariants in Parametric Timed Automata.

[BibT_eX]

[DOI]

Étienne André

Didier Lime

Mathias Ramparison

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

2018