Zobrazeno 1 - 10
of 10
pro vyhledávání: '"RAMPARISON, MATHIAS"'
The 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)
Externí odkaz:
http://arxiv.org/abs/1908.06633
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 2 (May 10, 2021) lmcs:5799
We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter v
Externí odkaz:
http://arxiv.org/abs/1904.08824
Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failures) and security (i.e. no disruptions due to attackers) are conditions
Externí odkaz:
http://arxiv.org/abs/1902.04336
Autor:
Haydar, Anass, Ramparison, Mathias
Publikováno v:
Procedia Computer Science; 2024, Vol. 251, p75-82, 8p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
André, Étienne, Lime, Didier, Ramparison, Mathias, Stoelinga, Mariëlle, Keller, Jörg, Penczek, Wojciech
Publikováno v:
Fundamenta Informaticae; 2021, Vol. 182 Issue 1, p69-94, 26p
Autor:
André, Étienne1 (AUTHOR) eandre93430@lipn13.fr, Lime, Didier2 (AUTHOR) Didier.Lime@ec-nantes.fr, Ramparison, Mathias3 (AUTHOR) mathias.ramparison@uni.lu, Stoelinga, Mariëlle4 (AUTHOR) m.i.a.stoelinga@utwente.nl, Keller, Jörg (AUTHOR), Penczek, Wojciech (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2021, Vol. 182 Issue 1, p69-94. 26p.