SSS is an international forum for researchers and practitioners in the design and development of distributed systems with self-* properties: (classical) self-stabilizing, self-configuring, self-organizing, self-managing, self-repairing, self-healing, self-optimizing, self-adaptive, and self-protecting. Research in distributed systems is now at a crucial point in its evolution, marked by the importance of dynamic systems such as peer-to-peer networks, large-scale wireless sensor networks, mobile ad hoc networks, cloud computing, robotic networks, etc. Moreover, new applications such as grid and web services, banking and e-commerce, e-health and robotics, aerospace and avionics, automotive, industrial process control, etc. have joined the traditional applications of distributed systems. The theory of self-stabilization has been enriched in the last 30 years by high quality research contributions in the areas of algorithmic techniques, formal methodologies, model theoretic issues, and composition techniques. All these areas are essential to the understanding and maintenance of self-* properties in fault-tolerant distributed systems.

SSS’2011, October 10-12, Grenoble
13th International Symposium on Stabilization, Safety, and Security of Distributed Systems
View online : SSS’2011
Browsing
Sections
-
Verimag
- Members
- Publications
- Tools
- Jobs and Internships
- Projects
- Partners
-
Workshops and Conferences
- 20 years of Verimag, September
- PERSYVAL-Lab Summer School on
- ACES’2008 September 29th, (...)
- ADSL 2018
- ADSL 2020 (@POPL 2020)
- AlgoTel 2017
- AlgoTel et CoRes 2020
- ARCH14
- ARTIST Summer School in (...)
- ARTIST2 Summer School 2008 in
- ASL 2022 : Advances in (...)
- AVM 2014
- AVoCS 2019
- BEeSy 2015
- CAPITAL Workshop - sCalable
- CAS 2012, January 13, Grenoble
- CAV 2009 June 26 - July (...)
- EMSOFT 2009 October 12 - (...)
- ETAPS 2014
- Euro-Par 2016
- FAC 2014
- FIMCP 2013, May 2nd, Marrakech
- FORMATS 2014
- FORMATS 2015
- GreHack 2016
- GT Verif 2018
- HSB 2014
- HSCC 2012, Apr 17-19, Beijing
- ICDCN 2012, January 3-6, (...)
- IWHSB 2013
- MEMOCODE 2010, July 26-28,
- MEMOCODE 2011, July 11-13,
- MeTRiD 2018
- MOVEP 2020
- RESSI 2017
- RTNS 2017
- RV 2018
- SSS 2020
- SSS’2011, October 10-12, (...)
- SSS’2016
- Synchron 2019
- SynCoP 2014
- Toward Systems Biology (...)
- VECoS 2018
- VVS
- WCET 2013, July 9, 2013, (...)
- WFAC’2008 - October 19th, (...)
- Workshop CAPITAL
- Workshop CAPITAL 2022: (...)
- Workshop on Timing Anomalies
- RESSI 2017 : les Rendez-vous
- Seminars
- Documents
- Topics
- Contact
- Site Map
News
- Seminars
- 31 May 2022 Matheus Schuh: Safe implementation of hard real-time applications on many-core platforms (Phd)
- 3 June 2022 Capital Workshop : Workshop capital 2022 : scalable and precise timing analysis for multicore (...)
- 14 June 2022 Joel Goossens: Real-time computing, foundation
- 16 June 2022 Joel Goossens: Periodicity of real-time priority driven schedulers with preemption delay on (...)
- 21 June 2022 Joel Goossens: Real-time computing, multiprocessor scheduling problems
Seminars
New publications
- Some Recent Publications
- Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar: Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
- Stéphane Devismes, Pascal Lafourcade: Un jour sans fin
- Sylvain Boulmé: Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
Jobs and internships
- Jobs and internships
- (un)decidability of polyhedral invariant inference
- Thèse CIFRE : Cybersecurity - Fault injection attacks
- Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
- verified decomposition of arithmetic operators
- Verified global value numbering
- [L3/M1/M2 Internship] Topics in Formally Verified Compilation
- [master or PhD] Convex polyhedra in floating point
- [master] automatic insertion of countermeasures in a verified compiler
- [Master] Decision Procedures for Separation Logic Modulo Theories of Data
- [Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
- [master] formally verified hash-consing
- [Master] Local Reasoning about Reconfigurable Component-based Systems
- [Master] Multi-core Interference analysis and Global Scheduling
- [Master] Simulation of Distributed Algorithms
- [Master] Verifying Concurrent Systems with Automata over Infinite Alphabets