Erreur 404

Nouvelles publications

• Publications Récentes
  • Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
  • Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Ascertaining Uncertainty for Efficient Exact Cache Analysis
  • Anaïs Durand: Election et anneaux unidirectionnels en présence d'homonymes
  • Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
  • Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau: Collision Prevention in Distributed 6TiSCH Networks
  • Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp: ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Offres d'emploi et stages

• Offres d'emploi et stages
  • Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
  • Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
  • [M1 internship] Modeling of Graph Topologies Using Coq
  • [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
  • [M2 internship] Models of Distributed Algorithms

Rubriques

• Verimag
  • Membres
  • Publications
  • Outils
  • Projets
  • Partenaires
  • Colloques et Conférences
  • Documents
• Équipes
  • Pacss
  • RSD
  • Synchrone
  • Tempo
• Contact
  • Qui contacter
  • Venir à Verimag
• Plan du site

• Acces au Batiment