| Une démarche XAI pour la caractérisation et la conceptualisation des Fake News. |
ARCHWARE |
D4 - Langage et génie logiciel |
01/10/2022 |
| Compositional verification of system program modules in Rust |
TEA |
D4 - Langage et génie logiciel |
dès que possible |
| Handling Evolution for Polyglot and Live Programming |
DIVERSE |
D4 - Langage et génie logiciel |
Fin 2022 |
| DevOps et IHM pour l'ingénierie des systèmes complexes |
DIVERSE |
D4 - Langage et génie logiciel |
|
| Gestion de la variabilité dans les applications de réalité virtuelle |
DIVERSE |
D4 - Langage et génie logiciel |
|
| Approximation pour l'optimisation de performances : application à l'efficience des transports urbains. |
SUMO |
D4 - Langage et génie logiciel |
Septembre 2022 |
| Efficient, Correct, and Practical High-Level Synthesis |
CELTIQUE |
D4 - Langage et génie logiciel |
octobre |
| Actifs & Menaces dans l'Architecture Sécurisée d'un SystèmE de systèmes |
ARCHWARE |
D4 - Langage et génie logiciel |
|
| Modelling and parameterized verification of mobile networks |
SUMO |
D4 - Langage et génie logiciel |
1/10/2022 |