Wieger Wesselink

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 9

Top Topics

Top Venues

ACM Trans. Comput. Log.

Publications

Wieger Wesselink, Bram Grooten, Qiao Xiao, Cassio de Campos, Mykola Pechenizkiy
Nerva: a Truly Sparse Implementation of Neural Networks. CoRR (2024)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
On-The-Fly Solving for Symbolic Parity Games. TACAS (2) (2022)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
On-The-Fly Solving for Symbolic Parity Games. CoRR (2022)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
Partial-order reduction for parity games and parameterised Boolean equation systems. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS (2) (2020)
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
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse
A Comparison of BDD-Based Parity Game Solvers. GandALF (2018)
Wieger Wesselink, Tim A. C. Willemse
Evidence Extraction from Parameterised Boolean Equation Systems. ARQNL@IJCAR (2018)
Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS (2017)
Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse
Abstraction in Fixpoint Logic. ACM Trans. Comput. Log. 16 (4) (2015)
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
Liveness Analysis for Parameterised Boolean Equation Systems. ATVA (2014)
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction CoRR (2013)
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS (2013)
Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse
Experiences in developing the mCRL2 toolset. Softw. Pract. Exp. 41 (2) (2011)
Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. Inf. Comput. 209 (4) (2011)
Olga Tveretina, Wieger Wesselink
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. Electron. Notes Theor. Comput. Sci. 225 (2009)
Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS (2009)
Judi Romijn, Wieger Wesselink, Arjan J. Mooij
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA (2007)
Arjan J. Mooij, Judi Romijn, Wieger Wesselink
Realizability Criteria for Compositional MSC. AMAST (2006)
Arjan J. Mooij, Wieger Wesselink
Incremental Verification of Owicki/Gries Proof Outlines Using PVS. ICFEM (2005)
Emiel Krahmer, Zsófia Ruttkay, Marc Swerts, Wieger Wesselink
Perceptual evaluation of audiovisual cues for prominence. INTERSPEECH (2002)
Dzmitry Aliakseyeu, Jean-Bernard Martens, Sriram Subramanian, Marina Vroubel, Wieger Wesselink
Visual Interaction Platform. INTERACT (2001)
Michael Franssen, Remco C. Veltkamp, Wieger Wesselink
Efficient evaluation of triangular B-spline surfaces. Comput. Aided Geom. Des. 17 (9) (2000)
Günther Greiner, Joachim Loos, Wieger Wesselink
Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling. Comput. Graph. Forum 15 (3) (1996)
Wieger Wesselink, Remco C. Veltkamp
Interactive design of constrained variational curves. Comput. Aided Geom. Des. 12 (5) (1995)
Remco C. Veltkamp, Wieger Wesselink
Modeling 3D Curves of Minimal Energy. Comput. Graph. Forum 14 (3) (1995)