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	2015	2016	2017	2018	2019	2020	Total
Books	0	1	0	0	0	0	1
Edited books	2	2	3	2	3	0	12
Journal articles	6	10	8	5	6	0	35
Book chapters	0	1	1	1	2	0	5
Conference papers	23	18	23	15	16	2	97
Habilitations	1	1	1	0	1	0	4
Theses	2	3	0	0	3	0	8

LIP6

• S. Haddad, F. Kordon, L. Petrucci : “Introduction générale”, chapter in Méthodes formelles pour les systèmes répartis et coopératifs, S. Haddad, F. Kordon, L. Petrucci (Eds.), pp. 1-6, (Hermes), (ISBN: 2-7462-1447-4) [Haddad 2006a]
• J. Hugues, F. Kordon, L. Pautet : “Construction d'un intergiciel vérifié”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, S. Haddad, F. Kordon, L. Petrucci (Eds.), pp. 265-287, (Hermes), (ISBN: 2-7462-1447-4) [Hugues 2006b]
• J.‑M. Ilié, Y. Thierry‑Mieg, S. Baarir : “Vérification efficace des systèmes finis”, chapitre de Méthodes Formelles pour les Systèmes Répartis et Coopératifs, Traités IC2 - Informatique et systèmes d'information, S. Haddad, F. Kordon, L. Petrucci (Eds.), pp. 171-211, (Hermes-Lavoisier), (ISBN: 2-7462-1447-4) [Ilié 2006]
• F. Kordon : “Panorama sur le développement”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, S. Haddad, F. Kordon, L. Petrucci (Eds.), pp. 253-264, (Hermes), (ISBN: 2-7462-1447-4) [Kordon 2006a]
• F. Peschanski, D. Poitrenaud : “Vérification de systèmes infinis”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, IC2 Series, S. Haddad, F. Kordon, L. Petrucci (Eds.), pp. 213-250, (Hermès Lavoisier), (ISBN: 2-7462-1447-4) [Peschanski 2006b]
• T. Ziadi, J.‑M. Jézéquel : “Product Line Engineering with the UML: Deriving Products”, chapter in Software Product Lines, T. Käkölä, J. López (Eds.), pp. 557-588, (Springer-Verlag), (ISBN: 3-540-33252-9) [Ziadi 2006]