Afshin Amighi

According to our database1, Afshin Amighi authored at least 10 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Verification of Shared-Reading Synchronisers.
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.
Int. J. Softw. Tools Technol. Transf., 2016

VerCors: A Layered Approach to Practical Verification of Concurrent Software.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015
Permission-Based Separation Logic for Multithreaded Java Programs.
Log. Methods Comput. Sci., 2015

Specification and Verification of Atomic Operations in GPGPU Programs.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014
Verification of Concurrent Systems with VerCors.
Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Resource Protection Using Atomics - Patterns and Verification.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2012
Sound Control-Flow Graph Extraction for Java Programs with Exceptions.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

The VerCors project: setting up basecamp.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012


  Loading...