Jafar Hamin

Jafar Hamin

I am a PhD student and a research associate at the Department of Computer Science of KU Leuven, working under supervision of Prof. Jacobs. I started as a member of the DistriNet Research Group in July 2015 and my main research interest is in formal verification of software systmes.

I am currently working on modular verification of finite blocking in the presence of condition variables.

Here you can find Pretex, a time bound verification tool, developed by me under supervision of Prof. Jacobs.

 

Key publications:

  1. Jafar Hamin, Bart Jacobs, Modular verification of deadlock-freedom in the presence of condition variables, Technical Report (CW Reports), volume CW704, Department of Computer Science, KU Leuven, May 2017 download0 582266bibtex
  2. Jafar Hamin, Bart Jacobs, Modular verification of termination and execution time bounds using separation logic, 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), issue 17, pages 110-117, Pittsburgh, PA, USA, 28-30 July 2016 download0 567662bibtex
  3. Jafar Hamin, Bart Jacobs, Modular verification of termination and execution time bounds using separation logic, Technical Report (CW Reports), volume CW696, Department of Computer Science, KU Leuven, April 2016 download0 540058bibtex
[More...]
 

 

Contact info

  • Office: 05.34
  • Address:
    Dept. Computer Science
    Celestijnenlaan 200A - bus 2402
    B-3001 Heverlee
    BELGIUM
  • Tel: +3216374819
  • Fax: +32 16 327996
  • Email: Jafar Hamin