print · source · login   

Research Projects

Recent

  • COPD+ (2016-2018) is an EFRO project, led by Peter Lucas. It is a collaborative effort of four partners (Radboud Universiteit, Radboudumc, Apps4Air en Topicus) to develop a "smart care assistant" to predict exacerbations in patients with chronic obstructive disease (COPD) (exacerbaties and to advice treatment. Aim is to improve the quality of life and the prevent hospital admission
    PhD students: Manxia Lui and Giso Dal
  • STW project 13859 on Supersizing Model-Based Testing (SUMBAT)
    August 2015 - August 2019
    Project leader: Jan Tretmans
    PhD students: Petra van den Bos and Ramon Janssen

  • STW project Robust Design of Cyber Physical Systems (CPS)
    September 2015 - August 2019
    Project leader RU: Frits Vaandrager
    PhD student: Alexis Linard

  • RU/FNWI project On the quality of hypotheses in active automata learning
    February 2015 - January 2019
    Project leader: Frits Vaandrager (with Bas Terwijn from IMAPP and Alexandra Silva from University College London)
    PhD student: Joshua Moerman

  • NWO/EW project 612.001.212 Probabilistic Protocol Analysis of Care Processes (CAREFUL)
    April 2014 - April 2018
    Project leader: Peter Lucas
    PhD student: Marcos Bueno

  • NWO/EW project 612.001.216 Active Learning of Security Protocols (ALSeP)
    November 2013 - October 2017
    Project leader: Frits Vaandrager
    PhD student: Paul Fiterau-Brostean

  • NWO/EW project 628.001.009 Learning Extended State Machines for Malware Analysis (LEMMA)
    October 2013 - September 2017
    Project leader: Frits Vaandrager (together with Sicco Verwer, TU Delft)
    PhD students: Rick Smetsers (RU) and Gaetano Pellegrino (TU Delft)

Completed

  • NECTOP project: Network-Enabled Capabilities Through Task-Oriented Programming
    Februari 2013 - Februari 2017
    Project leader: Rinus Plasmeijer
    PhD Student: Jurrien Slutterheim

  • MoSHCA project: My Mobile and Smart Health Care Assistant
    October 2012 - October 2016
    Project leader: Peter Lucas
    Postdoc: Arjen Hommersom
    PhD student: Giso Dal

  • ITALIA project: Integrating Testing And Learning of Interface Automata
    Project leader: Frits Vaandrager
    January 2012 - January 2016
    PhD students: Fides Aarts and Michele Volpato
    Postdoc: Sicco Verwer

  • SENECA project: Kustwacht Operatie Ondersteunend Systeem
    Februari 2013 - Juli 2015
    Project leader: Rinus Plasmeijer
    Postdoc: Bas Lijnse

  • STW/2nd Phase Valarisation Grant (Apps4Air)
    August 2013 - August 2015
    Project Leader: Peter Lucas
    Postdoc: Maarten van der Heijden

  • 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

  • ZonMw project PANDORA: Computer-aided Decision Support for the Management of Comorbidity in Patients with Chronic Disease
    September 2009 - August 2014
    RU project leader: Peter Lucas
    PhD students: Wenyun Quan and Martijn Lappenschaar
  • STITPRO project: Remote Monitoring in Pregnancy Care (e-MomCare)
    July 2009 - April 2013
    Project leader: Peter Lucas
    Postdoc: Marina Velikova

  • 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 - June 2013
    Project leader: Peter Lucas
    PhD students: Bas Lijnse and Maarten van der Heijden

  • NWO Veni project of Arjen Hommersom:
    April 2010 - April 2013
    Project leader: Arjen Hommersom

  • Netherlands Defense Academy project: Dynamic Workflows
    April 2009 - April 2013
    RU project leader: Rinus Plasmeijer
    PhD student: Bas Lijnse

  • 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

  • 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
  • NWO BRICKS/FOCUS project: Bayesian Decision Support in Medical Screening (B-Screen)
    October 2006 - December 2009
    RU Project leader: Peter Lucas
    Postdocs: Marina Velikova and Nivea De Carvalho Ferreira

up