Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
Publications DELYS | 2023 | 2024 | Total |
---|---|---|---|
Books | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 |
Journal articles | 2 | 2 | 4 |
Book chapters | 1 | 0 | 1 |
Conference papers | 8 | 3 | 11 |
Habilitations | 0 | 0 | 0 |
Thesis | 5 | 2 | 7 |
- L. Blin, G. Le Bouder, F. Petit : “Optimal Memory Requirement for Self-Stabilizing Token Circulation”, Lecture Notes in Computer Science, vol. 14662, Lecture Notes in Computer Science, Salerno, Italy, pp. 101–118, (Springer), (ISBN: 978-3-031-60602-1) [Blin 2024b]
- N. Maurice, J. Sopena, L. Lacassagne : “A new efficient Split and Merge algorithm for embedded systems”, International Conference on Image Processing (ICIP), Abu Dabi, United Arab Emirates, pp. 3613-3619, (IEEE) [Maurice 2024]
- E. Schiebelbein, S. Hatia, A. Bieniusa, G. Petri, C. Ferreira, M. Shapiro : “Models for Storage in Database Backends: A Rigorous Approach for Formally-Correct Designs”, Proceedings of the EuroSys 2024 workshops, Athènes, Greece [Schiebelbein 2024]