Sites Inria

English version

École d'hiver

Ecole RV Summit

© Inria / Photo C. Morel

Inria organise la deuxième édition de l'école RV SUMMIT ,  à Praz sur Arly du 18 au 23 mars 2018.

Cette école s'adresse à des étudiants en thèse, des postdoctorants, et des chercheurs abordant le thème de la runtime verification , mais également des industriels, qui auront une belle opportunité de rencontrer et échanger avec les membres actifs de ce thème de recherche.

  • Date : 18/03/2018 au 23/03/2018

L'école abordera autant les aspects théoriques que pratiques.

  • Sur le plan de la théorie de la runtime verification , tous les aspects de base seront couverts ainsi que les dernières avancées provenant de travaux de recherche récents.
  • Sur le plan pratique, l’école laissera l’opportunité aux participants de mettre en pratique leurs connaissances en réalisant un prototype logiciel simple d’outil de runtime verification .

Lors de cette école, les participants auront la possibilité de rencontrer des académiques éminents et d’établir des contacts qui pourront mener à des collaborations de recherche dans le futur.

Pour les participants venant de l’industrie, l’école présentera les défis principaux mais aussi des solutions possibles à ces défis pour appliquer les techniques de runtime verification à des problématiques industrielles.

Les principaux outils de vérification à l’exécution seront présentés mais également les principes de base permettant la construction de ces outils.

Les cours seront donnés par des experts dans le domaine de la "Runtime Verification"

  • Wolfgang Ahrendt (Chalmers University of Technology , Sweden).
  • Christian Colombo (University of Malta , Malta).
  • Alexandre Donze (DECYPHIR Inc. , France).
  • Adrian Francalenza (University of Malta , Malta).
  • Nikolai Kosmatov (CEA, France).
  • Martin Leucker (University of Lubeck , Germany).
  • Joao Lourenco (University of Lisbon , Portugal).
  • Gordon Pace (University of Malta , Malta).
  • Laurence Pierre (Université de Grenoble, France).
  • César Sanchez (IMDEA Madrid , Spain).
  • Gerardo Schneider (Chalmers University of Technology , Sweden).

Thèmatiques :

  • Foundations of runtime verification.
  • Monitoring Cyber-Physical Systems.
  • Stream Runtime Verification.
  • Runtime Verification for concurrency errors.
  • Runtime Verification for Decentralised and Distributed Systems.
  • Combination of Runtime Verification with Static Analysis.
  • Implementation of Runtime Verification Monitor.
  • FPGA-based monitoring.
  • Hardware monitoring.

Programme complet sur le site de l'école RV Summit

Mots-clés : RUNTIME Runtime verification

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !