Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Mathias Ramparison"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
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:
https://doaj.org/article/205d01d37ae54ff6bacf5d3e97a6a1e2
Publikováno v:
University of Twente Research Information (Pure Portal)
Fundamenta Informaticae
Fundamenta Informaticae, 2021, 182 (1), pp.69-94. ⟨10.3233/fi-2021-2066⟩
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.69-94. ⟨10.3233/fi-2021-2066⟩
Proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany
ACSD
Proceedings-2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019, 33-42
STARTPAGE=33;ENDPAGE=42;TITLE=Proceedings-2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019
Fundamenta Informaticae
Fundamenta Informaticae, 2021, 182 (1), pp.69-94. ⟨10.3233/fi-2021-2066⟩
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.69-94. ⟨10.3233/fi-2021-2066⟩
Proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019)
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany
ACSD
Proceedings-2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019, 33-42
STARTPAGE=33;ENDPAGE=42;TITLE=Proceedings-2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::383407d18f57b4311b3f9f17928350a4
http://arxiv.org/abs/1902.04336
http://arxiv.org/abs/1902.04336
Publikováno v:
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China
www.formal-analysis.com/iceccs/2019/
ICECCS
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China
www.formal-analysis.com/iceccs/2019/
ICECCS
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a263abd5e436b6c87b709d04de291f41
Publikováno v:
16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018)
16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Sep 2018, Beijing, China. pp.37-52, ⟨10.1007/978-3-030-00151-3_3⟩
Lecture Notes in Computer Science ISBN: 9783030001506
FORMATS
16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Sep 2018, Beijing, China. pp.37-52, ⟨10.1007/978-3-030-00151-3_3⟩
Lecture Notes in Computer Science ISBN: 9783030001506
FORMATS
International audience; We study timed systems in which some timing features are unknown parameters. First we consider Upper-bound Parametric Timed Automata (U-PTAs), one of the simplest extensions of timed automata with parameters, in which paramete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6eccf3cded9608ade39559bf987abf1f
https://hal.archives-ouvertes.fr/hal-01957138/file/andre-FORMATS-18.pdf
https://hal.archives-ouvertes.fr/hal-01957138/file/andre-FORMATS-18.pdf
Publikováno v:
18th International Conference on Application of Concurrency to System Design (ACSD 2018)
18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩
ACSD
18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩
ACSD
International audience; Timed automata (TAs) represent a powerful formalism to model and verify systems where concurrency is mixed with hard timing constraints. However, they can seem limited when dealing with uncertain or unknown timing constants. S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43a5d5d4d3565563da41d6a85e6c9d10
https://hal.archives-ouvertes.fr/hal-01957157/file/andre-ACSD-18.pdf
https://hal.archives-ouvertes.fr/hal-01957157/file/andre-ACSD-18.pdf