Browsing by author "Jacobs, Bart"
Now showing items 1-9 of 9
-
Deadlock-free monitors
Hamin, Jafar; Jacobs, Bart (2018) -
Dependency safety for Java - Implementing and testing failboxes
Zhang, Dan; Bosnacki, Dragan; van den Brand, Mark; Huizing, Cornelis; Jacobs, Bart; Kuiper, Ruurd; Wijs, Anton (2019) -
Ghost Signals: Verifying Termination of Busy Waiting
Reinhard, Tobias; Jacobs, Bart (2021) -
Modular Termination Verification of Single-Threaded and Multithreaded Programs
Jacobs, Bart; Bosnacki, Dragan; Kuiper, Ruurd (2018) -
Modular verification of liveness properties of the I/O behavior of imperative programs
Jacobs, Bart (2020-10) -
Specifying I/O using abstract nested hoare triples in separation logic
Penninckx, Willem; Timany, Amin; Jacobs, Bart (2019) -
The Future is Ours: Prophecy Variables in Separation Logic
Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart (2020) -
Transferring obligations through synchronizations
Hamin, Jafar; Jacobs, Bart (2019) -
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Zhang, D.; Bonacki, Dragan; van den Brand, M.; Huizing, Cornelus; Jacobs, Bart; Kuiper, Roel; Wijs, Anton (2017)