Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Johan Arcile"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 184, Iss Proc. ESSS 2015, Pp 5-18 (2015)
MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time. Its semantics is given in the form of networks of timed automata, whic
Externí odkaz:
https://doaj.org/article/9378e1debade474fa4434970de0c956a
Autor:
Johan Arcile, Étienne André
Publikováno v:
Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Lecture Notes in Computer Science ISBN: 9783031067723
14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Lecture Notes in Computer Science ISBN: 9783031067723
Timed automata (TAs) are an efficient formalism to model and verify systems with hard timing constraints, and concurrency. While TAs assume exact timing constants with infinite precision, parametric TAs (PTAs) leverage this limitation and increase th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2f1c8978fb64eff561c743cae916110
https://doi.org/10.21203/rs.3.rs-2349012/v1
https://doi.org/10.21203/rs.3.rs-2349012/v1
Autor:
Étienne André, Johan Arcile
Publikováno v:
ACM Computing Surveys
ACM Computing Surveys, 2022, ⟨10.1145/3534967⟩
ACM Computing Surveys, 2022, ⟨10.1145/3534967⟩
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the system behavior in locations, and to take transitions. While timed autom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::957803a5f613d18b9d6b0dbe583105b0
https://hal.science/hal-03690234
https://hal.science/hal-03690234
We formalise and study multi-agent timed models MAPTs (Multi-Agent with Periodic timed Tasks), where each agent is associated with a regular timed schema upon which all possible actions of the agent rely. MAPTs allow for an accelerated semantics and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c712bfc1910b8cd6e09fbc8f3b1377f1
https://doi.org/10.3233/stal200006
https://doi.org/10.3233/stal200006
Publikováno v:
Fundamenta informaticae, 175 (1-4
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩
Fundamenta Informaticae, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩
Fundamenta Informaticae, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩
We formalise and study multi-agent timed models MAPTs (Multi-Agent with Periodic timed Tasks), where each agent is associated with a regular timed schema upon which all possible actions of the agent rely. MAPTs allow for an accelerated semantics and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::724290c73cabe99c40480df59712241f
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/314012
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/314012
Publikováno v:
Autonomous Agents and Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020)
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126--2127
Autonomous agents and multi-agent systems, 33 (3
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126-2127, ⟨10.1007/s10458-019-09409-x⟩
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May
Autonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
AAMAS
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020)
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126--2127
Autonomous agents and multi-agent systems, 33 (3
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126-2127, ⟨10.1007/s10458-019-09409-x⟩
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May
Autonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
AAMAS
This paper presents a framework, called VerifCar, devoted to the validation of decision policies of communicating autonomous vehicles (CAVs). The approach focuses on the formal modeling of CAVs by means of timed automata, allowing a formal and exhaus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23e58223f65e68c96eea0146ad5ed530
https://hal.archives-ouvertes.fr/hal-02133680/document
https://hal.archives-ouvertes.fr/hal-02133680/document
Publikováno v:
15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017)
15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩
Multi-Agent Systems and Agreement Technologies ISBN: 9783030017125
15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩
Multi-Agent Systems and Agreement Technologies ISBN: 9783030017125
International audience; Autonomous vehicles’ behavioural analysis represents a major challenge in the automotive world. In order to ensure safety and fluidity of driving, various methods are available, in particular, simulation and formal verificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b3e6f2340bdaaadf76650fc3a8dfb73
https://hal.science/hal-01918518/document
https://hal.science/hal-01918518/document
Publikováno v:
Distributed Computing and Artificial Intelligence, 14th International Conference ISBN: 9783319624099
DCAI
14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017)
14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.173--180, ⟨10.1007/978-3-319-62410-5_21⟩
Distributed Computing and Artificial Intelligence, 14th International Conference
S. Omatu, S. Rodriguez, G. Villarrubia, P. Faria, P. Sitek, J. Prieto. Distributed Computing and Artificial Intelligence, 14th International Conference, 620, Springer, pp.173-180, 2018, Advances in Intelligent Systems and Computing, 978-3-319-62409-9. ⟨10.1007/978-3-319-62410-5_21⟩
DCAI
14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017)
14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.173--180, ⟨10.1007/978-3-319-62410-5_21⟩
Distributed Computing and Artificial Intelligence, 14th International Conference
S. Omatu, S. Rodriguez, G. Villarrubia, P. Faria, P. Sitek, J. Prieto. Distributed Computing and Artificial Intelligence, 14th International Conference, 620, Springer, pp.173-180, 2018, Advances in Intelligent Systems and Computing, 978-3-319-62409-9. ⟨10.1007/978-3-319-62410-5_21⟩
International audience; This paper presents a method for the validation of communicating autonomous vehicles (CAVs) systems. The approach focuses on the formal modeling of CAVs by means of timed automata, to allow the formal analysis through model-ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85c3b775ed938223c4e06684674a829b
https://doi.org/10.1007/978-3-319-62410-5_21
https://doi.org/10.1007/978-3-319-62410-5_21
Autor:
Hanna Klaudel, Johan Arcile, Tadeusz Czachórski, Raymond Devillers, Jean-Yves Didier, Artur Rataj
Publikováno v:
Advances in Intelligent Systems and Computing
4th International Conference on Man–Machine Interactions (ICMMI 2015)
4th International Conference on Man–Machine Interactions (ICMMI 2015), Oct 2015, Kocierz Pass, Poland. pp.3--17, ⟨10.1007/978-3-319-23437-3_1⟩
Advances in Intelligent Systems and Computing ISBN: 9783319234366
ICMMI
4th International Conference on Man–Machine Interactions (ICMMI 2015)
4th International Conference on Man–Machine Interactions (ICMMI 2015), Oct 2015, Kocierz Pass, Poland. pp.3--17, ⟨10.1007/978-3-319-23437-3_1⟩
Advances in Intelligent Systems and Computing ISBN: 9783319234366
ICMMI
International audience; Mixed reality systems overlay real data with virtual information in order to assist users in their current task. They generally combine several hardware components operating at different time scales, and software that has to c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e40eebc877cdf6a90146dff4f93e4d7
https://hal.science/hal-01230033
https://hal.science/hal-01230033
Publikováno v:
ISSRE
Proc. of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014), Nov 2014, Naples, Italy. pp.55--65, ⟨10.1109/ISSRE.2014.33⟩
Proc. of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014), Nov 2014, Naples, Italy. pp.55--65, ⟨10.1109/ISSRE.2014.33⟩
International audience; Mixed reality systems overlay real data with virtual information in order to assist users in their current task, they are used in many fields (surgery, maintenance, entertainment). Such systems generally combine several hardwa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3b32e2d914b2f3cca4a3ec39c817651
https://doi.org/10.1109/issre.2014.33
https://doi.org/10.1109/issre.2014.33