| Automatic vulnerability fixing with debloating |
DIVERSE |
D4 - Langage et génie logiciel |
01/10/2023 |
| Polyglot testing framework for DSLs |
DIVERSE |
D4 - Langage et génie logiciel |
Septembre 2023 |
| Proving Regular Theorems on Functional Programs |
EPICURE |
D4 - Langage et génie logiciel |
septembre 2023 |
| Towards a Generic Theorem Prover for Non-Classical Logics |
LOGICA |
D4 - Langage et génie logiciel |
Septembre 2023 |
| Génie logiciel et réalité virtuelle : vers un meilleur développement des applications de RV |
DIVERSE |
D4 - Langage et génie logiciel |
Septembre |
| Model-Based DevOps: From Theory to Practice |
DIVERSE |
D4 - Langage et génie logiciel |
As soon as possible from April 2023 |