Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Research Projects Frits Vaandrager
[go: Go Back, main page]

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

  • NWO Focus project Advancing the Real use of Proof Assistants (ARPA)
  • Beyond the Ordinary: Design of Embedded Real-time Control (BODERC)
  • EU IST project IST-2001-35304 Advanced Methods for Timed Systems (AMETIST) (coordinator)
  • NWO/GBE project 612.000.103 Fault-tolerant Real-time Algorithms Analyzed Incrementally (FRAAI)
  • DFG/NWO bilateral cooperation project Validation of Stochastic Systems (VOSS2)
  • Past Projects

  • 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 15, 2006