Symmetry Reduction for STE Model Checking. - Ashish Darbari (FMCAD, 2006)

Hardware Dependability in the Presence of Soft Errors. - Ashish Darbari; Bashir M. Al-Hashimi (BCS Int. Acad. Conf., 2008)

A New Approach for Transient Fault Injection Using Symbolic Simulation. - Ashish Darbari; Bashir M. Al-Hashimi; Peter Harrod; Daryl Bradley (IOLTS, 2008)

Selective state retention design using symbolic simulation. - Ashish Darbari; Bashir M. Al-Hashimi; David Flynn; John Biggs (DATE, 2009)

Industrial-Strength Formally Certified SAT Solving - Ashish Darbari; Bernd Fischer 002; João Marques-Silva 001 (CoRR, 2009)

Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. - Ashish Darbari; Bernd Fischer 002; João Marques-Silva 001 (ICTAC, 2010)

Industrial Strength Formal Using Abstractions. - Ashish Darbari; Iain Singleton (CoRR, 2016)

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B. - Ashish Darbari; Iain Singleton; Michael J. Butler; John Colley (CoRR, 2016)