Ashish Darbari

According to our database, Ashish Darbari authored at least 8 papers between 2006 and 2016.

Collaborative distances:

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

2016

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B.

Ashish Darbari, Iain Singleton, Michael J. Butler, John Colley

CoRR, 2016

Industrial Strength Formal Using Abstractions.

Ashish Darbari, Iain Singleton

CoRR, 2016

2010

Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.

Ashish Darbari, Bernd Fischer, João Marques-Silva

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Industrial-Strength Formally Certified SAT Solving

Ashish Darbari, Bernd Fischer, João Marques-Silva

CoRR, 2009

Selective state retention design using symbolic simulation.

Ashish Darbari, Bashir M. Al-Hashimi, David Flynn, John Biggs

Proceedings of the Design, Automation and Test in Europe, 2009

2008

A New Approach for Transient Fault Injection Using Symbolic Simulation.

Ashish Darbari, Bashir M. Al-Hashimi, Peter Harrod, Daryl Bradley

Proceedings of the 14th IEEE International On-Line Testing Symposium (IOLTS 2008), 2008

Hardware Dependability in the Presence of Soft Errors.

Ashish Darbari, Bashir M. Al-Hashimi

Proceedings of the Visions of Computer Science, 2008

2006

Symmetry Reduction for STE Model Checking.

Ashish Darbari

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006