Doctorat Honoris Causa UGA pour Moshe Vardi

Rubriques

• Verimag
  • Membres
  • Publications
  • Outils
  • Projets
  • Partenaires
  • Colloques et Conférences
  • Séminaires
  • Documents
• Équipes
• Contact
• Plan du site

---

• Acces au Batiment

Actualités

• Conférences
  • Du 28 septembre au 2 octobre 2020 AlgoTel et CoRes 2020
  • Du 18 au 21 novembre 2020 SSS 2020

Nouvelles publications

• Publications Récentes
  • Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
  • Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
  • Hang Yu, David Monniaux: An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection
  • Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
  • Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms

Offres d'emploi et stages

• Offres d'emploi et stages
  • 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 position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
  • Self-Stabilization in TVG