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 |