Error 404

New publications

• Recent Publications
  • Robert I. Davis, Sebastian Altmeyer, Leandro Indrusiak, Claire Maiza, Vincent Nelis, Jan Reineke: An extensible framework for multicore response time analysis
  • Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Vincent Villain: Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge
  • Egor George Karpenkov, David Monniaux: Formula Slicing: Inductive Invariants from Preconditions
  • Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle: Guided search for hybrid systems based on coarse-grained space abstractions
  • Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Lee, Aude Crohen, Philippe De Choudens: FISSC: A Fault Injection and Simulation Secure Collection
  • Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King: A Decision Procedure for Separation Logic in SMT

Jobs and internships

• Jobs and internships
  • A Post-Doc Position at the Tempo group
  • Magistère M1/M2, M2R: Certification of Distributed Self-Stabilizing Algorithms Using Coq
  • 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
  • PhD: Certified roundoff error bounds for programs with loops using polynomial optimization
  • [Magistère M1/M2, M2R] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networs

Sections

• Teams
  • Pacss
  • RSD
  • Synchrone
  • Tempo
• Verimag
  • Presentation
  • Organisation chart
  • People
  • Documents
  • How to reach us
  • Jobs and Internships
• Dissemination
  • Partners
  • Projects
  • Seminars
  • Tools
  • Workshops and Conferences
  • Publications
• Site Map

• Building Access