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

Publications MoVe	2014	2015	2016	2017	2018	2019	Total
Books	0	0	1	0	0	0	1
Edited books	2	2	2	3	2	1	12
Journal articles	8	6	10	8	4	4	40
Book chapters	1	0	1	1	0	1	4
Conference papers	26	23	18	23	15	10	115
Habilitations	0	1	1	1	0	1	4
Theses	3	2	3	0	0	1	9

LIP6

• B. Bérard : “Model checking temporisé”, chapter in Approches formelles des systèmes embarqués communicants, Traités IC2 - Informatique et systèmes d'information, O. Roux, C. Jard (Eds.), pp. 75-103, (Hermes/Lavoisier), (ISBN: 978-2-7462-1942-7) [Bérard 2008a]
• F. Kordon : “Introduction aux systèmes répartis à large échelle”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, vol. 9, Traités IC2 - Informatique et systèmes d'information, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 189-200, (Hermes), (ISBN: 978-2-7462-1943-4) [Kordon 2008b]
• F. Kordon, L. Pautet, L. Petrucci : “Introduction générale”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, vol. 9, Traités IC2 - Informatique et systèmes d'information, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 15-19, (Hermès), (ISBN: 978-2-7462-1943-4) [Kordon 2008d]
• E. Saint‑James, G. Thomas : “Applications pair-à-pair de partage de données”, chapitre de Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, Traités IC2 - Informatique et systèmes d'information, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 223-256, (Hermes), (ISBN: 9782746219434) [Saint-James 2008]