Seminar details

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
  • Documents
• Teams
• Contact
• Site Map

• Building Access

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
  • Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
  • Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
  • Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
  • Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
  • Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions

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