Students of Frits Vaandrager

Current PhD Students

  1. Petra van den Bos
  2. Ramon Janssen
  3. Alexis Linard
  4. Joshua Moerman
  5. Nino Pellegrino

Past PhD Students

(See also my
entry in the Mathematics Genealogy Project.)
  1. Paul Fiterau-Brostean
    Active Model Learning for the Analysis of Network Protocols
    Radboud University Nijmegen, April 13, 2018.
  2. Rick Smetsers
    Advances in Model Learning for Software Systems
    Co-promotor: Sicco Verwer
    Radboud University Nijmegen, March 29, 2018.
  3. Fides Aarts
    Tomte : bridging the gap between active learning and real-world systems
    Radboud University Nijmegen, October 27, 2014.
  4. Freek Verbeek
    Formal Verification of On-Chip Communication Fabrics
    Second promotor: Marko van Eekelen; co-promotor: Julien Schmaltz
    Radboud University Nijmegen, March 26, 2013.
  5. Georgeta Igna
    Performance Analysis of Real-Time Printing Systems using Timed Automata
    Radboud University Nijmegen, January 22, 2013.
  6. Faranek Heidarian Dehkordi
    Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference
    Radboud University Nijmegen, July 5, 2012.
  7. Jasper Berendsen
    Abstraction, Prices and Probability in Model Checking Timed Automata
    Radboud University Nijmegen, November 3, 2010.
  8. Marcel Verhoef
    Modeling and Validating Distributed Embedded Real-Time Control Systems
    (co-promotor: Jozef Hooman) Radboud University Nijmegen, January 21, 2009.
  9. Adriaan de Groot
    Practical Automaton Proofs in PVS
    (co-promotor: Jozef Hooman)
    Radboud University Nijmegen, March 6, 2008.
  10. Biniam Gebremichael
    Expressiveness of Timed Automata Models
    Radboud University Nijmegen, December 11, 2006.
  11. Ling Cheung
    Reconciling Nondeterministic and Probabilistic Choices
    Radboud University Nijmegen, September 18, 2006 (cum laude)
  12. Martijn Hendriks
    Model Checking Timed Automata: Techniques and Applications
    Radboud University Nijmegen, April 4, 2006
  13. Goran Frehse
    Compositional Verification of Hybrid Systems using Simulation Relations
    Radboud University Nijmegen, October 2005
    Second promotor: Sebastian Engell, University of Dortmund
  14. Mariëlle Stoelinga
    Alea jacta est: Verification of Probabilistic, Real-Time and Parametric Systems
    University of Nijmegen, April 22, 2002
  15. Ansgar Fehnker
    Citius, Vilius, Melius: Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems
    University of Nijmegen, April 15, 2002 (cum laude)
  16. David Griffioen
    Studies in Computer Aided Verification of Protocols
    University of Nijmegen, May 2000
  17. Judi Romijn
    Analysing Industrial Protocols with Formal Methods
    University of Twente, October 1999
    First promotor: Ed Brinksma, University of Twente
  18. Maurice klein Gebbinck
    Decomposition of mixed pixels in remote sensing images to improve the area estimation of agricultural fields
    University of Nijmegen, November 1998
    Co-promotor: Theo Schouten
  19. Frans Panken
    Design and performance evaluation of multiple-access protocols for ATM-based passive optical networks
    University of Nijmegen, November 1997
    Co-promotor: Chris Blondia, University of Antwerp

Past Research Internships

  • Alexander Fedotov, Fall 2015.
  • Past Master Thesis Students

    1. Gijs van der Meijde
      Refactoring: A practical application of model learning and code generation
      From February 2018 - August 2018.
    2. Gerco van Heerdt
      An abstract automata learning framework
      From October 2015 - June 2016.
    3. Judith van Stegeren
      Correctness and termination of Tomte components for active register automata learning
      From March - December 2015.
    4. Ramon Janssen
      Learning and Model Checking Real-World TCP Implementations
      From September 2014 - August 2015.
    5. Petra van den Bos
      Enhancing Active Automata Learning by a User Log Based Metric
      From September 2014 - July 2015.
    6. Ferry de Bruin Het ontwikkelen van gebruiksvriendelijke Apps voor smartphones
      From May 2011 - January 2013.
    7. Wouter Smeenk
      Applying Automata Learning to Complex Industrial Software
      From February 2012 - September 2012.
    8. Fred Houben
      Design Space Exploration with Generated Timed Automata
      From September 2009 - August 2010.
    9. Frank Kusters
      Massive Parallel Computing as a Service
      From February 2008 - December 2009.
    10. Fides Aarts
      Inference and Abstraction of Communication Protocols
      University of Uppsala, Sweden, from February 2009 - November 2009.
    11. Johan Uijen
      Learning Models of Communication Protocols using Abstraction Techniques
      University of Uppsala, Sweden, from February 2009 - November 2009.
    12. Martijn Moraal
      Optimal Deployment of Distributed Systems
      University of Connecticut, USA, November 24, 2008 - November 2009. (supervisor at UConn: Laurent Michel) (winner of the AIA Master Award 2011)
    13. Erik van Beijnen (supervision together with Jan Tretmans)
      Performance evaluation of webservers, from September 2005 - September 2009.
    14. Tom van den Broek
      Towards the Cross-layer Verification of Networks-on-Chips, from September 2008 - July 2009 (daily supervisor: Julien Schmaltz)
    15. Jantien Sessink
      Formal analysis of the Jackrabbit architecture, September 2008
    16. Sander Vermolen (supervision together with Jozef Hooman and Peter Larsen)
      Automatically Discharging VDM Proof Obligations Using HOL, August 2007
    17. Hugo Brakman (supervision together with Erik Poll and Wojciech Mostowski)
      Java card software analysis using model checking, June 2007
    18. Matthijs Mekking (supervision together with Theo Schouten)
      Formalization and Verification of the SHIM6 Protocol, May 2007
    19. Stefan Roels (supervision together with Jozef Hooman)
      Applicability of model checking methods to scheduling in machines, October 2002
    20. Michiel Alsters
      Controlling the Stabilization of a Laser System --- A Hybrid Model of a Laser System and Its Components, December 2001
    21. Martin Bruggink
      SMP OSP: A Multiprocessor Operating System Simulator, October 2001
    22. Peter Ebben
      On integrity of telecommunications networks when controlled via the Parlay API, October 2001
    23. Jos Vissers
      A Design for Generic Monitoring Facilities for the Distributed Software Component Framework, University of Nijmegen, August 2000
    24. Stan Ivanov
      Verification of a Biphase Mark Protocol, University of Nijmegen, August 1998
    25. Jeroen Alink
      Adding Parameters to a Finite State Machine Language for Automatic Test Generation, University of Nijmegen, July 1998
    26. Manuel van den Berg en René ter Horst
      Smartcard Testtools - Taste, University of Nijmegen, October 1997
      Een nieuwe versie van het door Manuel en René ontwikkelde tool wordt momenteel onder de naam Conclusion op de markt gebracht door het bedrijf Collis
    27. Martijn Kaart
      Modelling of a System for Traffic Regulation at Signalized Intersections using High-level Petri Nets, University of Amsterdam, November 1995
    28. Kiavash Shams
      A Verification of Two Simple Wait-Free Registers, University of Amsterdam, August 1994
    29. David Griffioen
      Analysis of an Audio Control Protocol with Bus Collision University of Amsterdam, 1995
    30. Indra Polak
      Specification and Verification of a Real-Time Communication Protocol, University of Amsterdam, September 1993
    31. Richard Groenveld
      Verification of a Sliding Window Protocol by means of Process Algebra, University of Amsterdam, September 1987