Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Quote

“The beauty and power of formal software analysis never cease to surprise.”

Research profile

Tim Willemse is an Associate Professor in the Formal System Analysis group of the Model Driven Software Engineering section in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). Tim’s research focuses on applying, developing and scaling formal methods for designing correct and reliable systems. His research receives financial support from organizations such as NWO and the European Commission, and commercial parties, including ASML, Océ and Verum. 

His group works on algorithms and theory for parity games and fixpoint logics, such as parameterised Boolean equation systems, and their application. Their theories and algorithms drive the model checking technology offered by mCRL2, a toolset for specifying and analyzing (software controlled) systems.

Tim led the development of dedicated verification tooling for the software controlling the physics experiments at CERN. More recently, he developed the verification technology underlying the commercial model-driven software engineering toolset Dezyne, used on a day-to-day basis by the high-tech industry. 

Academic background

Tim Willemse received his PhD and MSc in Computer Science from TU/e. In addition to his position at TU/e, Tim has a part-time affiliation with CERN, as a software engineer and researcher. He has also worked as a researcher at ASML and Radboud University, Nijmegen, the Netherlands. In both positions, he worked on Model-Based Testing techniques. Until December 2017, Tim was managing director of the national research school IPA. He is also a member of the Next Gen Board of the HTSC, and of the societies ACM SIGACT, ACM SIGLOG, EATCS, NVTI, IPA.

Tim has been involved in a wide range of research projects, including NWO-TOP project AVVA, a project on exploring the use of massive parallelism to speed up verification and the use of verification to assess the correctness of parallel programs. He was project leader on FP7 TTP VICTORIA, a project exploring the connection between the industrial language Dezyne and mCRL2, on the NWO project VOCHS, (verification of control software of the CMS experiment at the Large Hadron Collider) and on the NWO-project COMFORTS (verification of data-dependent and real-time systems).

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Tim A.C. Willemse actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 4 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

Finding compact proofs for infinite-data parameterised Boolean equation systems

Neele, T., Willemse, T. A. C. & Groote, J. F., 1 mrt 2020, In : Science of Computer Programming. 188, 22 blz., 102389.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 1 Citaat (Scopus)

    Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

    Neele, T., Willemse, T. A. C. & Wesselink, W., 17 apr 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (redactie). Springer, blz. 307-324 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

    Neele, T., Valmari, A. & Willemse, T. A. C., 17 apr 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (redactie). Springer, blz. 482-501 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • 1 Citaat (Scopus)

    A framework for the extended evaluation of ABAC policies

    Morisset, C., Willemse, T. A. C. & Zannone, N., 2019, In : Cybersecurity. 2, 1, 21 blz., 6.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
  • 16 Downloads (Pure)

    Correct and efficient antichain algorithms for refinement checking

    Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 feb 2019, In : arXiv. 28 blz., 1902.09880.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

    Open Access
    Bestand
  • Prijzen

    Best Paper award

    J.F. Groote (Ontvanger), J.W. Wesselink (Ontvanger) & Tim A.C. Willemse (Ontvanger), 20 sep 2017

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

  • Best Paper award

    S.P. Luttik (Ontvanger) & Tim A.C. Willemse (Ontvanger), 4 sep 2018

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Best Paper Award FACS 2018

    T.S. Neele (Ontvanger), Tim A.C. Willemse (Ontvanger) & J.F. Groote (Ontvanger), 11 okt 2018

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Activiteiten

    • 1 Workshop, seminar, cursus of expositie

    Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000), Berlin

    Tim Willemse (Organisator)
    3 apr 2000

    Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

    Cursussen

    Algorithms for model checking

    1/09/15 → …

    Cursus

    Process theory

    1/09/18 → …

    Cursus

    Seminar formal system analysis

    1/09/14 → …

    Cursus

    Scriptie

    Abstracting real-valued parameters in parameterised boolean equation systems

    Auteur: Laveaux, M., 26 feb 2018

    Begeleider: Willemse, T. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    A symbolic approach to PBES instantiation

    Auteur: Boshoven, T., 25 sep 2015

    Begeleider: Willemse, T. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

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

    Auteur: Geelen, M., 31 mrt 2014

    Begeleider: Wesselink, J. (Afstudeerdocent 1) & Willemse, T. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    Consistent consequences formalized

    Auteur: van Delft, M., 31 aug 2016

    Begeleider: Willemse, T. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand