23 citations · 58 across the 29 of their papers we have counts for
20 papers · 1 filter
A Comprehensive History of CRL and mCRL2
Jan Friso Groote, Erik P. de Vink
This article gives a historical overview of the background, motivation and development of μCRL and its successor mCRL2, from the inception to the present. Both mCRL2 and μCRL are s…
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
Vincenzo Ciancia, Jan Friso Groote, Diego Latella +2
Spatial models are of increasing interest in traditional computer science domains and beyond. Spatial minimisation procedures are crucial for efficient model checking of such model…
A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
Adrian Beers, Jore Booy, Jan Friso Groote +2
The Maeslant Barrier is a storm surge barrier that protects Rotterdam and its harbour from storm surges in the North Sea. Its software control consists of three major components, o…
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
Rob van Glabbeek, Jan Friso Groote, Erik de Vink
This paper proposes a notion of branching bisimilarity for non-deterministic probabilistic processes. In order to characterize the corresponding notion of rooted branching probabil…
A Quadratic Lower Bound for Simulation
Jan Friso Groote, Jan Martens
We show that deciding simulation equivalence and simulation preorder have quadratic lower bounds assuming that the Strong Exponential Time Hypothesis holds. This is in line with th…
On Woolhouse's Cotton-Spinning Problem
Jan Friso Groote, Tim A. C. Willemse
In 1864 W.S.B. Woolhouse formulated the Cotton-Spinning problem. This problem boils down to the following. A piecer works at a spinning mule and walks back and forth to repair brok…