Collaborators

Post-Docs

PhD students

  • Mahnaz Malekzadeh - Testing of safety-critical systems - supervised with Sasi Punnekkat
  • 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