Wieger Wesselink

According to our database, Wieger Wesselink authored at least 24 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Partial-order reduction for parity games and parameterised Boolean equation systems.

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari

Int. J. Softw. Tools Technol. Transf., 2022

On-The-Fly Solving for Symbolic Parity Games.

Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

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

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

A Comparison of BDD-Based Parity Game Solvers.

Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Evidence Extraction from Parameterised Boolean Equation Systems.

Wieger Wesselink, Tim A. C. Willemse

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Formalising the Dezyne Modelling Language in mCRL2.

Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2015

Abstraction in Fixpoint Logic.

Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse

ACM Trans. Comput. Log., 2015

2014

Liveness Analysis for Parameterised Boolean Equation Systems.

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

CoRR, 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2011

Experiences in developing the mCRL2 toolset.

Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse

Softw. Pract. Exp., 2011

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.

Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse

Inf. Comput., 2011

2009

Static Analysis Techniques for Parameterised Boolean Equation Systems.

Simona Orzan, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2007

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.

Judi Romijn, Wieger Wesselink, Arjan J. Mooij

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.

Olga Tveretina, Wieger Wesselink

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Realizability Criteria for Compositional MSC.

Arjan J. Mooij, Judi Romijn, Wieger Wesselink

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Incremental Verification of Owicki/Gries Proof Outlines Using PVS.

Arjan J. Mooij, Wieger Wesselink

Proceedings of the Formal Methods and Software Engineering, 2005

2002

Perceptual evaluation of audiovisual cues for prominence.

Emiel Krahmer, Zsófia Ruttkay, Marc Swerts, Wieger Wesselink

Proceedings of the 7th International Conference on Spoken Language Processing, ICSLP2002, 2002

2001

Visual Interaction Platform.

Dzmitry Aliakseyeu, Jean-Bernard Martens, Sriram Subramanian, Marina Vroubel, Wieger Wesselink

Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

2000

Efficient evaluation of triangular B-spline surfaces.

Michael Franssen, Remco C. Veltkamp, Wieger Wesselink

Comput. Aided Geom. Des., 2000

1996

Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling.

Günther Greiner, Joachim Loos, Wieger Wesselink

Comput. Graph. Forum, 1996

1995

Modeling 3D Curves of Minimal Energy.

Remco C. Veltkamp, Wieger Wesselink

Comput. Graph. Forum, 1995

Interactive design of constrained variational curves.

Wieger Wesselink, Remco C. Veltkamp

Comput. Aided Geom. Des., 1995