| Modelling and parameterized verification of mobile networks |
SUMO |
D4 - Langage et génie logiciel |
1/10/2022 |
| Mediation infrastructure for ephemeral interactions in smart environments |
EASE |
D2 - Réseaux, télécommunication et services |
dès que possible |
| Nouvelles interactions 3D et haptiques pour le patrimoine culturel |
HYBRID |
D6 - Média et interactions |
1/10/2022 |
| Automatisation de preuves calculatoires de protocoles - Squirrel |
SPICY |
D1 - Systèmes large échelle |
Septembre 2022 |
| SCHEDFAST : Understanding Linux scheduling bottlenecks |
WIDE |
D1 - Systèmes large échelle |
01/10/2022 |
| Efficient, Correct, and Practical High-Level Synthesis |
CELTIQUE |
D4 - Langage et génie logiciel |
|
| Information backdooring in graphs |
WIDE |
D1 - Systèmes large échelle |
dès que possible |
| Profile-Guided optimization for Dynamic Languages |
PACAP |
D3 - Architecture |
dès que possible |
| Approches par modification de code machine pour la défense contre les attaques ROP et JOP |
PACAP |
D3 - Architecture |
dès que possible |
| Combining educational resources through graph representation learning |
DRUID |
D7 - Gestion des données et de la connaissance |
dès que possible |