Raphaël Jakse

According to our database, Raphaël Jakse authored at least 4 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Vérification interactive de propriétés à l'exécution. (Interactive runtime verification).

Raphaël Jakse

PhD thesis, 2019

2017

Interactive Runtime Verification.

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget

CoRR, 2017

Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding.

Raphaël Jakse

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017