Model Based System Development/Funding

Current Projects

• NWO/EW project
  Formal Verification of Deadlock Avoidance Mechanisms
  (October (?) 2008 - September 2012)
  Project leaders: Julien Schmaltz and Frits Vaandrager
  PhD student: Freek Verbeek
• NUFFIC project: Strengthening ICT Training and Research Capacity in the Public Universities in Uganda
  (July 2007 – July 2011)
  RU Project leaders: Theo van der Weide, Erik Proper
  PhD students: Agnes Nakakawa, Denis Ssebuggwawo, Fiona Tulinayo.
• NWO/EW project 612.064.610
  Abstraction Refinement for Timed Systems (ARTS)
  (January 2008 - December 2011)
  Project leader: Frits Vaandrager
  PhD student: Faranak Heydarian
• ESI project Octopus
  (December 2007 - November 2011)
  RU Project leader: Frits Vaandrager
  PhD student: Georgeta Igna
• EU FP7 project QUASIMODO
  (Januari 2008 - December 2010)
  RU Project leader: Frits Vaandrager
  Postdoc: Julien Schmaltz
• NWO/GBE project 612.000.103
  Fault-tolerant Real-time Algorithms Analyzed Incrementally (FRAAI)
  (January 2002 - March 2010)
  Project leaders: Jozef Hooman and Frits Vaandrager
  PhD student: Jasper Berendsen
• ESI project Octopus
  (July2007 - October 2011)
  RU Project leader: Peter Lucas
  Postdoc: Arjen Hommersom
• ZonMw project Development and Initial Evaluation of a Bayesian-network Model for Assessing Individual Risk of Exacerbation, Exacerbation Relapse, and Exacerbation-related Hospital (Re-)Admission in Patients with Moderate to very severe COPD (AERIAL)
  (April 2009 - October 2011)
  RU Project leader: Peter Lucas
  PhD student: Bas Lijnse
• NWO/EW project Bayesian Decision Support in Medical Screening (B-SCREEN)
  (October 2006 - October 2009)
  RU project leader: Peter Lucas
  Postdoc: Nivea Carvalho Ferreira
• Nederlandse Defensie Academie project Dynamic Workflows
  (April 2009 - April 2013)
  RU project leader: Rinus Plasmeijer
  PhD student: Bas Lijnse
• ZonMw project Computer-aided Decision Support for the Management of Comorbidity in Patients with Chronic Desease (PANDORA)
  (September 2009 - September 2013)
  RU project leader: Peter Lucas
  
• STW project Controlling Dynamic Real Life Workflow Situations with Demand Driven Workflow Systems
  (February 2008 - February 2012)
  RU project leader: Rinus Plasmeijer
  PhD students: Thomas van Noort en Bas Lijnse

Past Projects

• NWO/EW project
  Systematic Testing of Realtime Embedded Software Systems (STRESS)
  (May 2003 - September 2008)
  Project leader: Jan Tretmans
  PhD students: Lars Frantzen
• EU Marie Curie network Training And Research On Testing (TAROT)
  (September 2004 - March 2008)
  RU Project leader: Jan Tretmans
  Postdoc: Julien Schmaltz
• DFG/NWO bilateral cooperation project
  Validation Of Stochastic Systems (VOSS2)
  (January 2005 - December 2007)
  RU Project leader: Frits Vaandrager
• ESI project Model-based integration and testing of complex high-tech products (TANGRAM)
  (2003-2007)
  RU Project leader: Jan Tretmans
  Postdoc: Tim Willemse, Scientific programmer: Rene de Vries
• ESI project Beyond the Ordinary: Design of Embedded Real-time Control (BODERC)
  (October 2002 - March 2007)
  RU Project leaders: Jozef Hooman and Frits Vaandrager
  PhD students: Marcel Verhoef