11 citations · 11 across the 5 of their papers we have counts for
5 papers
Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
Rob van Glabbeek, Bas Luttik, Myrthe Spronck
We verify the correctness of a variety of mutual exclusion algorithms through model checking. We look at algorithms where communication is via shared read/write registers, where th…
Formal Methods for Mobile Ad Hoc Networks: A Survey
Wan Fokkink, Rob van Glabbeek
In a mobile ad hoc network (MANET), communication is wireless and nodes can move independently. Properly analyzing the functional correctness, performance, and security of MANET pr…
Concrete Branching Bisimilarity for Processes with Time-outs
Gaspard Reghem, Rob van Glabbeek
This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs that does not enable eliding of time-out transitions. Multiple equivalent definitions…
Semantics for Linear-time Temporal Logic with Finite Observations
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
LTL3 is a multi-valued variant of Linear-time Temporal Logic for runtime verification applications. The semantic descriptions of LTL3 in previous work are given only in terms of th…
Ensuring Liveness Properties of Distributed Systems: Open Problems
Rob van Glabbeek
Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations they lead to false conclusions. This document pr…