| Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL |
| Former team : | MLIA |
| Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | Total |
|---|---|---|---|---|---|---|---|
| Books | 0 | 0 | 0 | 1 | 5 | 0 | 6 |
| Edited books | 3 | 2 | 3 | 0 | 1 | 0 | 9 |
| Journal articles | 8 | 5 | 5 | 9 | 5 | 2 | 34 |
| Book chapters | 1 | 1 | 2 | 0 | 0 | 0 | 4 |
| Conference papers | 22 | 20 | 18 | 13 | 5 | 2 | 80 |
| Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 2 |
| Theses | 0 | 0 | 3 | 1 | 2 | 0 | 6 |
- S. Haddad, F. Kordon, L. Petrucci : “Introduction générale”, chapter in Méthodes formelles pour les systèmes répartis et coopératifs, 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, 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, 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, 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, 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, pp. 557-588, (Springer Verlag) [Ziadi 2006]