Raphaël Jakse

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 3

Top Topics

Interactive Video

False Positives

Signature Verification

Top Venues

ISSRE Workshops

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. ISSRE (2017)
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
Interactive Runtime Verification. CoRR (2017)
Raphaël Jakse
Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding. ISSRE Workshops (2017)