Afshin Amighi

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Topics

Provably Correct

Statistical Disclosure Control

Top Venues

Publications

Mortaza S. Bargh, Hanne Vlietinck, Afshin Amighi, Ahmad Omar, Shengyun Yang, Nicky Daniels, Sunil Choenni
Directions for Enhancing the Use of Personal Data Minimization Technology in Public Organizations. DG.O (2024)
Afshin Amighi, Mortaza S. Bargh, Ahmad Omar
WiP: A Distributed Approach for Statistical Disclosure Control Technologies. ICISS (2021)
Afshin Amighi, Marieke Huisman, Stefan Blom
Verification of Shared-Reading Synchronisers. MeTRiD@ETAPS (2018)
Afshin Amighi, Stefan Blom, Marieke Huisman
VerCors: A Layered Approach to Practical Verification of Concurrent Software. PDP (2016)
Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
Provably correct control flow graphs from Java bytecode programs with exceptions. Int. J. Softw. Tools Technol. Transf. 18 (6) (2016)
Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin
Permission-Based Separation Logic for Multithreaded Java Programs. Log. Methods Comput. Sci. 11 (1) (2015)
Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
Specification and Verification of Atomic Operations in GPGPU Programs. SEFM (2015)
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Verification of Concurrent Systems with VerCors. SFM (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman
Resource Protection Using Atomics - Patterns and Verification. APLAS (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Formal Specifications for Java's Synchronisation Classes. PDP (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
The VerCors project: setting up basecamp. PLPV (2012)
Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
Sound Control-Flow Graph Extraction for Java Programs with Exceptions. SEFM (2012)