• Publications
  • Influence
An Overview of the mCRL2 Toolset and Its Recent Advances
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 madeExpand
  • 147
  • 8
  • PDF
Modeling 3D Curves of Minimal Energy
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
  • 30
  • 4
  • PDF
Data Dependent Thin Plate Energy and its use in Interactive Surface Modeling
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
  • 37
  • 4
Visual Interaction Platform
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 aExpand
  • 47
  • 3
  • PDF
Realizability Criteria for Compositional MSC
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
  • 12
  • 3
  • PDF
Interactive design of constrained variational curves
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
  • 31
  • 2
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability
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. InExpand
  • 30
  • 1
  • PDF
Pitch, eyebrows and the perception of focus
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 aExpand
  • 70
  • 1
  • PDF
Efficient evaluation of triangular B-spline surfaces
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 arbitraryExpand
  • 19
  • 1
  • PDF
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
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 theExpand
  • 15
  • 1