Mohammad Awedh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

5 Mohammad Awedh, Fabio Somenzi: Automatic invariant strengthening to prove properties in bounded model checking. DAC 2006: 1073-1076

4 Mohammad Awedh, Fabio Somenzi: Termination Criteria for Bounded Model Checking: Extensions and Comparison. Electr. Notes Theor. Comput. Sci. 144(1): 51-66 (2006)

2004

3 HoonSang Jin, Mohammad Awedh, Fabio Somenzi: CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV 2004: 519-522

2 Mohammad Awedh, Fabio Somenzi: Proving More Properties with Bounded Model Checking. CAV 2004: 96-108

1 Mohammad Awedh, Fabio Somenzi: Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. FMCAD 2004: 230-244

	2006
5		Mohammad Awedh, Fabio Somenzi: Automatic invariant strengthening to prove properties in bounded model checking. DAC 2006: 1073-1076
4		Mohammad Awedh, Fabio Somenzi: Termination Criteria for Bounded Model Checking: Extensions and Comparison. Electr. Notes Theor. Comput. Sci. 144(1): 51-66 (2006)
	2004
3		HoonSang Jin, Mohammad Awedh, Fabio Somenzi: CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV 2004: 519-522
2		Mohammad Awedh, Fabio Somenzi: Proving More Properties with Bounded Model Checking. CAV 2004: 96-108
1		Mohammad Awedh, Fabio Somenzi: Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. FMCAD 2004: 230-244

Coauthor Index

1 HoonSang Jin [3]

2 Fabio Somenzi [1] [2] [3] [4] [5]