› Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération - Roméo La Spina, Université de Rennes 1, LANGAGE ET GÉNIE LOGICIEL, Institut national de recherche en informatique et en automatique
11:30-12:00 (30min)
› Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis - Quentin PEYRAS, LRE
12:00-12:30 (30min)
› Execution-time opacity problems in (parametric) timed automata - Dylan Marinho, Laboratoire Lorrain de Recherche en Informatique et ses Applications
14:00-14:30 (30min)
› Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates - Thibaut Benjamin, Laboratoire Sûreté des Logiciels
14:30-15:00 (30min)
› CAISAR: Caractérisation et vérification des propriétés de confiance d'IA - Michele Alberti, Laboratoire Sûreté des Logiciels
15:00-15:30 (30min)
› An Iterative Formal Model-Driven Approach to Railway Systems Validation - Asfand Yar, Laboratoire d'Informatique de Grenoble
16:00-16:30 (30min)
› Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction - Bahareh Afshinpour, Université Grenoble Alpes
16:30-17:00 (30min)