Scheduling for Mixed-Criticality Systems

Sections

• Verimag
• Teams
  • Synchrone
  • Tempo
  • Pacss
  • RSD
    • People
    • Partners
    • Research Topics
      • Modeling Component-Based (...)
      • Scalable Verification and (...)
      • Correct-by-Construction (...)
        • Real-Time Implementation
        • Scheduling for Mixed-Criticali
        • Decentralized Implementation
        • Model-to-Model Transformations
      • Domain Specific Design (...)
    • Projects
    • Tools
    • Publications
    • Jobs and Internships
• 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
  • Sylvain Boulmé, Alexandre Maréchal: A Coq Tactic for Equality Learning in Linear Arithmetic
  • Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
  • Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong: A Model-based Approach to Certification of Adaptive MILS
  • Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
  • Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
  • 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