Error 404

New publications

• Recent Publications
  • Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
  • Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
  • Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier: Prenex Separation Logic with One Selector Field
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots

Jobs and internships

• Jobs and internships
  • Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
  • 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

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