Jafar Hamin

According to our database, Jafar Hamin authored at least 4 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Starvation-Free Monitors.

Jafar Hamin

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Transferring Obligations Through Synchronizations.

Jafar Hamin, Bart Jacobs

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Deadlock-Free Monitors.

Jafar Hamin, Bart Jacobs

Proceedings of the Programming Languages and Systems, 2018

2016

Modular Verification of Termination and Execution Time Bounds Using Separation Logic.

Jafar Hamin, Bart Jacobs

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016