Proving More Properties with Bounded Model Checking. - Mohammad Awedh; Fabio Somenzi (CAV, 2004)

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. - HoonSang Jin; Mohammad Awedh; Fabio Somenzi (CAV, 2004)

Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. - Mohammad Awedh; Fabio Somenzi (FMCAD, 2004)

Termination Criteria for Bounded Model Checking: Extensions and Comparison. - Mohammad Awedh; Fabio Somenzi (BMC@CAV, 2005)

Automatic invariant strengthening to prove properties in bounded model checking. - Mohammad Awedh; Fabio Somenzi (DAC, 2006)