Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
New publications
- Recent Publications
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- David Monniaux: On the decidability of the existence of polyhedral invariants in transition systems
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Self-Stabilization in TVG
