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
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
-
Theses
- titre
- Interactive Runtime Verification
- auteur
- Raphaël Jakse
- article
- Mathematical Software [cs.MS]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM075⟩
- Accès au texte intégral et 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
-
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
-
