Afshin Amighi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2012–2021
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICISS | WiP: A Distributed Approach for Statistical Disclosure Control Technologies. | Afshin Amighi, Mortaza S. Bargh, Ahmad Omar |
| 2016 | PDP | VerCors: A Layered Approach to Practical Verification of Concurrent Software. | Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2015 | SEFM | Specification and Verification of Atomic Operations in GPGPU Programs. | Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman |
| 2014 | APLAS | Resource Protection Using Atomics - Patterns and Verification. | Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2014 | PDP | Formal Specifications for Java's Synchronisation Classes. | Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski |
| 2012 | SEFM | Sound Control-Flow Graph Extraction for Java Programs with Exceptions. | Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |