Afshin Amighi

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