1 citations · 1 across the 2 of their papers we have counts for
4 papers
Teaching Design by Contract using Snap!
Marieke Huisman, Raúl E. Monti
With the progress in deductive program verification research, new tools and techniques have become available to support design-by-contract reasoning about non-trivial programs writ…
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…
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…