Avi Ziv

	2008
28		Dorit Baras, Laurent Fournier, Avi Ziv: Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. Haifa Verification Conference 2008: 53-67
27		Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv: A probabilistic alternative to regression suites. Theor. Comput. Sci. 404(3): 219-234 (2008)
	2007
26		Eyal Bin, Avi Ziv, Shmuel Ur: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers Springer 2007
25		Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv: Verification Coverage: When is Enough, Enough? DAC 2007: 744-745
24		Laurent Fournier, Avi Ziv: Using Virtual Coverage to Hit Hard-To-Reach Events. Haifa Verification Conference 2007: 104-119
	2006
23		Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen: Scheduling-based test-case generation for verification of multimedia SoCs. DAC 2006: 348-351
22		Amir Nahir, Yossi Shiloach, Avi Ziv: Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. Haifa Verification Conference 2006: 16-33
21		Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv: Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation. IEEE Trans. Computers 55(11): 1344-1355 (2006)
20		Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar: Advanced Analysis Techniques for Cross-Product Coverage. IEEE Trans. Computers 55(11): 1367-1379 (2006)
	2004
19		Sigal Asaf, Eitan Marcus, Avi Ziv: Defining coverage views to improve functional coverage analysis. DAC 2004: 41-44
18		Shai Fine, Shmuel Ur, Avi Ziv: Probabilistic regression suites for functional verification. DAC 2004: 49-54
17		Avi Ziv: Stimuli Generation with Late Binding of Values. DATE 2004: 558-563
16		Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv: Probabilistic Alternative Regression Suites. ISoLA (Preliminary proceedings) 2004: 89-91
15		Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Design & Test of Computers 21(2): 84-93 (2004)
	2003
14		Shai Fine, Avi Ziv: Coverage directed test generation for functional verification using bayesian networks. DAC 2003: 286-291
13		Avi Ziv: Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions . DATE 2003: 10834-10841
12		Avi Ziv, Merav Aharoni, Sigal Asaf: Solving Range Constraints for Binary Floating-Point Instructions. IEEE Symposium on Computer Arithmetic 2003: 158-164
11		Avi Ziv, Laurent Fournier: Solving the generalized mask constraint for test generation of binary floating point add operation. Theor. Comput. Sci. 291(2): 183-201 (2003)
	2002
10		Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv: Hole analysis for functional coverage data. DAC 2002: 807-812
9		Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal 41(3): 386-402 (2002)
	2001
8		Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv: Cost evaluation of coverage directed test generation for the IBM mainframe. ITC 2001: 793-802
	1998
7		Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv: User Defined Coverage - A Tool Supported Methodology for Design Verification. DAC 1998: 158-163
6		Yossi Malka, Avi Ziv: Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data. DAC 1998: 644-649
5		Avi Ziv, Jehoshua Bruck: Analysis of Checkpointing Schemes with Task Duplication. IEEE Trans. Computers 47(2): 222-227 (1998)
	1997
4		Avi Ziv, Jehoshua Bruck: Performance Optimization of Checkpointing Schemes with Task Duplication. IEEE Trans. Computers 46(12): 1381-1386 (1997)
3		Avi Ziv, Jehoshua Bruck: An On-Line Algorithm for Checkpoint Placement. IEEE Trans. Computers 46(9): 976-985 (1997)
	1994
2		Sanko Lan, Avi Ziv, Abbas El Gamal: Placement and Routing for a Field Programmable Multi-Chip Module. DAC 1994: 295-300
1		Avi Ziv, Jehoshua Bruck: Analysis of Checkpointing Schemes for Multiprocessor Systems. SRDS 1994: 52-61

Coauthor Index

1	Allon Adir	[15]
2	Merav Aharoni	[12]
3	Eli Almog	[15]
4	Sigal Asaf	[12] [19]
5	Hezi Azatchi	[20]
6	Francine Bacchini	[25]
7	Dorit Baras	[28]
8	Eyal Bin	[9] [26]
9	Jehoshua Bruck	[1] [3] [4] [5]
10	Shady Copty	[16] [27]
11	Roy Emek	[9] [23]
12	Shai Fine	[14] [16] [18] [21] [27]
13	Tom Fitzpatrick	[25]
14	Laurent Fournier	[11] [15] [20] [24] [28]
15	Ari Freund	[21]
16	Abbas El Gamal (Abbas A. El Gamal)	[2]
17	Raanan Grinwald	[7]
18	Eran Harel	[7]
19	Alan J. Hu	[25]
20	Itai Jaeger	[21]
21	Tal Keidar	[23]
22	David Lacey	[25]
23	Oded Lachish	[10]
24	Sanko Lan	[2]
25	Yossi Malka	[6]
26	Yishay Mansour	[21]
27	Eitan Marcus	[10] [15] [19] [20]
28	Steven Mittermaier	[8]
29	Amir Nahir	[22] [23]
30	Gilly Nativ	[8]
31	Yehuda Naveh	[21]
32	Michael Orgad	[7]
33	Andrew Piziali	[25]
34	Rajeev Ranjan	[25]
35	Michal Rimon	[15]
36	Nir Ronen	[23]
37	Yossi Shiloach	[22]
38	Gil Shurek	[9]
39	Mercedes Tan	[25]
40	Shmuel Ur	[7] [8] [10] [16] [18] [20] [26] [27]
41	Michael Vinov	[15]
42	Elad Yom-Tov	[27]
43	Keren Zohar	[20]

Colors in the list of coauthors