☰

Mohammad Awedh, Ph.D. - Publications

Affiliations: 
2006 University of Colorado, Boulder, Boulder, CO, United States 
Area:
Electronics and Electrical Engineering
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2006 Awedh M, Somenzi F. Automatic invariant strengthening to prove properties in bounded model checking Proceedings - Design Automation Conference. 1073-1076. DOI: 10.1145/1146909.1147180  0.469
2004 Awedh M, Somenzi F. Increasing the robustness of bounded model checking by computing lower bounds on the reachable states Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3312: 230-244.  0.407
2004 Awedh M, Somenzi F. Proving more properties with Bounded Model Checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 96-108.  0.576
2004 Jin H, Awedh M, Somenzi F. CirCUs: A satisfiability solver geared towards bounded model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 519-522.  0.476
Show low-probability matches.