A. Amighi

Provably correct control flow graphs from Java bytecode programs with exceptions

Marieke Huisman, Pedro de Carvalho Gomes, Dilian Gurov, 2016, International Journal on Software Tools for Technology Transfer.

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Marieke Huisman, Pedro de Carvalho Gomes, Dilian Gurov, 2012, SEFM.

Verification of Shared-Reading Synchronisers pdf

Marieke Huisman, Stefan Blom, Afshin Amighi, 2018, MeTRiD@ETAPS.

Specification and verification of synchronisation classes in Java : A practical approach

A. Amighi, A. Amighi, 2018 .

VerCors: A Layered Approach to Practical Verification of Concurrent Software

Marieke Huisman, Stefan Blom, Afshin Amighi, 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).

Permission-Based Separation Logic for Multithreaded Java Programs

Marieke Huisman, Christian Haack, Clément Hurlin, 2014, Log. Methods Comput. Sci..

WiP: A Distributed Approach for Statistical Disclosure Control Technologies

Mortaza S. Bargh, Afshin Amighi, Ahmad Omar, 2021, ICISS.