HAL TEI export of hal-03425768

HAL TEI export of hal-03425768 CCSD CC0 1.0 - Universal

HAL API Platform

Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski 23489-0 Pierre Courtieu 9b84d17eadfc14cfa61d836b7c1252e3 cnam.fr pierre-courtieu 6578 24785-6578 https://orcid.org/0000-0001-8789-9781 https://scholar.google.fr/citations?user=M9n53EoAAAAJ&hl=fr&oi=ao https://www.idref.fr/25315488X Robin Pelle 39656-0 Lionel Rieg 48dcf2128fa43227d4fcf80401ad1e74 ens-lyon.org lionel-rieg 21843 22873-21843 https://www.idref.fr/179263757 https://orcid.org/0009-0001-5751-3806 Sébastien Tixeuil 5657-0 Xavier Urbain d83ffa6887d24fbdba20e1f166072af3 univ-lyon1.fr xavier-urbain 7387 28974-7387 https://www.idref.fr/188533478 https://orcid.org/0000-0001-7442-2538 Sébastien Tixeuil 46fb30964edb44afa6b5deecf5f673eb lip6.fr 2021-11-11 11:54:58 2026-01-30 12:19:12 2021-11-11 11:54:58 2021-11-17 contributor Sébastien Tixeuil 46fb30964edb44afa6b5deecf5f673eb lip6.fr CCSD hal-03425768 https://hal.sorbonne-universite.fr/hal-03425768 balabonski:hal-03425768 <i>Stabilization, Safety, and Security of Distributed Systems. SSS 2021</i>, Nov 2021, Online, Sweden. pp.469-473, <a target="_blank" href="https://dx.doi.org/10.1007/978-3-030-91081-5_31">⟨10.1007/978-3-030-91081-5_31⟩</a> Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩ HAL Grenoble Alpes IMAG CNRS - Centre national de la recherche scientifique Université Claude Bernard - Lyon I Université Lumière Lyon 2 Ecole Normale Supérieure de Cachan Institut National des Sciences Appliquées de Lyon Ecole Centrale de Lyon Conservatoire National des Arts et Métiers Institut polytechnique de Grenoble Laboratoire d'InfoRmatique en Image et Systèmes d'information Laboratoire d'Informatique de Paris 6 VERIMAG Ecole CentraleSupélec Université Paris-Saclay Université Lyon2 Groupe INSA Sorbonne Université Sorbonne Université 01/01/2018 Centre d'études et de recherche en informatique et communications Faculté des Sciences de Sorbonne Université UDL Université de Lyon composantes instituts telecom Collection test HAL CNRS Université Paris-Saclay Université Grenoble Alpes [2020-*] Sorbonne Université - Texte Intégral ANR Ecole Normale Supérieure paris-Saclay Ecole Normale Supérieure Paris-Saclay Graduate School Computer Science Laboratoire Méthodes Formelles Concurrence et distribué Alliance Sorbonne Université TEST3-HALCNRS Séminaires Parisiens en Réseaux Conservatoire National des Arts et Métiers - Hesam Hesam Mathématiques + Informatique Nouvelle version portail TEST-UGA International No No Yes Yes Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski 23489-0 Pierre Courtieu 9b84d17eadfc14cfa61d836b7c1252e3 cnam.fr pierre-courtieu 6578 24785-6578 https://orcid.org/0000-0001-8789-9781 https://scholar.google.fr/citations?user=M9n53EoAAAAJ&hl=fr&oi=ao https://www.idref.fr/25315488X Robin Pelle 39656-0 Lionel Rieg 48dcf2128fa43227d4fcf80401ad1e74 ens-lyon.org lionel-rieg 21843 22873-21843 https://www.idref.fr/179263757 https://orcid.org/0009-0001-5751-3806 Sébastien Tixeuil 5657-0 Xavier Urbain d83ffa6887d24fbdba20e1f166072af3 univ-lyon1.fr xavier-urbain 7387 28974-7387 https://www.idref.fr/188533478 https://orcid.org/0000-0001-7442-2538 Stabilization, Safety, and Security of Distributed Systems. SSS 2021 2021-11-17 2021-11-20 Online Sweden Springer International Publishing Lecture Notes in Computer Science 13046 469-473 2021-11-09 10.1007/978-3-030-91081-5_31 English Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] Computer Science [cs]/Computer Aided Engineering Computer Science [cs]/Robotics [cs.RO] Conference papers Conference papers Conference papers 25474589X 202123712M https://ror.org/00gdtta79 Q109042513 Laboratoire Méthodes Formelles LMF 2021-01-01

4, avenue des Sciences, 91190, Gif-sur-Yvette

CEDRIC. Systèmes sûrs CEDRIC - SYS

https://cedric.cnam.fr/index.php/labo/SYS 155463381 201119480F https://ror.org/044j5mm75 Centre d'études et de recherche en informatique et communications CEDRIC

292 rue Saint-Martin 75141 PARIS Cedex 03Case courrier 2D4P30

http://cedric.cnam.fr/ 184945623 0000 0004 0382 7652 199511789R https://ror.org/05afmzm11 VERIMAG VERIMAG - IMAG 2020-01-01

VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’Hères

https://www-verimag.imag.fr/?lang=fr Networks and Performance Analysis NPA 2018-01-01

Laboratory of Information, Network and Communication Sciences LINCS

23 avenue d'Italie 75013 Paris

http://www.lincs.fr/ Distribution, Recherche d'Information et Mobilité DRIM

https://ror.org/02kvxyf05 Institut National de Recherche en Informatique et en Automatique Inria

Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex

http://www.inria.fr/en/ 184443237 https://ror.org/019tcpt25 CentraleSupélec

3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex

http://www.centralesupelec.fr 241345251 https://ror.org/03xjwb503 Université Paris-Saclay

Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette

https://www.universite-paris-saclay.fr/fr 02636817X 0000000122597504 https://ror.org/02feahw73 Centre National de la Recherche Scientifique CNRS 1939-10-19

https://www.cnrs.fr/ https://ror.org/00hx6zz33 Ecole Normale Supérieure Paris-Saclay ENS Paris Saclay

4 avenue des Sciences, 91190 Gif-sur-Yvette

http://ens-paris-saclay.fr/ Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise ENSIIE

http://www.ensiie.fr/ 027404978 0000000121690459 https://ror.org/0175hh227 Conservatoire National des Arts et Métiers [Cnam] Cnam

292 Rue Saint-Martin, 75003 Paris

http://www.cnam.fr/ 240648315 https://ror.org/02rx3b187 Université Grenoble Alpes UGA 2020-01-01

Adresse CS 40700 - 38058 Grenoble cedex

http://www.univ-grenoble-alpes.fr 026388804 https://ror.org/05sbt2524 Institut polytechnique de Grenoble - Grenoble Institute of Technology Grenoble INP 2020-01-01

46 avenue Félix Viallet 38031 Grenoble Cedex 1

http://www.grenoble-inp.fr/ 13558292X 199712651U https://ror.org/05krcen59 LIP6 2018-01-01

4 Place JUSSIEU 75252 PARIS CEDEX 05

http://www.lip6.fr/ 221333754 https://ror.org/02en5vm52 Sorbonne Université SU 2018-01-01

21 rue de l’École de médecine - 75006 Paris

http://www.sorbonne-universite.fr/ 192427156 000000012202567X https://ror.org/025vp2923 Q27962533 Institut Mines-Télécom [Paris] IMT 2012-03-01

19 Place Marguerite Perey, 91120 Palaiseau

https://www.imt.fr/ 149705271 0000000122577669 200511875R https://ror.org/04dv4he91 Laboratoire d'InfoRmatique en Image et Systèmes d'information LIRIS 2003-01-01

Bâtiment Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex

https://liris.cnrs.fr/ 02640334X 0000 0001 2188 0906 https://ror.org/03rth4p18 Q4041 Université Lumière - Lyon 2 UL2

86, rue Pasteur - 69007 Lyon

http://www.univ-lyon2.fr https://ror.org/05s6rge65 École Centrale de Lyon ECL

36 avenue Guy de Collongue - 69134 Ecully cedex

http://www.ec-lyon.fr https://ror.org/01rk35k63 Université de Lyon

92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07

https://www.universite-lyon.fr/ 026402823 0000000121686185 https://ror.org/029brtt94 Université Claude Bernard Lyon 1 UCBL

43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex

http://www.univ-lyon1.fr/ 052444724 0000 0001 2292 0228 Institut National des Sciences Appliquées de Lyon INSA Lyon 1957-03-18

20 Avenue Albert Einstein, 69621 Villeurbanne cedex

http://www.insa-lyon.fr/ 162105150 Institut National des Sciences Appliquées INSA

ANR-19-CE25-0005 SAPPORO Sûreté et preuve de protocoles adaptatifs pour robots oublieux 2019