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	3	39
Book chapters	1	0	1	1	0	1	4
Conference papers	26	23	18	23	15	9	114
Habilitations	0	1	1	1	0	1	4
Theses	3	2	3	0	0	1	9

LIP6

• B. Bérard : “Timed Model Checking”, chapter in Communicating Embedded Systems -- Software and Design, C. Jard, O. Roux (Eds.), (ISTE Publishing / John Wiley), (ISBN: 978-1-8482-1143-8) [Bérard 2009a]
• J.‑M. Couvreur, D. Poitrenaud : “Petri Net Unfoldings - Properties”, chapter in Petri Nets: Fundamental Models, Verification and Applications, M. Diaz (Ed.), pp. 415-434, (Wiley-ISTE), (ISBN: 9781848210790) [Couvreur 2009]
• C. Girault, J.‑F. Pradat‑Peyre : “Analysis of High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, M. Diaz (Ed.), pp. 221-266, (Wiley-ISTE), (ISBN: 9781848210790) [Girault 2009a]
• C. Girault, J.‑F. Pradat‑Peyre : “High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, M. Diaz (Ed.), pp. 185-219, (Wiley-ISTE), (ISBN: 9781848210790) [Girault 2009b]
• S. Haddad, J.‑M. Ilié : “Symmetry and Temporal Logic”, chapter in Petri Nets: Fundamental Models, Verification and Applications, vol. 2, M. Diaz (Ed.), pp. 435-459, (ISTE - WEISLEY), (ISBN: 978-1-84821-079-0) [Haddad 2009b]
• J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “Synchronization protocols for sharing resources in grid environments”, chapter in Fundamentals of Grid Computing (CRC Numerical Analysis and Scientific Computing Series), 1 edition, (Chapman and Hall), (ISBN: 9781439803677) [Sopena 2009b]