Recherche - Archive ouverte HAL

	Pour les 16 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Modeling and checking robustness of communicating autonomous vehicles Johan Arcile , Raymond Devillers , Hanna Klaudel , Witold Klaudel , Bożena Woźna-Szcześniak 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⟩ Chapitre d'ouvrage hal-02920656v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Models for the dynamic exploration of the state spaces of autonomous vehicles. Johan Arcile, , Raymond Devillers , Hanna Klaudel 17th International Workshop on Petri Nets and Software Engineering (PNSE 2020), Jun 2020, Paris, France. pp.29--48 Communication dans un congrès hal-02887014v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Timed automata as a formalism for expressing security: A survey on theory and practice Johan Arcile, , Étienne André ACM Computing Surveys, 2022, ⟨10.1145/3534967⟩ Article dans une revue hal-03690234v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Zone Extrapolations in Parametric Timed Automata Johan Arcile, , Étienne André 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⟩ Communication dans un congrès hal-03690070v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study Johan Arcile, , Jérémy Sobieraj , Hanna Klaudel , Guillaume Hutzler 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⟩ Communication dans un congrès hal-01918518v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Efficient State Space Construction for a Class of Timed Automata Johan Arcile , Raymond Devillers , Hanna Klaudel 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. pp.246--263, ⟨10.1007/978-3-662-68191-6_10⟩ Communication dans un congrès hal-04307762v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Modelling and Analysing Mixed Reality Applications Johan Arcile , Tadeusz Czachórski , Raymond Devillers , Jean-Yves Didier , Hanna Klaudel , et al. 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⟩ Communication dans un congrès hal-01230033v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Indefinite waitings in MIRELA systems Johan Arcile, , Jean-Yves Didier , Hanna Klaudel , Raymond Devillers , Artur Rataj 4th International Workshop on Engineering Safety and Security Systems (ESSS 2015), Jun 2015, Oslo, Norway. pp.5--18, ⟨10.4204/EPTCS.184.1⟩ Communication dans un congrès hal-01230054v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Modeling and checking robustness of communicating autonomous vehicles Johan Arcile , Raymond Devillers , Hanna Klaudel , Witold Klaudel , Bożena Woźna-Szcześniak 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⟩ Communication dans un congrès hal-01567627v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		VerifCar: a framework for modeling and model checking communicating autonomous vehicles Johan Arcile , Raymond Devillers , Hanna Klaudel Autonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩ Article dans une revue hal-02133680v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Factorization of the State Space Construction for Cyclic Systems with Data Johan Arcile , Raymond Devillers , Hanna Klaudel 16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2023), Oct 2023, Marakech, Morocco. pp.1-14, ⟨10.1007/978-3-031-49737-7_1⟩ Communication dans un congrès hal-04377291v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Dynamic exploration of multi-agent systems with periodic timed tasks Johan Arcile, , Raymond Devillers , Hanna Klaudel Fundamenta Informaticae, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩ Article dans une revue hal-02886945v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles Johan Arcile, , Raymond Devillers , Hanna Klaudel 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⟩ Communication dans un congrès hal-02886856v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants Johan Arcile, Calcul formel [cs.SC]. Université Paris-Saclay, Université d'Evry Val-d'Essonne, 2019. Français. ⟨NNT : 2019SACLE029⟩ Thèse tel-02480653v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Dynamic exploration of multi-agent systems with timed periodic tasks Johan Arcile , Raymond Devillers , Hanna Klaudel 2019 Pré-publication, Document de travail hal-02365415v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deadlock and temporal properties analysis in mixed reality applications Raymond Devillers , Jean-Yves Didier , Hanna Klaudel , Johan Arcile, 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014), Nov 2014, Naples, Italy. pp.55--65, ⟨10.1109/ISSRE.2014.33⟩ Communication dans un congrès hal-01150615v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

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⟩

Filtrer vos résultats

Modeling and checking robustness of communicating autonomous vehicles

Models for the dynamic exploration of the state spaces of autonomous vehicles.

Timed automata as a formalism for expressing security: A survey on theory and practice

Zone Extrapolations in Parametric Timed Automata

Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study

An Efficient State Space Construction for a Class of Timed Automata

Modelling and Analysing Mixed Reality Applications

Indefinite waitings in MIRELA systems

Modeling and checking robustness of communicating autonomous vehicles

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

Factorization of the State Space Construction for Cyclic Systems with Data

Dynamic exploration of multi-agent systems with periodic timed tasks

VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles

Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants

Dynamic exploration of multi-agent systems with timed periodic tasks

Deadlock and temporal properties analysis in mixed reality applications