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

2019

Reports

titre
Interactive Runtime Verification: Formal Models, Algorithms, and Implementation
auteur
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut
article
[Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02190656/file/acmsmall.pdf BibTex

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
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
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01331973/file/paper.pdf BibTex