Tim A.C. Willemse

Search results

• Abstracting real-valued parameters in parameterised boolean equation systems

  Laveaux, M. (Author), Willemse, T. A. C. (Supervisor 1), 26 Feb 2018

  Student thesis: Master

  File

• An approachable language for formal requirements

  Nogarede, K. A. H. M. (Author), Willemse, T. A. C. (Supervisor 1), Schiffelers, R. R. H. (External coach) & Groote, J. F. (Supervisor 2), 11 Dec 2019

  Student thesis: Master

  File

• An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems

  Keiren, J. J. A. (Author), Willemse, T. A. C. (Supervisor 1), 31 Aug 2009

  Student thesis: Master

  File

• A symbolic approach to PBES instantiation

  Boshoven, T. P. M. (Author), Willemse, T. A. C. (Supervisor 1), 25 Sept 2015

  Student thesis: Master

  File

• Black-box random testing of the mCRL2 toolset using attribute grammars

  Geelen, M. P. H. (Author), Wesselink, J. W. (Supervisor 1) & Willemse, T. A. C. (Supervisor 2), 31 Mar 2014

  Student thesis: Master

  File

• Code generation and model-based testing in context of OIL

  Frenken, M. H. M. (Author), Willemse, T. A. C. (Supervisor 1) & van Gool, L. C. M. (External coach), 10 Dec 2019

  Student thesis: Master

  File

• Consistent consequences formalized

  van Delft, M. E. C. (Author), Willemse, T. A. C. (Supervisor 1), 31 Aug 2016

  Student thesis: Master

  File

• Diagnostics for model checking

  Linssen, C. A. P. (Author), Willemse, T. A. C. (Supervisor 1), 28 Feb 2011

  Student thesis: Master

  File

• Extraction of Invariants in Parameterised Boolean Equation Systems

  Liem, E. (Author), Willemse, T. A. C. (Supervisor 1), 28 Sept 2023

  Student thesis: Master

  File

• Fairness Assumptions in the Modal µ-Calculus

  Spronck, M. S. C. (Author), Willemse, T. A. C. (Supervisor 1), 7 Sept 2023

  Student thesis: Master

  File

• Formalising the State Machine Modelling Tool (SMMT)

  van Laarhoven, J. E. P. M. (Author), Willemse, T. A. C. (Supervisor 1), van Gool, L. C. M. (Supervisor 2) & Bunte, O. (Supervisor 2), 1 Dec 2023

  Student thesis: Master

  File

• Instantiation of parameterised Boolean equation systems

  van Dam, A. (Author), Willemse, T. A. C. (Supervisor 1) & Groote, J. F. (Supervisor 2), 31 Aug 2007

  Student thesis: Master

  File

• Modeling and verifying concurrent data structures

  Paval, R. (Author), Luttik, S. P. (Supervisor 1) & Willemse, T. A. C. (Supervisor 2), 26 Feb 2018

  Student thesis: Master

  File

• New algorithms and heuristics for solving Variability Parity Games

  Degeling, K. (Author), Willemse, T. A. C. (Supervisor 1), 19 Nov 2021

  Student thesis: Master

  File

• On-parse disambiguation in generalized LL parsing using attributes

  Mengerink, J. G. M. (Author), van den Brand, M. G. J. (Supervisor 1), Willemse, T. A. C. (Supervisor 2), Johnstone, A. (Supervisor 2) & Scott, E. A. (Supervisor 2), 31 Aug 2014

  Student thesis: Master

  File

• Optimising parity game solvers using dynamic SCC maintenance

  Huijsmans, A. M. (Author), Willemse, T. A. C. (Supervisor 1), 13 Sept 2021

  Student thesis: Master

  File

• Optimizing the code generator for OIL

  Buskens, T. (Author), Bunte, O. (Supervisor 1), Willemse, T. A. C. (Supervisor 2) & van Gool, L. (External coach), 6 Oct 2021

  Student thesis: Master

  File

• Quantitative model checking on probabilistic systems using pLμ

  Bunte, O. (Author), Willemse, T. A. C. (Supervisor 1), 18 Dec 2017

  Student thesis: Master

  File

• Robotic devices as interfaces to web services

  Crommert, H. J. T. (Author), Willemse, T. A. C. (Supervisor 1) & Holenderski, L. (Supervisor 2), 30 Nov 2007

  Student thesis: Master

  File

• Speeding up the small progress measures algorithm for parity games using the GPU

  Bootsma, P. J. A. (Author), Willemse, T. A. C. (Supervisor 1), 31 Dec 2013

  Student thesis: Master

  File

• State space reduction for state-based and event-based models of Software Product Lines

  Belder, T. (Author), de Vink, E. P. (Supervisor 1) & Willemse, T. A. C. (Supervisor 2), 31 Aug 2015

  Student thesis: Master

  File

• Symbolic compositional model checking for mCRL2

  van der Pol, K. (Author), Willemse, T. A. C. (Supervisor 1), 28 Feb 2013

  Student thesis: Master

  File

• Tools for parameterized boolean equation systems

  Janssen, S. M. (Author), Willemse, T. A. C. (Supervisor 1) & Wesselink, J. W. (Supervisor 2), 31 Aug 2008

  Student thesis: Master

  File

• Validation of CERN's finite state machines

  Leemans, S. J. J. (Author), Willemse, T. A. C. (Supervisor 1), Keiren, J. J. A. (Supervisor 2), Glege, F. (External coach) & Garrido, R. G. R. (External coach), 30 Jun 2012

  Student thesis: Master

  File

• Verification of PLC code used at CERN

  van den Helder, P. (Author), Willemse, T. A. C. (Supervisor 1) & Bosnacki, D. (Supervisor 2), 31 May 2016

  Student thesis: Master

  File

• Verifying SPLs using parity games expressing variability

  van Loo, S. (Author), Willemse, T. A. C. (Supervisor 1), 25 Nov 2019

  Student thesis: Master

  File

• Visualisation of large Labelled Transition Systems

  van Ieperen, N. G. (Author), Willemse, T. A. C. (Supervisor 1), 22 Apr 2021

  Student thesis: Master

  File