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 | 1 | 3 |
Book chapters | 1 | 0 | 1 |
Conference papers | 7 | 2 | 9 |
Habilitations | 0 | 0 | 0 |
Thesis | 5 | 1 | 6 |
- L. Blin, G. Le Bouder, F. Petit : “Optimal Memory Requirement for Self-Stabilizing Token Circulation”, Lecture Notes in Computer Science (LNCS), Springer, Salerno, Italy [Blin 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]