32 citations · 33 across the 2 of their papers we have counts for
2 papers
cs.SE2018★ 1 cited
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…
cs.LO2014★ 32 cited
Permission-Based Separation Logic for Multithreaded Java Programs
Christian Haack, Marieke Huisman, Clément Hurlin +1
This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is ba…