Students of Frits Vaandrager

Current PhD Students

  • Petra van den Bos
  • Ramon Janssen
  • Alexis Linard
  • Joshua Moerman
  • Nino Pellegrino
  • Michele Volpato
  • Current Master Thesis Students

  • Gijs van der Meijde
  • Past PhD Students

    (See also my entry in the Mathematics Genealogy Project.)
  • Paul Fiterau-Brostean
    Active Model Learning for the Analysis of Network Protocols
    Radboud University Nijmegen, April 13, 2018.
  • Rick Smetsers
    Advances in Model Learning for Software Systems
    Co-promotor: Sicco Verwer
    Radboud University Nijmegen, March 29, 2018.
  • Fides Aarts
    Tomte : bridging the gap between active learning and real-world systems
    Radboud University Nijmegen, October 27, 2014.
  • Freek Verbeek
    Formal Verification of On-Chip Communication Fabrics
    Second promotor: Marko van Eekelen; co-promotor: Julien Schmaltz
    Radboud University Nijmegen, March 26, 2013.
  • Georgeta Igna
    Performance Analysis of Real-Time Printing Systems using Timed Automata
    Radboud University Nijmegen, January 22, 2013.
  • Faranek Heidarian Dehkordi
    Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference
    Radboud University Nijmegen, July 5, 2012.
  • Jasper Berendsen
    Abstraction, Prices and Probability in Model Checking Timed Automata
    Radboud University Nijmegen, November 3, 2010.
  • Marcel Verhoef
    Modeling and Validating Distributed Embedded Real-Time Control Systems
    (co-promotor: Jozef Hooman) Radboud University Nijmegen, January 21, 2009.
  • Adriaan de Groot
    Practical Automaton Proofs in PVS
    (co-promotor: Jozef Hooman)
    Radboud University Nijmegen, March 6, 2008.
  • Biniam Gebremichael
    Expressiveness of Timed Automata Models
    Radboud University Nijmegen, December 11, 2006.
  • Ling Cheung
    Reconciling Nondeterministic and Probabilistic Choices
    Radboud University Nijmegen, September 18, 2006 (cum laude)
  • Martijn Hendriks
    Model Checking Timed Automata: Techniques and Applications
    Radboud University Nijmegen, April 4, 2006
  • Goran Frehse
    Compositional Verification of Hybrid Systems using Simulation Relations
    Radboud University Nijmegen, October 2005
    Second promotor: Sebastian Engell, University of Dortmund
  • Mariëlle Stoelinga
    Alea jacta est: Verification of Probabilistic, Real-Time and Parametric Systems
    University of Nijmegen, April 22, 2002
  • 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)
  • David Griffioen
    Studies in Computer Aided Verification of Protocols
    University of Nijmegen, May 2000
  • Judi Romijn
    Analysing Industrial Protocols with Formal Methods
    University of Twente, October 1999
    First promotor: Ed Brinksma, University of Twente
  • 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
  • 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

  • Gerco van Heerdt
    An abstract automata learning framework
    From October 2015 - June 2016.
  • Judith van Stegeren
    Correctness and termination of Tomte components for active register automata learning
    From March - December 2015.
  • Ramon Janssen
    Learning and Model Checking Real-World TCP Implementations
    From September 2014 - August 2015.
  • Petra van den Bos
    Enhancing Active Automata Learning by a User Log Based Metric
    From September 2014 - July 2015.
  • Ferry de Bruin Het ontwikkelen van gebruiksvriendelijke Apps voor smartphones
    From May 2011 - January 2013.
  • Wouter Smeenk
    Applying Automata Learning to Complex Industrial Software
    From February 2012 - September 2012.
  • Fred Houben
    Design Space Exploration with Generated Timed Automata
    From September 2009 - August 2010.
  • Frank Kusters
    Massive Parallel Computing as a Service
    From February 2008 - December 2009.
  • Fides Aarts
    Inference and Abstraction of Communication Protocols
    University of Uppsala, Sweden, from February 2009 - November 2009.
  • Johan Uijen
    Learning Models of Communication Protocols using Abstraction Techniques
    University of Uppsala, Sweden, from February 2009 - November 2009.
  • 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)
  • Erik van Beijnen (supervision together with Jan Tretmans)
    Performance evaluation of webservers, from September 2005 - September 2009.
  • Tom van den Broek
    Towards the Cross-layer Verification of Networks-on-Chips, from September 2008 - July 2009 (daily supervisor: Julien Schmaltz)
  • Jantien Sessink
    Formal analysis of the Jackrabbit architecture, September 2008
  • Sander Vermolen (supervision together with Jozef Hooman and Peter Larsen)
    Automatically Discharging VDM Proof Obligations Using HOL, August 2007
  • Hugo Brakman (supervision together with Erik Poll and Wojciech Mostowski)
    Java card software analysis using model checking, June 2007
  • Matthijs Mekking (supervision together with Theo Schouten)
    Formalization and Verification of the SHIM6 Protocol, May 2007
  • Stefan Roels (supervision together with Jozef Hooman)
    Applicability of model checking methods to scheduling in machines, October 2002
  • Michiel Alsters
    Controlling the Stabilization of a Laser System --- A Hybrid Model of a Laser System and Its Components, December 2001
  • Martin Bruggink
    SMP OSP: A Multiprocessor Operating System Simulator, October 2001
  • Peter Ebben
    On integrity of telecommunications networks when controlled via the Parlay API, October 2001
  • Jos Vissers
    A Design for Generic Monitoring Facilities for the Distributed Software Component Framework, University of Nijmegen, August 2000
  • Stan Ivanov
    Verification of a Biphase Mark Protocol, University of Nijmegen, August 1998
  • Jeroen Alink
    Adding Parameters to a Finite State Machine Language for Automatic Test Generation, University of Nijmegen, July 1998
  • 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
  • Martijn Kaart
    Modelling of a System for Traffic Regulation at Signalized Intersections using High-level Petri Nets, University of Amsterdam, November 1995
  • Kiavash Shams
    A Verification of Two Simple Wait-Free Registers, University of Amsterdam, August 1994
  • David Griffioen
    Analysis of an Audio Control Protocol with Bus Collision University of Amsterdam, 1995
  • Indra Polak
    Specification and Verification of a Real-Time Communication Protocol, University of Amsterdam, September 1993
  • Richard Groenveld
    Verification of a Sliding Window Protocol by means of Process Algebra, University of Amsterdam, September 1987