Journées nationales du GDR GPL 2022

Accueil

Invité

Amphithéatre ENSIBS

Gwen Salaün

› Modelling, analysis and optimisation of BPMN processes - Gwen Salaün, Laboratoire d'Informatique de Grenoble 09:00-10:30 (1h30)

Pause café

AFADL

Amphithéatre ENSIBS

Vérification de systèmes (Chair : Aurélie Hurault)

› Etude comparative des méthodes pour la vérification des systèmes cyber-physiques basés machine learning - 11:00-11:20 (20min)

› Vérification formelle d'une carte à puce pour une certification Critères Communs - 11:30-11:50 (20min)

Atelier Practical Debugging

D010

Steven Costiou

› Practical Debugging: a hands on tutorial with Pharo - Maximilian Ignacio Willembrinck Santander, CRIStAL - Steven Costiou, CRIStAL 11:00-12:30 (1h30)

Atelier Dissémination

A105

Mathieu Acher

› Dissémination en science du logiciel - 11:00-12:30 (1h30)

Déjeuner

Session AFADL & LVP

Amphithéatre ENSIBS

Alain Giorgetti et Julien Signoles

› Knit&Frog: Pattern matching compilation for custom memory representations - Thaïs Baudon, Laboratoire de l'Informatique du Parallélisme 14:00-14:30 (30min)

› Typage avancé de langages dynamiques - Mickaël Laurent, Université Paris Cité 14:30-15:00 (30min)

› Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup - Hugo Gimbert, Laboratoire Bordelais de Recherche en Informatique 15:00-15:30 (30min)

Session GT IE & AFSEC

D010

Régine Laleau

› Automatic Support for Requirements Validation - Rabéa Ameur-Boulifa, Télécom Paris 14:00-14:45 (45min)

› Couplage des approches MBSE et MDAO pour le dimensionnement d'une batterie de drone - Ombeline Aïello, Institut Supérieur de lÁéronautique et de lÉspace, DTIS, ONERA [Toulouse] 14:45-15:30 (45min)

Pause café

AFADL

Amphithéatre ENSIBS

Systèmes temporisés (chair : Akram Idani)

› Étude de propriétés d'opacité temporisée à l'aide de vérification temporisée paramétrée - Dylan Marinho, Laboratoire Lorrain de Recherche en Informatique et ses Applications 16:00-16:20 (20min)

› Illustration de spécifications temporisées paramétrées sur des signaux continus - Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications 16:30-16:50 (20min)

Session GT IE & AFSEC

D010

Régine Laleau

› Spécification formelle de systèmes cyber-physiques et Ingénierie système assistée par la simulation - Thuy Nguyen, EDF 16:00-16:45 (45min)

AG

Amphithéatre ENSIBS

Mireille Blay-Fornarino & Catherine Dubois

Programme