| Modelling and parameterized verification of mobile networks |
SUMO |
D4 - Language and software engineering |
1/10/2022 |
| Mediation infrastructure for ephemeral interactions in smart environments |
EASE |
D2 - Networks, telecommunication and services |
dès que possible |
| Nouvelles interactions 3D et haptiques pour le patrimoine culturel |
HYBRID |
D6 - Media and interactions |
1/10/2022 |
| Automatisation de preuves calculatoires de protocoles - Squirrel |
SPICY |
D1 - Large scale systems |
Septembre 2022 |
| SCHEDFAST : Understanding Linux scheduling bottlenecks |
WIDE |
D1 - Large scale systems |
01/10/2022 |
| Efficient, Correct, and Practical High-Level Synthesis |
CELTIQUE |
D4 - Language and software engineering |
|
| Information backdooring in graphs |
WIDE |
D1 - Large scale systems |
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 - Data and knowledge management |
dès que possible |