- Computer Science Laboratory
Gruppi di ricerca attuali : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Pubblicazioni MoVe20212022202320242025Total
Libri620008
Curatele di libri000101
Articoli su rivista5822017
Capitoli di libri010001
Articoli su atti di conferenza78810336
Abilitazioni000000
Tesi203319
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]