Error 404

New publications

• Recent Publications
  • Karine Altisen, Stéphane Devismes, Anaïs Durand: Concurrence en allocation de ressources locales instantan'ement stabilisante
  • Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore: Leader Election in Asymmetric Labeled Unidirectional Rings
  • Dario Socci: Scheduling of Certifiable Mixed-Criticality Systems
  • Stefano Minopoli, Goran Frehse: SL2SX Translator: From Simulink to SpaceEx Models
  • Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn: Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem
  • Valentin Touzeau, Claire Maiza, David Monniaux: Model Checking of Cache for WCET Analysis Refinement

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
  • Post-Doc: Fault injection and code analysis

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