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 |
- F. Kordon, M. Leuschel, J. Van De Pol, Y. Thierry‑Mieg : “Software Architecture of Modern Model Checkers”, chapter in Computing and Software Science, State of the Art and Perspectives, vol. 10000, Lecture Notes in Computer Science, pp. 393-419, (Springer) [Kordon 2019]
- M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) [Potop-Butucaru 2019]