Mariëlle Ida Antoinette Stoelinga
Original record- Institution
- Katholieke Universiteit Nijmegen
- Year
- 2002
- Country
- Netherlands
- MGP identifier
- 66078
Dissertation: Alea jacta est: Verification of probabilistic, real-time and parametric systems
Advisor 1
- Frits Willem VaandragerUniversiteit van Amsterdam · 1990
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Waheed Ahmad | Universiteit Twente | 2017 | 0 |
| Laura Brandán Briones | Universiteit Twente | 2007 | 0 |
| Marcus Gerhold | Universiteit Twente | 2018 | 0 |
| Dennis Guck | Universiteit Twente | 2017 | 0 |
| Rajesh Kumar | Universiteit Twente | 2018 | 0 |
| Jeroen Meijer | Universiteit Twente | 2019 | 0 |
| Stefano M. Nicoletti | Universiteit Twente | 2024 | 0 |
| Enno Jozef Johannes Ruijters | Universiteit Twente | 2018 | 0 |
| Mark Timmer | Universiteit Twente | 2013 | 0 |