- 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
  • B. Bérard : “Timed Model Checking”, chapter in Communicating Embedded Systems -- Software and Design, (ISTE Publishing / John Wiley), (ISBN: 978-1-8482-1143-8) [Bérard 2009a]
  • J.‑M. Couvreur, D. Poitrenaud : “Petri Net Unfoldings -- Properties”, chapitre de Petri Nets. Fundamental Models, Verification and Applications, pp. 415-434, (Wiley) [Couvreur 2009]
  • C. Girault, J.‑F. Pradat‑Peyre : “Analysis of High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, pp. 221-266, (Wiley-ISTE), (ISBN: 9781848210790) [Girault 2009a]
  • C. Girault, J.‑F. Pradat‑Peyre : “High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, pp. 185-219, (Wiley-ISTE), (ISBN: 9781848210790) [Girault 2009b]
  • S. Haddad, J.‑M. Ilié : “Symmetry and Temporal Logic”, chapter in Petri Nets: Fundamental Models, Verification and Applications, vol. 2, pp. 435-459, (ISTE - WEISLEY), (ISBN: 978-1-84821-079-0) [Haddad 2009b]
  • J. Sopena, L. Arantes, F. Legond‑Aubry, P. Sens : “Synchronization protocols for sharing resources in grid environments”, chapter in Fundamentals of Grid Computing (CRC Numerical Analysis and Scientific Computing Series), 1 edition, (Chapman and Hall), (ISBN: 9781439803677) [Sopena 2009b]