- MoSHCA project: My Mobile and Smart Health Care Assistant
October 2012 - October 2016
Project leader: Peter Lucas
Postdoc: Arjen Hommersom
- METIS project: Dependable cooperative systems for maritime safety and security
August 2011 - August 2015
Project leader: Peter Lucas
PhD student: Steffen Michels
Postdoc: Marina Velikova
- STITPRO project: Remote Monitoring in Pregnancy Care (e-MomCare)
July 2009 - July 2011
Project leader: Peter Lucas
Postdoc: Marina Velikova
- DyNaMo project: Modelos Gráficos probabilistas Dinámicos y sus Aplicaciones (EU-Mexico project, Foncicyt)
Project leader: Peter Lucas
Postdoc: Marina Velikova
- NWO project: Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
July 2009 - July 2012
Project leader: David Jansen
- NWO/EW project: Formal Verification of Deadlock Avoidance Mechanisms (FVDAM)
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
March 2008 – February 2012
RU Project leaders: Theo van der Weide, Erik Proper
PhD students: Agnes Nakakawa, Denis Ssebuggwawo, and Fiona Tulinayo
- NWO/EW project: Abstraction Refinement for Timed Systems (ARTS)
January 2008 - December 2011
Project leader: Frits Vaandrager
PhD student: Faranak Heidarian Dekhordi
- ESI project: OCTOPUS
December 2007 - June 2012
RU Project leader: Frits Vaandrager
PhD student: Georgeta Igna
- EU FP7 project: QUASIMODO
Januari 2008 - December 2010
RU Project leader: Frits Vaandrager
- ESI project: OCTOPUS
July 2007 - June 2012
RU Project leader: Peter Lucas
Postdocs: Sander Evers and Johan Kwisthout
- 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 students: Bas Lijnse and Maarten van der Heijden
- Netherlands Defense Academy 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 Disease (PANDORA)
September 2009 - September 2013
RU project leader: Peter Lucas
PhD students: Wenyun Quan and Martijn Lappenschaar
- 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 and Bas Lijnse
up
