Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL Whisper
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications NPA	2016	2017	2018	2019	2020	2021	Total
Books	0	0	0	0	0	0	0
Edited books	4	2	0	2	2	0	10
Journal articles	13	14	14	7	7	2	57
Book chapters	1	6	0	2	0	0	9
Conference papers	44	33	26	28	25	4	160
Habilitations	1	0	1	0	1	0	3
Thesis	5	6	4	1	4	0	20

LIP6

• X. Défago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) [Défago 2019b]
• M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) [Potop-Butucaru 2019]