Raphaël Jakse

Raphaël's Identity photo

I’m currently a PhD student under the supervision of Yliès Falcone and Jean-François Méhaut, working on monitoring (and debugging) Component-Based Systems. I first worked with Yliès as an intern during my second year of Bachelor. During this internship, I wrote Aude, a tool for manipulating, learning, and teaching finite state automata and the automata theory. I then worked with Gilles Sérasset and Christian Boitet on DBnary, an effort to provide multilingual lexical data extracted from Wiktionary. I came back to Yliès during my first year of Masters and worked with him, Kevin Pouget, Jean-François Méhaut on Property Verification at Runtime with a Debugger and continued working on this subject during my second year of masters.

Publications

Publications HAL de Raphaël Jakse

2017

Conference papers

titre
Interactive Runtime Verification – When Interactive Debugging meets Runtime Verification
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
article
ISSRE17 – 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01592671/file/ieee.pdf BibTex

2016

Conference papers

titre
Vérification interactive de propriétés à l’exécution d’un programme avec un débogueur
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
article
Compas’2016, Jul 2016, Lorient, France. Compas’2016 : Parallélisme / Architecture / Système Lorient, France, du 5 au 8 juillet 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01331973/file/paper.pdf BibTex