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 |