Research Projects of Frits Vaandrager

One of my long term research objectives is to help to give the new discipline of (computer based) system engineering a sound mathematical basis.

I have a strong interest in the development and application of theory, (formal) methods and tools for the specification and analysis of computer based systems. In particular, I am interested in real-time embedded systems, distributed algorithms and protocols.

For more information on the research in my group, see the description of our research programme.

Externally Funded Projects

  • STW project "Integrating Testing And Learning of Interface Automata (ITALIA)" (together with J. Tretmans). Starting end 2011.
  • KWR project FATs Domino "Automatic test case generation and test execution for software and System-on-Chip platform development in printers and copiers using model based testing (FATs Domino)" (together with J. Tretmans, P. Koopman and Oce). From January 2010 - December 2010.
  • DFG/NWO bilateral cooperation project ROCKS: Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems.
  • NWO/EW project Formal Verification of Deadlock Avoidance Mechanisms (with Julien Schmaltz) (proposal)
  • EU FP7 project QUASIMODO
  • NWO/EW project 612.064.610 Abstraction Refinement for Timed Systems
  • ESI project Octopus

    • Past Projects

  • NWO/EW project 612.000.103 Fault-tolerant Real-time Algorithms Analyzed Incrementally (FRAAI) (with Jozef Hooman)
  • KWR project FATs Domino
  • DFG/NWO bilateral cooperation project Validation of Stochastic Systems (VOSS2)
  • NWO Focus project Advancing the Real use of Proof Assistants (ARPA) (with Herman Geuvers)
  • ESI project Beyond the Ordinary: Design of Embedded Real-time Control (BODERC)
  • EU IST project IST-2001-35304 Advanced Methods for Timed Systems (AMETIST) (coordinator) (Final Project Report)
  • PROGRESS project TES4999: Verification of Hard and Softly Timed Systems (HaaST)
  • DFG/NWO bilateral cooperation project 600.050.011.01 Validation of Stochastic Systems (VOSS)
  • Esprit LTR project 26270 Verification of Hybrid Systems (VHS)
  • GBE/SION project 612-10-003 Validation of Programmable Logic Controllers
  • GBE/SION project 612-14-004 Stepwise Refinement of Hybrid Systems, from April 1997 - April 2001. Proposal, Publications, Final report.
  • Philips course From PhD in Sciences to Researcher in Computer Science, from 31-08-1998 to 01-06-2000
  • Philips project Specification, Testing and Verification of Software for Technical Applications
  • SION project 612-33-006 Testing and Verification of Timed systems
  • SION project 612-316-125 Checking Verifications of Concurrent Systems with Type Theory Tools
  • EC HCM network EXPRESS
  • Esprit BRA project Calculi and Algebras of Concurrency: Extensions, Tools and Applications (CONCUR2), September 1992 - August 1995.
  • RACE project no. 2076, Broadband Object-Oriented Service Technology (BOOST). April 1992 - December 1994.
  • RACE project no. 1046, Specification and Programming Enviroment for Communications Software (SPECS). March 1988 - June 1990, April 1992 - December 1992.
  • Esprit BRA project 3006, Theories of Concurrency: Unification and Extension (CONCUR). March 1990 - June 1990.
  • Esprit project 1283, VDM Specification for the Interface of the Portable Common Tool Environment (VIP). November 1986 - December 1988.
  • Esprit project 432, An Integrated Formal Approach to Industrial Software Development (METEOR). July 1985 - October 1989.
    • Created by: Frits Vaandrager
    Last change: May 6, 2009