dblp.uni-trier.dewww.uni-trier.de

Ziyad Hanna Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
23EERoberto 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
22EEZiyad Hanna: Abstract Modeling and Formal Verification of Microprocessors. CSR 2007: 23
21EEDaher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili: Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD 2007: 20-26
20EENachum Dershowitz, Ziyad Hanna, Alexander Nadel: Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT 2007: 287-293
19EEJacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking CoRR abs/0710.4629: (2007)
2006
18EESung-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
17EEZurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD 2006: 11-18
16EENachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT 2006: 36-41
15EENachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction CoRR abs/cs/0605085: (2006)
14EEMarco 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
13EEJacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking. DATE 2005: 686-687
12EEZurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna: Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference 2005: 56-75
11EENachum Dershowitz, Ziyad Hanna, Jacob Katz: Bounded Model Checking with QBF. SAT 2005: 408-414
10EENachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Clause-Based Heuristic for SAT Solvers. SAT 2005: 46-60
9EEYulik Feldman, Nachum Dershowitz, Ziyad Hanna: Parallel Multithreaded Satisfiability Solver: Design and Implementation. Electr. Notes Theor. Comput. Sci. 128(3): 75-90 (2005)
2004
8EEZurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. ICCAD 2004: 58-65
7EEFeng 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
6EEFeng 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
5EEZurab Khasidashvili, Ziyad Hanna: SAT-based methods for sequential hardware equivalence verification without synchronization. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
4EEGunnar 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
3EEGunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: A proof engine approach to solving combinational design automation problems. DAC 2002: 725-730
2EESasha Novakovsky, Shy Shyman, Ziyad Hanna: High capacity and automatic functional extraction tool for industrial VLSI circuit designs. ICCAD 2002: 520-525
2001
1EEJohn 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)