Verimag takes part to the "fête de la science"

Sections

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

---

---

• Building Access

News

• Conferences
  • November 25-29 2019 Synchron 2019

Seminars

• Seminars
  • 21 November 2019 Sophie Tourret: Stronger higher-order automation
  • 25 November 2019 Moshe Vardi: Technology is driving the future, but who is steering?

New publications

• Recent Publications
  • Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
  • Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis: A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
  • Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
  • Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
  • Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
  • Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !

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