Past Master Projects

• Mark Bouwman: A model-based test platform for rail signalling systems.
  
• Hong Zhang: Quality metrics for ASOME data models.
  
• Ferry Timmers: A complete axiomatisation for probabilistic trace equivalence.
  
• Lisette Sanchez: Learning software behavior through active automata learning with data.
  
• Lois Nijland: Adding sequential composition and termination to the linear time – branching time spectrum.
  
• Astrid Belder: Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination.
  
• Marijn Rol: Verification of ASD multi-component systems in mCRL2.
  
• Ziad Ben Snaiba: Logics and Algorithms for Product and Family-Based Analysis of Software Product Lines.
  
• Ruud van Vijfeijken: Performance evaluation of network on chip using formal models.
  
• Maurice Laveaux: Abstracting real-valued parameters in parameterised Boolean equation systems.
  
• Roxana Paval: Modeling and Verifying Concurrent Data Structures.
  
• Perry van Wesel: Formal analysis of ring networks.
  
• Olav Bunte: Quantitative model checking on probabilistic systems using plmu*+.