现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 ALSOC | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 6 | 0 | 6 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 9 | 2 | 11 |
Habilitations | 0 | 0 | 0 |
Thesis | 3 | 0 | 3 |
- N. Belleville, K. Heydemann, D. Couroussé, Th. Barry, B. Robisson, A. Seriai, H.‑P. Charles : “Automatic Application of Software Countermeasures Against Physical Attacks”, chapter in Cyber-Physical Systems Security, pp. 135-155, (Springer International Publishing), (ISBN: 978-3-319-98934-1) [Belleville 2018b]
- Letitia W. Li, D. Genius, L. Apvrille : “Formal and Virtual Multi-level Design Space Exploration.”, chapter in International Conference on Model-Driven Engineering and Software Development., pp. 47-71, (Springer) [Li 2018]