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 | 6 | 6 | 0 | 37 |
Book chapters | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
Conference papers | 22 | 21 | 18 | 13 | 5 | 6 | 1 | 86 |
Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
Theses | 0 | 0 | 3 | 1 | 2 | 0 | 0 | 6 |
- J. Arias, B. Barbot, F. Hulin‑Hubard, F. Kordon, L. Petrucci : “CosyVerif: an Online Verification Platform”, Petri Net Newsletter, vol. 87, pp. 5-7 [Arias 2021]
- A. BERADY, M. Jaume, V. Viet Triem Tong, G. Guette : “From TTP to IoC: Advanced Persistent Graphs for Threat Hunting”, IEEE Transactions on Network and Service Management, vol. 18 (2), Special Issue on Latest Developments for Security Management of Networks and Services, pp. 1321-1333, (IEEE) [BERADY 2021]
- B. Bérard, B. Bollig, P. Bouyer, M. Függer, N. Sznajder : “Synthesis in presence of dynamic links”, Information and Computation, pp. 104856, (Elsevier) [Bérard 2021a]
- B. Bérard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas : “Polynomial interrupt timed automata: Verification and expressiveness”, Information and Computation, vol. 277, pp. 104580, (Elsevier) [Bérard 2021b]
- V. Grollemund, G. Le Chat, M.‑S. Secchi‑Buhour, F. Delbot, J.‑F. Pradat‑Peyre, P. Bede, P.‑F. Pradat : “Manifold learning for amyotrophic lateral sclerosis functional loss assessment”, Journal of Neurology, vol. 268 (3), pp. 825-850, (Springer Verlag) [Grollemund 2021]
- F. Kordon, L. Hillah, F. Hulin‑Hubard, L. Jezequel, E. Paviot‑Adet : “Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019”, International Journal on Software Tools for Technology Transfer, (Springer Verlag) [Kordon 2021]