| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
| Publications ALSOC | 2023 | 2024 | Total |
|---|---|---|---|
| Books | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 |
| Journal articles | 6 | 0 | 6 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 9 | 4 | 13 |
| Habilitations | 0 | 0 | 0 |
| Thesis | 3 | 0 | 3 |
- C. Ciocan, M. Kandeepan, A. Cassagne, J. Vaubaillon, F. Zander, L. Lacassagne : “Une nouvelle application de détection de météores robuste aux mouvements de caméra”, Groupe de Recherche et d'Études de Traitement du Signal et des Images (GRETSI), Grenoble, France [Ciocan 2023]
- D. Genius, L. Apvrille : “A Tool for Investigating Cyber-Physical Systems via SystemC AMS Virtual Prototypes Derived from SysML Models”, DVCon 2023 (research track), Munich (Germany), Germany, pp. 1-6, (Accellera) [Genius 2023a]
- D. Genius, L. Apvrille : “Hierarchical Design of Cyber-Physical Systems”, 11th International Conference on Model-Based Software and Systems Engineering - MODELSWARD, Lisbon (virtual ), Portugal, pp. 117-124, (SciTePress) [Genius 2023b]
- A. Gicquel, D. Hardy, K. Heydemann, E. Rohou : “SAMVA: Static Analysis for Multi-Fault Attack Paths Determination”, Constructive Side-Channel Analysis and Secure Design, Munich (Allemagne), Germany, pp. 3-22, (Springer), (ISBN: 978-3-031-29497-6) [Gicquel 2023]
- M. Kandeepan, C. Ciocan, A. Cassagne, L. Lacassagne : “Parallélisation d'une nouvelle application embarquée pour la détection automatique de météores”, COMPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Annecy (France), France [Kandeepan 2023]
- Q. Meunier, A. Taleb : “VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations”, Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, vol. 1, Rome, Italy, pp. 520-527, (SciTePress), (ISBN: 978-989-758-666-8) [Meunier 2023a]
- M. Millet, A. Cassagne, N. Rambaux, L. Lacassagne : “Real-Time and Approximate Iterative Optical Flow Implementation on Low-Power Embedded CPUs”, 2023 IEEE 34th International Conference on Application-specific Systems, Architectures and Processors (ASAP), Porto, Portugal, pp. 135-138, (IEEE) [Millet 2023]
- I. Tarhan, J. Carlier, C. Hanen, A. Jouglet, A. Munier‑Kordon : “Parametrized analysis of an enumerative algorithm for a parallel machine scheduling problem”, 29th International European Conference on Parallel and Distributed Computing (EURO-PAR 2023), Limassol (Chypre), Cyprus [Tarhan 2023]
- S. Tollec, M. Asavoae, D. Couroussé, K. Heydemann, M. Jan : “µArchiFI: Formal modeling and verification strategies for microarchitetural fault injections”, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023, Ames, IO, United States, pp. 101-109, (TU Wien Academic Press), (ISBN: 978-3-85448-060-0) [Tollec 2023]