Interactive Runtime Verification ; Vérification interactive de propriétés à l'exécution - Jakse, Raphaël; Laboratoire d'Informatique de Grenoble (LIG); Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ); Compiler Optimization and Run-time Systems (CORSE); Centre Inria de l'Université Grenoble Alpes; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG); Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP); Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP); Université Grenoble Alpes (UGA); Université Grenoble Alpes; Jean-François Méhaut; Yliès Carlo Falcone (https://inria.hal.science/tel-02460734 ; Mathematical Software [cs.MS]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM075⟩, 2019)