| Multi-agent Attack Defense Trees for Risk Analysis (MADTRA) |
LogicA |
D4 - Langage et génie logiciel |
Septembre 2021 |
| Learning for Distributed Control |
SUMO |
D4 - Langage et génie logiciel |
automne 2021 |
| Smart Building of Software Variants |
DIVERSE |
D4 - Langage et génie logiciel |
01/09/2021 |
| Automatic structures and graph transformations |
LogicA |
D4 - Langage et génie logiciel |
Dès que possible |
| Verification of distributed algorithms with fair schedulers |
SUMO |
D4 - Langage et génie logiciel |
01/09/2021 |
| Incremental Build of Software Configurations |
DIVERSE |
D4 - Langage et génie logiciel |
01/09/2021 |
| Smart Microservicization, Deployment and Dynamic Reconfiguration of Distributed Systems |
DIVERSE |
D4 - Langage et génie logiciel |
2021 |
| Automatic Verification of Structural and Relational Properties |
CELTIQUE |
D4 - Langage et génie logiciel |
Septembre 2021 |
| Techniques de Compilation Optimisante basées sur les Dépendances - Formalisation et Vérification |
CELTIQUE |
D4 - Langage et génie logiciel |
A partir de la rentrée 2021 |