Gruppi di ricerca attuali :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Gruppo precedente :	Whisper

Pubblicazioni MoVe	2016	2017	2018	2019	2020	2021	Total
Libri	1	0	0	0	1	2	4
Curatele di libri	2	3	2	3	0	1	11
Articoli su rivista	10	8	5	5	8	2	38
Capitoli di libri	1	1	1	2	0	0	5
Articoli su atti di conferenza	17	22	18	17	12	1	87
Abilitazioni	2	1	0	1	0	0	4
Tesi	3	0	0	3	1	0	7

LIP6

• F. Kordon, M. Leuschel, J. Van De Pol, Y. Thierry‑Mieg : “Software Architecture of Modern Model Checkers”, chapter in Computing and Software Science, State of the Art and Perspectives, vol. 10000, Lecture Notes in Computer Science, pp. 393-419, (Springer) [Kordon 2019]
• 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]