Login / Signup
Jafar Hamin
ORCID
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 4
Top Topics
Derivation Rules
Termination Analysis
Multimedia
Update Semantics
Top Venues
ICTAC
ECOOP
IRI
ESOP
</>
Publications
</>
Jafar Hamin
Starvation-Free Monitors.
ICTAC
(2019)
Jafar Hamin
,
Bart Jacobs
Transferring Obligations Through Synchronizations.
ECOOP
(2019)
Jafar Hamin
,
Bart Jacobs
Deadlock-Free Monitors.
ESOP
(2018)
Jafar Hamin
,
Bart Jacobs
Modular Verification of Termination and Execution Time Bounds Using Separation Logic.
IRI
(2016)