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).

Fingerprint Dive into the research topics where Wieger Wesselink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Static analysis Engineering & Materials Science
Syntactics Engineering & Materials Science
Flow graphs Engineering & Materials Science
Algebra Engineering & Materials Science
Reactive Systems Mathematics
Formal methods Engineering & Materials Science
Concurrent Systems Mathematics

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

Research Output 1993 2019

Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Neele, T., Willemse, T. & Wesselink, W., 1 Sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/02)

Research output: Book/ReportReportAcademic

Open Access
File
Model checking
Explosions
Repair
7 Citations (Scopus)
16 Downloads (Pure)

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
1 Citation (Scopus)
2 Downloads (Pure)

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

Prizes

Best Paper award

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

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

Modeling languages

Courses

Applied Logic

1/09/19 → …

Course

Fundamentals of informatics

1/09/1331/08/20

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