Ziyad Hanna

	2007
23		Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani: A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV 2007: 547-560
22		Ziyad Hanna: Abstract Modeling and Formal Verification of Microprocessors. CSR 2007: 23
21		Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili: Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD 2007: 20-26
20		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT 2007: 287-293
19		Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking CoRR abs/0710.4629: (2007)
	2006
18		Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moondanos, Ziyad Hanna: Generation of shorter sequences for high resolution error diagnosis using sequential SAT. ASP-DAC 2006: 25-29
17		Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD 2006: 11-18
16		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT 2006: 36-41
15		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction CoRR abs/cs/0605085: (2006)
14		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani: Encoding RTL Constructs for MathSAT: a Preliminary Report. Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006)
	2005
13		Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking. DATE 2005: 686-687
12		Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna: Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference 2005: 56-75
11		Nachum Dershowitz, Ziyad Hanna, Jacob Katz: Bounded Model Checking with QBF. SAT 2005: 408-414
10		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Clause-Based Heuristic for SAT Solvers. SAT 2005: 46-60
9		Yulik Feldman, Nachum Dershowitz, Ziyad Hanna: Parallel Multithreaded Satisfiability Solver: Design and Implementation. Electr. Notes Theor. Comput. Sci. 128(3): 75-90 (2005)
	2004
8		Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. ICCAD 2004: 58-65
7		Feng Lu, Li-C. Wang, Kwang-Ting (Tim) Cheng, John Moondanos, Ziyad Hanna: A Signal Correlation Guided Circuit-SAT Solver. J. UCS 10(12): 1629-1654 (2004)
	2003
6		Feng Lu, Li-C. Wang, Kwang-Ting Cheng, John Moondanos, Ziyad Hanna: A signal correlation guided ATPG solver and its applications for solving difficult industrial cases. DAC 2003: 436-441
5		Zurab Khasidashvili, Ziyad Hanna: SAT-based methods for sequential hardware equivalence verification without synchronization. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
4		Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: Design automation with mixtures of proof strategies for propositional logic. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 1042-1048 (2003)
	2002
3		Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: A proof engine approach to solving combinational design automation problems. DAC 2002: 725-730
2		Sasha Novakovsky, Shy Shyman, Ziyad Hanna: High capacity and automatic functional extraction tool for industrial VLSI circuit designs. ICCAD 2002: 520-525
	2001
1		John Moondanos, Carl-Johan H. Seger, Ziyad Hanna, Daher Kaiss: CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination. CAV 2001: 131-143

Coauthor Index

1	Gunnar Andersson	[3] [4]
2	Per Bjesse	[3] [4]
3	Marco Bozzano	[14]
4	Roberto Bruttomesso	[14] [23]
5	Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng)	[6] [7] [18]
6	Alessandro Cimatti	[14] [23]
7	Byron Cook	[3] [4]
8	Nachum Dershowitz	[9] [10] [11] [13] [15] [16] [19] [20]
9	Yulik Feldman	[9]
10	Anders Franzén	[14] [23]
11	Alberto Griggio	[23]
12	Daher Kaiss	[1] [8] [17] [21]
13	Jacob Katz	[11] [13] [19]
14	Zurab Khasidashvili	[5] [8] [12] [14] [17] [21]
15	Feng Lu	[6] [7]
16	John Moondanos	[1] [6] [7] [18]
17	Alexander Nadel	[10] [12] [15] [16] [20] [23]
18	Sasha Novakovsky	[2]
19	Amit Palti	[12] [14] [23]
20	Sung-Jui (Song-Ra) Pan	[18]
21	Roberto Sebastiani	[14] [23]
22	Carl-Johan H. Seger	[1]
23	Shy Shyman	[2]
24	Marcelo Skaba	[8] [17] [21]
25	Li-C. Wang	[6] [7]

Colors in the list of coauthors