Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | Phare |
Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
---|---|---|---|---|---|---|---|---|
Books | 0 | 0 | 0 | 1 | 6 | 2 | 0 | 9 |
Edited books | 3 | 3 | 3 | 0 | 0 | 0 | 0 | 9 |
Journal articles | 8 | 5 | 5 | 7 | 5 | 7 | 1 | 38 |
Book chapters | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
Conference papers | 22 | 21 | 18 | 13 | 5 | 6 | 4 | 89 |
Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
Theses | 0 | 0 | 3 | 1 | 2 | 0 | 2 | 8 |
- 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]