Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | Phare |
Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
---|---|---|---|---|---|---|---|---|
Livres | 0 | 0 | 0 | 1 | 6 | 2 | 0 | 9 |
Éditions de livres | 3 | 3 | 3 | 0 | 0 | 0 | 0 | 9 |
Articles de revues | 8 | 5 | 5 | 7 | 6 | 6 | 0 | 37 |
Chapitres de livres | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
Conférences | 22 | 21 | 18 | 13 | 5 | 6 | 1 | 86 |
Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
Thèses | 0 | 0 | 3 | 1 | 2 | 0 | 0 | 6 |
- B. Bérard : “Modeling Time”, chapter in Models and Analysis in Distributed Systems n°4, pp. 63-96, (Wiley), (ISBN: 9781848213142) [Bérard 2011a]
- J. Delange, L. Pautet, F. Kordon : “A Model-Based Approach To Configure and Reconfigure Avionics Systems”, chapter in Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, pp. 509-541, (IGI Global), (ISBN: 9781609600860) [Delange 2011]
- S. Demri, D. Poitrenaud : “Verification of Infinite-State Systems”, chapter in Models and Analysis in Distributed Systems, pp. 221-269, (Wiley), (ISBN: 9781848213142) [Demri 2011]
- C. Dutheillet, I. Mounier, N. Sznajder : “Distributed Control”, chapter in Models and Analysis in Distributed Systems, pp. 307-351, (Wiley), (ISBN: 9781848213142) [Dutheillet 2011]
- S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “General introduction”, chapter in Distibuted Systems: Design and Algorithms, pp. 13-17, (Wiley), (ISBN: 9781848212503) [Haddad 2011b]
- S. Haddad, F. Kordon, L. Pautet, L. Petrucci : “Introduction”, chapter in Models and Analysis in Distributed Systems, pp. 17-20, (Wiley), (ISBN: 9781848213142) [Haddad 2011c]
- F. Kordon : “Introduction to Large-Scale Peer-to-Peer Distributed Systems”, chapter in Distibuted Systems: Design and Algorithms n°2, pp. 21-31, (Wiley), (ISBN: 9781848212503) [Kordon 2011]
- J.‑F. Pradat‑Peyre, Y. Thierry‑Mieg : “Verification of Finite-State Systems”, chapter in Models and Analysis in Distributed Systems, pp. 155-220, (Wiley), (ISBN: 9781848213142) [Pradat-Peyre 2011]