Error 404

New publications

• Recent Publications
  • Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
  • Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
  • Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
  • Ajoy Kumar Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore: Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
  • Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor

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
  • Self-Stabilization in TVG
  • Simulation of Distributed Algorithms

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