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 MoVe201720182019202020212022Total
Books0001506
Edited books3230109
Journal articles85594334
Book chapters1120004
Conference papers222018135381
Habilitations1010002
Theses0031206
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]