Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding. - Raphaël Jakse (ISSRE Workshops, 2017)

Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. - Raphaël Jakse; Yliès Falcone; Jean-François Méhaut; Kevin Pouget (ISSRE, 2017)

Interactive Runtime Verification. - Raphaël Jakse; Yliès Falcone; Jean-François Méhaut; Kevin Pouget (CoRR, 2017)

Vérification interactive de propriétés à l'exécution. (Interactive runtime verification). - Raphaël Jakse (2019)