Mohammad Awedh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | DAC | Automatic invariant strengthening to prove properties in bounded model checking. | Mohammad Awedh, Fabio Somenzi |
| 2004 | CAV | Proving More Properties with Bounded Model Checking. | Mohammad Awedh, Fabio Somenzi |
| 2004 | CAV | CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. | HoonSang Jin, Mohammad Awedh, Fabio Somenzi |
| 2004 | FMCAD | Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. | Mohammad Awedh, Fabio Somenzi |