If you made any changes in Pure these will be visible here soon.

Personal profile

Quote

When writing code I'm always focused on finding the right structure, the right interfaces and the right abstractions. For the implementation of algorithms, I consider it essential that first a description in pseudo code is written, at the right level of abstraction. This not only saves time, but it also leads to more maintainable and flexible code.

Research profile

Wieger Wesselink is one of the main developers of the mCRL2 toolset, for modeling, validation and verification of concurrent systems and protocols. He is interested in generic programming techniques and software verification. Wieger originally joined the Department of Mathematics and Computer Science as a scientific programmer. However, since then, he has taken on several lecturing tasks, such as teaching and taking part in research projects. 

 

Academic background

Wieger Wesselink obtained his master's degree in Applied Mathematics at the University of Twente. After completing a PhD about geometric modeling at Eindhoven University of Technology in 1996, Wesselink has worked as a postdoc in Utrecht on the CGAL computational geometry library, and later as a postdoc in Eindhoven at IPO, Center for User-System Interaction. In 2001 Wesselink was appointed Assistant Professor / Scientific Programmer at TU/e (department of Mathematics and Computer Science). Wieger is also the former Dutch National Draughts Champion (1993).

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1993 2019

The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages

A comparison of BDD-based parity game solvers

Sanchez, L., Wesselink, W. & Willemse, T. A. C., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification. Waterloo: Open Publishing Association, p. 103-117 15 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 27)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access

BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1801)

Research output: Book/ReportReportAcademic

Open Access
File

Evidence extraction from parameterised Boolean equation systems

Wesselink, W. & Willemse, T. A. C., 1 Jan 2018, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018): Oxford, UK, July 18, 2018.. Benzmüller, C. & Otten, J. (eds.). CEUR-WS.org, p. 86-100 15 p. (CEUR Workshop Proceedings; vol. 2095)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
Feedback
Hardware
2 Citations (Scopus)

Formalising the Dezyne modelling language in mCRL2

van Beusekom, R., Groote, J. F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R. & Willemse, T. A. C., 2017, Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings. Petrucci, L., Seceleanu, C. & Cavalcanti, A. (eds.). Dordrecht: Springer, p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10471 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Modeling Language
Model Transformation
Model checking
Model Checking
Refinement

Prizes

Best Paper award

Jan Friso Groote (Recipient), Wieger Wesselink (Recipient) & Tim Willemse (Recipient), 20 Sep 2017

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Modeling languages

Courses

Discrete structures

1/09/1331/08/19

Course

Fundamentals of informatics

1/09/1331/08/20

Course

Programming methods

1/09/12 → …

Course

Student theses

Automated verification of Owicki/Gries proof outlines: comparing PVS and Isabelle

Author: Koudijs, J. C., 31 Jan 2006

Supervisor: Romijn, J. (Supervisor 1), Mooij, A. (Supervisor 2) & Wesselink, J. (Supervisor 2)

Student thesis: Master

File

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

Author: Geelen, M., 31 Mar 2014

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

Student thesis: Master

File

Computer animation based on chaincodes and discrete bilinear blending

Author: de Vries, J., 30 Jun 1992

Supervisor: van Overveld, C. (Supervisor 1), Mulder, P. (External person) (Supervisor 2) & Wesselink, J. (Supervisor 2)

Student thesis: Master

Editor for the modeling of 3D minimal energy curves

Author: Foederer, J., 29 Feb 1996

Supervisor: van Overveld, C. (Supervisor 1) & Wesselink, J. (Supervisor 2)

Student thesis: Master

Evaluation of DMS-splines

Author: Franssen, M., 31 Dec 1995

Supervisor: van Overveld, C. (Supervisor 1), Bijlsma, A. (Supervisor 2), Veltkamp, R. C. (External person) (Supervisor 2) & Wesselink, J. (Supervisor 2)

Student thesis: Master