print · login   

Research Projects

Currently running


  • NWO TOP project 612.001.852 Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS)
    July 2019 - January 2024
    Project leader: Frits Vaandrager
    Postdoc: Thorsten Wissmann (has moved to FAU Erlangen); PhD student: Bharat Garhewal
  • NWO TOP project 612.001.803/7571 Implicit Complexity through Higher Order Rewriting (ICHOR)
    September 2019 - September 2023
    Project leader: Cynthia Kop
    PhD student: Deivid Vale
  • VWDATA project EXplainable Data Science using Formal Verification (EXoDuS)
    August 2019 - July 2023
    Project leader: Nils Jansen
    PhD student (with support from iCIS): Dennis Gross
  • NLDA project
    June 2018 - May 2022
    Project leaders: Rinus Plasmeijer and Pieter Koopman
    PhD student: Mart Lubbers
  • STW project Sovereign
    July 2016 - August 2020
    Project leaders: Sjaak Smetsers, Herman Geuvers, Marko van Eekelen
    PhD students: Dan Frumin and Marc Schoolderman; Postdoc: Leon Gondelmans (joint with Digital Security group)
  • STW project 13859 on Supersizing Model-Based Testing (SUMBAT)
    August 2015 - August 2020
    Project leader: Jan Tretmans
    PhD students: Petra van den Bos and Ramon Janssen; Scientific programmer: Harco Kuppens
  • STW project 12701 Robust Design of Cyber Physical Systems (CPS) - Mastering Simulation for Virtual Prototyping
    September 2015 - August 2019
    Project leader RU: Jozef Hooman
    PhD student: Thomas Nagele
  • STW project 12693 Robust Design of Cyber Physical Systems (CPS) - Processing Complex Flows of Objects
    September 2015 - August 2019
    Project leader RU: Frits Vaandrager
    PhD student: Alexis Linard
  • STW project TOP Support for Collaborations on the Internet
    March 2015 - May 2019
    Project leader: Rinus Plasmeijer
    PhD students: L. Domoszlai, Tim Steenvoorden; Postdoc: Bas Lijnse; Scientific programmer: John van Groningen
  • 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
  • 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
  • COPD+ (2016-2018) was an EFRO project, led by Peter Lucas. It was 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
    Based on the app and monitoring infra structure that had been built earlier by our department, the COPD+ project has developed a commercial product. This product is made available (and will be further developed) by MonitAir.
  • 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)

  • 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