Groupe

Description du groupe YODA

YODA : trustworthY and Optimal Dynamic Adaptation

Responsables

  • Rabéa Ameur-Boulifa
  • Simon Bliudze
  • Hélène Coullon

Site web du groupe : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/YODA/

Description du groupe VL

 

Groupe de Travail Vélocité Logicielle (GT VL)

Responsables :

  • Thomas Degueule
  • Djamel E. Khelladi

Sites web du groupe :

https://gt-vl.github.io/journees2020/

https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20Rimel/

Description du groupe LVP

LVP : Langages et Vérification de Programmes

Responsables

  • Alain Giorgetti
  • Julien Signoles

Présentation du groupe de travail : https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20Langages%20et%20v%C3%A9rification%20de%20programmes%20%28LVP%29/

Site web du groupe de travail : https://groupes.renater.fr/wiki/lvp

Description du groupe HiFi

HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Emergents

Responsables

Description du groupe Debugging

GT Debugging

Ce GT a pour objectif de rassembler dans une même communauté tout chercheur, ingénieur, équipe industrielle ou du GDR qui s’intéresse aux problèmes du debugging logiciel.

Nous nous intéressons aux défis scientifiques et techniques de la conception et de l’implémentation de solutions et d’outils de debugging, à leur généralisation et à leur évaluation empirique.

YODA

YODA : trustworthY and Optimal Dynamic Adaptation

Pages

S'abonner à RSS - Groupe