Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

An Overview of the mCRL2 Toolset and Its Recent Advances

- S. Cranen, J. Groote, +4 authors T. Willemse
- Computer Science
- TACAS
- 16 March 2013

The analysis of complex distributed systems requires dedicated software tools. The mCRL language and toolset have been developed to support such analysis. We highlight changes and improvements made… Expand

Modeling 3D Curves of Minimal Energy

- R. Veltkamp, W. Wesselink
- Computer Science
- Comput. Graph. Forum
- 1 August 1995

Modeling a curve through minimizing its energy yields an overall smooth curve. A common way to model shape features is to perform the minimization subject to a number of interpolation constraints.… Expand

Data Dependent Thin Plate Energy and its use in Interactive Surface Modeling

- G. Greiner, J. Loos, W. Wesselink
- Computer Science
- Comput. Graph. Forum
- 1 August 1996

When modeling spline surfaces of complex shape, one has to deal with an overwhelming number of control points. Modeling by direct manipulation of the control points is a tedious task. In particular,… Expand

Visual Interaction Platform

- D. Aliakseyeu, Jean-Bernard Martens, Sriram Subramanian, Marina Vroubel, W. Wesselink
- Computer Science, Mathematics
- INTERACT
- 2001

The Visual Interaction Platform (VIP) is a natural user interface (NUI) that builds on human skills of real world object manipulation and allows unhindered human-human communication in a… Expand

- 47
- 3
- PDF

Realizability Criteria for Compositional MSC

- A. Mooij, J. Romijn, W. Wesselink
- Computer Science, Mathematics
- AMAST
- 5 July 2006

Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic specifications,… Expand

Interactive design of constrained variational curves

- W. Wesselink, R. Veltkamp
- Mathematics, Computer Science
- Comput. Aided Geom. Des.
- 1 August 1995

A constrained variational curve is a curve that minimizes some energy functional under certain interpolation constraints. Modeling curves using constrained variational principles is attractive,… Expand

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

- Olav Bunte, J. Groote, +6 authors T. Willemse
- Computer Science
- TACAS
- 2019

Reasoning about the correctness of parallel and distributed systems requires automated tools. By now, the mCRL2 toolset and language have been developed over a course of more than fifteen years. In… Expand

Pitch, eyebrows and the perception of focus

- E. Krahmer, Z. Ruttkay, Marc Swerts, W. Wesselink
- Psychology
- 2002

We report on an experiment with a Talking Head, aimed at finding out the relative contributions of pitch accents and rapid eyebrow movements for the perception of focus. For this purpose, we use a… Expand

- 70
- 1
- PDF

Efficient evaluation of triangular B-spline surfaces

- Michael Franssen, R. Veltkamp, W. Wesselink
- Computer Science, Mathematics
- Comput. Aided Geom. Des.
- 1 October 2000

Evaluation routines are essential for any application that uses triangular B-spline surfaces. This paper describes an algorithm to efficiently evaluate triangular B-spline surfaces with arbitrary… Expand

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

- B. Ploeger, W. Wesselink, T. Willemse
- Computer Science, Mathematics
- Inf. Comput.
- 1 April 2011

Verification problems for finite- and infinite-state processes, like model checking and equivalence checking, can effectively be encoded in Parameterised Boolean Equation Systems (PBESs). Solving the… Expand