Afshin Amighi

According to our database, Afshin Amighi authored at least 11 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

WiP: A Distributed Approach for Statistical Disclosure Control Technologies.

Afshin Amighi, Mortaza S. Bargh, Ahmad Omar

Proceedings of the Information Systems Security - 17th International Conference, 2021

2018

Verification of Shared-Reading Synchronisers.

Afshin Amighi, Marieke Huisman, Stefan Blom

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

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

VerCors: A Layered Approach to Practical Verification of Concurrent Software.

Afshin Amighi, Stefan Blom, Marieke Huisman

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

Permission-Based Separation Logic for Multithreaded Java Programs.

Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin

Log. Methods Comput. Sci., 2015

Specification and Verification of Atomic Operations in GPGPU Programs.

Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Verification of Concurrent Systems with VerCors.

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Resource Protection Using Atomics - Patterns and Verification.

Afshin Amighi, Stefan Blom, Marieke Huisman

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2012

Sound Control-Flow Graph Extraction for Java Programs with Exceptions.

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

The VerCors project: setting up basecamp.

Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012