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
Books0001607
Edited books0000000
Journal articles85595335
Book chapters1120004
Conference papers222018135381
Habilitations1010002
Theses0031206
LIP6
  • B. BĂ©rard : “Model checking temporisĂ©”, chapter in Approches formelles des systèmes embarquĂ©s communicants, TraitĂ©s IC2 - Informatique et systèmes d'information, O. Roux, C. Jard (Eds.), pp. 75-103, (Hermes/Lavoisier), (ISBN: 978-2-7462-1942-7) [BĂ©rard 2008a]
  • F. Kordon : “Introduction aux systèmes rĂ©partis Ă  large Ă©chelle”, chapitre de Systèmes rĂ©partis en action : de l'embarquĂ© aux systèmes Ă  large Ă©chelle, vol. 9, TraitĂ©s IC2 - Informatique et systèmes d'information, pp. 189-200, (Hermes), (ISBN: 978-2-7462-1943-4) [Kordon 2008b]
  • F. Kordon, L. Pautet, L. Petrucci : “Introduction gĂ©nĂ©rale”, chapitre de Systèmes rĂ©partis en action : de l'embarquĂ© aux systèmes Ă  large Ă©chelle, vol. 9, TraitĂ©s IC2 - Informatique et systèmes d'information, pp. 15-19, (Hermès), (ISBN: 978-2-7462-1943-4) [Kordon 2008d]
  • E. Saint‑James, G. Thomas : “Applications pair-Ă -pair de partage de donnĂ©es”, chapitre de Systèmes rĂ©partis en action : de l'embarquĂ© aux systèmes Ă  large Ă©chelle, TraitĂ©s IC2 - Informatique et systèmes d'information, pp. 223-256, (Hermes), (ISBN: 9782746219434) [Saint-James 2008]