Collaborators

Post-Docs

  • Benjamin Lesage - Scheduling and Timing Analysis for Mixed Criticality Systems

PhD students

  • Omar Jaradat - Certification of Component-Based Systems - supervised with Sasi Punnekkat
  • Stephen Law - Dynamic analysis techniques for WCET on safety critical RTS
  • Samuel Jimenez Gil - Probabilistic Timing Analysis