Open Guided Researches
| Title | Type | Advisors | Year | Links |
| A Framework for Automated Analysis of P4Runtime | IDP, MA, GR | Dominik Scholz, Fabien Geyer, Sebastian Gallenmüller | 2018 |
|
| A symbolic Fourier-Motzkin Solver | MA, GR | Maurice Leclaire | 2017 |
|
| I2RS - Interface to the Rounting System | BA, MA, GR | Edwin Cordeiro | 2015 |
|