现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
- D. Akkoorath, A. Tomsic, M. Bravo, Zh. Li, T. Crain, A. Bieniusa, N. Preguiça, M. Shapiro : “Cure: Strong semantics meets high availability and low latency”, [Akkoorath 2016a]
- A. Blin, C. Courtaud, J. Sopena, J. Lawall, G. Muller : “Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System”, [Blin 2016a]
- M. Bournat, Ajoy K. Datta, S. Dubois : “Self-Stabilizing Robots in Highly Dynamic Environments”, [Bournat 2016b]
- M. Bournat, S. Dubois, F. Petit : “Computability of Perpetual Exploration in Highly Dynamic Rings”, [Bournat 2016c]
- M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, M. Shapiro : “The CISE Tool: Proving Weakly-Consistent Applications Correct”, [Najafzadeh 2016a]
- A. Rossetto, L. Arantes, P. Sens, C. Geyer : “Impact: an Unreliable Failure Detector Based on Processes' Relevance and the Confidence Degree in the System”, [Rossetto 2016]
- M. Shapiro : “Rencontre avec Marc Shapiro et son projet européen SyncFree”, [Shapiro 2016a]
- M. Shapiro, M. Saeida Ardekani, G. Petri : “Consistency in 3D”, [Shapiro 2016b]