Ashish Darbari

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 2

Top Topics

Industrial Strength

Computational Models

Top Venues

Publications

Ashish Darbari, Iain Singleton, Michael J. Butler, John Colley
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B. CoRR (2016)
Ashish Darbari, Iain Singleton
Industrial Strength Formal Using Abstractions. CoRR (2016)
Ashish Darbari, Bernd Fischer, João Marques-Silva
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. ICTAC (2010)
Ashish Darbari, Bernd Fischer, João P. Marques Silva
Industrial-Strength Formally Certified SAT Solving CoRR (2009)
Ashish Darbari, Bashir M. Al-Hashimi, David Flynn, John Biggs
Selective state retention design using symbolic simulation. DATE (2009)
Ashish Darbari, Bashir M. Al-Hashimi
Hardware Dependability in the Presence of Soft Errors. BCS Int. Acad. Conf. (2008)
Ashish Darbari, Bashir M. Al-Hashimi, Peter Harrod, Daryl Bradley
A New Approach for Transient Fault Injection Using Symbolic Simulation. IOLTS (2008)
Ashish Darbari
Symmetry Reduction for STE Model Checking. FMCAD (2006)