13 citations · 28 across the 5 of their papers we have counts for
5 papers
Verification of Shared-Reading Synchronisers
Afshin Amighi, Marieke Huisman, Stefan Blom
Synchronisation classes are an important building block for shared memory concurrent programs. Thus to reason about such programs, it is important to be able to verify the implemen…
Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software…
Verifying Parallel Loops with Separation Logic
Stefan Blom, Saeed Darabi, Marieke Huisman
This paper proposes a technique to specify and verify whether a loop can be parallelised. Our approach can be used as an additional step in a parallelising compiler to verify user…
A History of BlockingQueues
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
This paper describes a way to formally specify the behaviour of concurrent data structures. When specifying concurrent data structures, the main challenge is to make specifications…
Distributed Branching Bisimulation Minimization by Inductive Signatures
Stefan Blom, Jaco van de Pol
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proces…