Research Projects

Currently running

• NWO project OCENW.M.23.155 Evidence-Driven Black-Box Checking (EVI)
  February 2025 - January 2030
  Project leader: Frits Vaandrager
  One PhD Student
• NWO OSF (23.2) project: StormAE - Storm for Almost Everyone
  May 2024 - May 2025
  Project leader: Sebastian Junges
  Two student assistants
• NWO ENW.M1 project FuRoRe: Fundamentals of Robust Runtime Monitoring
  September 2024 - August 2028
  Project leader: Sebastian Junges
  One PhD Student: Luko van der Maas
• NWO VIDI project VI.Vidi.223.096 Approximation, Abstraction and Apartness in Automata Learning (APPLE)
  2023-2028
  Project leader: Jurriaan Rot
• NWO VENI project VI.Veni.222.147 ProMiSe
  Oct 2023-Oct 2026
  Project leader: Sebastian Junges
• ERC StG 2022 project DEUCE
  January 2023 - December 2027
  Project leader: Nils Jansen
  Two PhD students: Maris Galesloot and Merlijn Krale
• NWO Open Competition project OCENW.M20.380 The power of equality (joint with UvA)
  September 2022 - October 2026
  Project leader: Herman Geuvers (joint with Benno van de Berg, UvA)
  Postdoc: Niels van der Weide; PhD student (at the UvA): Daniel Otten
• NWO project Modular Construction and Analysis of Distributive Laws for Programming Language Semantics
  2022-2026
  Project leader: Jurriaan Rot
  PhD student: Ruben Turkenburg
• NWO VIDI project VI.Vidi.193.075 Constrained Higher-Order Rewriting and Program Equivalence (CHORPE)
  February 2021 - January 2026
  Project leader: Cynthia Kop
  Two PhD students: Liye Guo and Kasper Hagens
• TTW Mascot project on Scheduling Adaptive Modular Flexible Manufacturing Systems (SAM-FMS)
  2020-2024
  Project leaders: Nils Jansen, Frits Vaandrager
  One PhD student: Christoph Schmidl
• NWO project Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes
  2020-2024
  Project leader: Nils Jansen
  One PhD student: Marnix Suilen
• TTW Mascot project on Testing in Times of Continuous Change (TicToc)
  2020-2024
  Project leaders: Jan Tretmans (main project leader) and Daniel Strüber
  Two PhD students: Gijs van Cuyck and Lars van Arragon
• NWA project Predictive maintenance for Very effective asset management (PrimaVera)
  2020-2024
  Project leaders: Marielle Stoelinga, Nils Jansen and Tom Heskes
  Two PhD students (for SWS: Thom Badings) and one postdoc (Thiago Dias Simao)

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