MSc Students (since 2002)
- Stefan Vijzelaar, A Virtual Shared Disk on Distributed Redundant Storage, VU, April 2010 (co-supervised by Herbert Bos)
- Despo Galataki, Design and Analysis of UniPro Protocols for Mobile Phones, VU, July 2009 (co-supervised by Andrei Radulescu at ST-Ericsson and by Kees Verstoep)
- Maciej Gazda, On Modal Characterizations and Turning GSOS Rules into Equations, VU, January 2009
- Atul Mehta, Fault Tolerant Rings: Creation and Maintenance, VU, September 2008
- Bas Kloet, Measuring and Improving the Quality of File Carving Methods, Technische Universiteit Eindhoven, September 2007 (co-supervised by Rob Mora at Hoffmann BV)
- Cynthia Maasbommel, A Formal Analysis of the RIES Internet Voting Protocol, VU, April 2007
- Francois Mbgong, Dolev-Klawe-Rodeh Leader Election for Anonymous Rings, VU, June 2006
- Martijn Monteban, Reduction Algorithms on Linear Process Equations, VU, May 2005 (co-supervised by Jaco van de Pol at CWI)
- Allard Kakebeek, Extension and Formal Verification of a Distributed Lift System in UPPAAL, Radboud Universiteit, August 2005
- Martin Mach, Verification of Behavior Protocols, VU, August 2003
- Bart Karstens, Analyzing the Redesign of a Distributed Lift System in UPPAAL, Universiteit Utrecht, July 2003
- Thuy Duong Vu, Structural Operational Semantics and Bounded Nondeterminism, VU, August 2002