Wieger Wesselink - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2022

On-The-Fly Solving for Symbolic Parity GamesMaurice Laveaux, Wieger Wesselink, Tim A. C. Willemse. TACAS 2022: 137-155 [doi]

Partial-order reduction for parity games and parameterised Boolean equation systemsThomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari. STTT, 24(5):735-756, 2022. [doi]

2020

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation SystemsThomas Neele, Tim A. C. Willemse, Wieger Wesselink. TACAS 2020: 307-324 [doi]

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and UsabilityOlav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse. TACAS 2019: 21-39 [doi]

2018

Evidence Extraction from Parameterised Boolean Equation SystemsWieger Wesselink, Tim A. C. Willemse. cade 2018: 86-100 [doi]

2017

Formalising the Dezyne Modelling Language in mCRL2Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse. fmics 2017: 217-233 [doi]

2015

Abstraction in Fixpoint LogicSjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse. tocl, 16(4):29, 2015. [doi]

2014

Liveness Analysis for Parameterised Boolean Equation SystemsJeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse. ATVA 2014: 219-234 [doi]

2013

An Overview of the mCRL2 Toolset and Its Recent AdvancesSjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse. TACAS 2013: 199-213 [doi]

2011

Experiences in developing the mCRL2 toolsetJan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse. SPE, 41(2):143-153, 2011. [doi]

Verification of reactive systems via instantiation of Parameterised Boolean Equation SystemsBas Ploeger, Wieger Wesselink, Tim A. C. Willemse. iandc, 209(4):637-663, 2011. [doi]

2009

Static Analysis Techniques for Parameterised Boolean Equation SystemsSimona Orzan, Wieger Wesselink, Tim A. C. Willemse. TACAS 2009: 230-245 [doi]

EufDpll - A Tool to Check Satisfiability of Equality Logic FormulasOlga Tveretina, Wieger Wesselink. ENTCS, 225:405-420, 2009. [doi]

2007

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVSJudi Romijn, Wieger Wesselink, Arjan J. Mooij. ATVA 2007: 347-361 [doi]

2006

Realizability Criteria for Compositional MSCArjan J. Mooij, Judi Romijn, Wieger Wesselink. amast 2006: 248-262 [doi]

2005

Incremental Verification of Owicki/Gries Proof Outlines Using PVSArjan J. Mooij, Wieger Wesselink. icfem 2005: 390-404 [doi]

2002

Perceptual evaluation of audiovisual cues for prominenceEmiel Krahmer, Zsófia Ruttkay, Marc Swerts, Wieger Wesselink. interspeech 2002: 1933-1936 [doi]

2001

Visual Interaction PlatformDzmitry Aliakseyeu, Jean-Bernard Martens, Sriram Subramanian, Marina Vroubel, Wieger Wesselink. INTERACT 2001: 232-239

2000

Efficient evaluation of triangular B-spline surfacesMichael Franssen, Remco C. Veltkamp, Wieger Wesselink. cagd, 17(9):863-877, 2000. [doi]

1996

Data Dependent Thin Plate Energy and its Use in Interactive Surface ModelingGünther Greiner, Joachim Loos, Wieger Wesselink. cgf, 15(3):175-186, 1996. [doi]

1995

Modeling 3D Curves of Minimal EnergyRemco C. Veltkamp, Wieger Wesselink. cgf, 14(3):97-110, 1995.

Interactive design of constrained variational curvesWieger Wesselink, Remco C. Veltkamp. cagd, 12(5):533-546, 1995. [doi]

Sign in or sign up to see more results.

runs on WebDSL