现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 MoVe | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 2 | 0 | 2 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 1 | 8 |
特许任教资格 | 0 | 0 | 0 |
博士论文 | 2 | 1 | 3 |
- 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, 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 2021]
- 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]