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 |
- A. Guifo Fodjo, J. LACMOU ZEUTOUO, S. Bowong : “Separation of Concerns in an Edge-Based Compartmental Modeling Framework”, 16th International Joint Conference on Biomedical Engineering Systems and Technologies, Lisbonne, Portugal [Guifo Fodjo 2023]
- L. Guillou, A. Sangnier, N. Sznajder : “Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous”, 34th International Conference on Concurrency Theory, CONCUR 2023, vol. 279, Leibniz International Proceedings in Informatics (LIPIcs), Antwerp, Belgium, pp. 7:1-7:17, (Schloss Dagstuhl - Leibniz-Zentrum für Informatik) [Guillou 2023]
- Y. Huang, S. Dhouib, L. Palacios Medinacelli, J. Malenfant : “Semantic Interoperability of Digital Twins: Ontology-based Capability Checking in AAS Modeling Framework”, 2023 IEEE 6th International Conference on Industrial Cyber-Physical Systems (ICPS), Wuhan, China, pp. 1-8, (IEEE) [Huang 2023]
- Y. Thierry‑Mieg : “Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets”, PNSE’23: Petri Nets for Software Engineering,, Lisbon, Portugal [Thierry-Mieg 2023]