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

• Seminars
  • 25 November 2019 Moshe Vardi: Technology is driving the future, but who is steering?

New publications

• Recent Publications
  • Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
  • Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
  • Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
  • Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
  • Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms

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

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
  • Documents
• Teams
  • Pacss
  • RSD
  • Synchrone
  • Tempo
• Contact
  • Whom to contact
  • How to reach us
• Site Map

• Building Access