Research Projects
Currently running
Completed
- 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
up
