| DEBLOAZR: Web Browser Debloating with Large Language Models for Resilience to Adversarial AI |
DIVERSE |
D4 - Langage et génie logiciel |
Octobre 2025 |
| Formal Verification of Root of Trust Software |
EPICURE |
D4 - Langage et génie logiciel |
|
| Calcul scientifique pour explorer l'impact du changement climatique |
DIVERSE |
D4 - Langage et génie logiciel |
|
| Modélisation, classification et détection de vulnérabilités et leurs variants dans les bases de codes logiciels à l'aide de l'IA |
DIVERSE |
D4 - Langage et génie logiciel |
|
| Model Hybridization in the Context of Digital Twins |
DIVERSE |
D4 - Langage et génie logiciel |
septembre 2025 |
| Multi-Objective Debloating : from automatic vulnerability fixing to enhancing energy consumption, build and testing performances |
SECREIZH |
D4 - Langage et génie logiciel |
octobre 2025 |
| Compilation Générique Certifiée par Machines Abstraites |
EPICURE |
D4 - Langage et génie logiciel |
01/09/2025 |
| Different flavours of robustness in weighted timed games |
DEVINE |
D4 - Langage et génie logiciel |
01/09/2025 |
| Abstractions for probabilistic parameterized systems |
DEVINE |
D4 - Langage et génie logiciel |
01/09/2025 |