Modular Verification of Termination and Execution Time Bounds Using Separation Logic. - Jafar Hamin; Bart Jacobs 002 (IRI, 2016)

Deadlock-Free Monitors. - Jafar Hamin; Bart Jacobs 002 (ESOP, 2018)

Transferring Obligations Through Synchronizations. - Jafar Hamin; Bart Jacobs 002 (ECOOP, 2019)

Starvation-Free Monitors. - Jafar Hamin (ICTAC, 2019)