The VerCors project: setting up basecamp. - Afshin Amighi; Stefan Blom; Marieke Huisman; Marina Zaharieva-Stojanovski (PLPV, 2012)

Sound Control-Flow Graph Extraction for Java Programs with Exceptions. - Afshin Amighi; Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman (SEFM, 2012)

Resource Protection Using Atomics - Patterns and Verification. - Afshin Amighi; Stefan Blom; Marieke Huisman (APLAS, 2014)

Formal Specifications for Java's Synchronisation Classes. - Afshin Amighi; Stefan Blom; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (PDP, 2014)

Verification of Concurrent Systems with VerCors. - Afshin Amighi; Stefan Blom; Saeed Darabi; Marieke Huisman; Wojciech Mostowski; Marina Zaharieva-Stojanovski (SFM, 2014)

Specification and Verification of Atomic Operations in GPGPU Programs. - Afshin Amighi; Saeed Darabi; Stefan Blom; Marieke Huisman (SEFM, 2015)

Permission-Based Separation Logic for Multithreaded Java Programs. - Afshin Amighi; Christian Haack; Marieke Huisman; Clément Hurlin (Log. Methods Comput. Sci., 2015)

VerCors: A Layered Approach to Practical Verification of Concurrent Software. - Afshin Amighi; Stefan Blom; Marieke Huisman (PDP, 2016)

Provably correct control flow graphs from Java bytecode programs with exceptions. - Afshin Amighi; Pedro de Carvalho Gomes; Dilian Gurov; Marieke Huisman (Int. J. Softw. Tools Technol. Transf., 2016)

Verification of Shared-Reading Synchronisers. - Afshin Amighi; Marieke Huisman; Stefan Blom (MeTRiD@ETAPS, 2018)

WiP: A Distributed Approach for Statistical Disclosure Control Technologies. - Afshin Amighi; Mortaza S. Bargh; Ahmad Omar (ICISS, 2021)

Directions for Enhancing the Use of Personal Data Minimization Technology in Public Organizations. - Mortaza S. Bargh; Hanne Vlietinck; Afshin Amighi; Ahmad Omar; Shengyun Yang; Nicky Daniels; Sunil Choenni (DG.O, 2024)