- Laboratoire d’informatique
Équipes actuelles : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Publications MoVe20212022202320242025Total
Livres620008
Éditions de livres000101
Articles de revues5822017
Chapitres de livres010001
Conférences78810336
Habilitations000000
Soutenances de thèse203319
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, 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]