CC

Sections

• Verimag
• Teams
  • Synchrone
  • Tempo
    • Partners
    • Tempo Team members
    • Tools
    • Projects
    • Jobs and Internships
    • Publications
  • Pacss
  • RSD
• Contact
• Site Map

---

---

• Building Access

News

• Conferences
  • 10-13 November 2018 RV 2018

Seminars

• Seminars
  • 23 October 2018 Thusitha asela Bandara: An adaptive charge protocol for lithium-lon batteries

New publications

• Recent Publications
  • Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
  • Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
  • Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin: Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
  • Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
  • Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo: Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)
  • Sylvain Boulmé, Alexandre Maréchal: Toward Certification for Free!

Jobs and internships

• Jobs and internships
  • 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
  • Post-Doc and/or Research Engineer positions on Software Security
  • [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
  • [M2 internship] Self-Stabilization in TVG
  • [Postdoc positions] Coq Developments