Yaron Wolfsthal

2006
17		Shmuel Ur, Eyal Bin, Yaron Wolfsthal: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Springer 2006
2005
16	EE	Yaron Wolfsthal, Rebecca M. Gott: Formal verification: is it real enough? DAC 2005: 670-671
15	EE	Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib: Combining System Level Modeling with Assertion Based Verification. ISQED 2005: 310-315
2003
14	EE	Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal: Model Checking at IBM. Formal Methods in System Design 22(2): 101-108 (2003)
2002
13	EE	Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
12	EE	Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
2001
11	EE	Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal: Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160
10		Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001)
2000
9		Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542
1999
8	EE	Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal: A Study in Coverage-Driven Test Generation. DAC 1999: 970-975
1997
7		Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483
1996
6		Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158
1995
5	EE	Ashok K. Chandra, Vijay S. Iyengar, D. Jameson, R. V. Jawalekar, Indira Nair, Barry K. Rosen, Michael P. Mullen, J. Yoon, R. Armoni, Daniel Geist, Yaron Wolfsthal: AVPGEN-A test generator for architecture verification. IEEE Trans. VLSI Syst. 3(2): 188-200 (1995)
1993
4	EE	Shlomo Moran, Yaron Wolfsthal: Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints. Discrete Applied Mathematics 43(3): 233-241 (1993)
3		Fillia Makedon, Dafna Sheinwald, Yaron Wolfsthal: A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs. Inf. Process. Lett. 46(2): 103-107 (1993)
1991
2		Yaron Wolfsthal: Style Control in the Quill Document Editing Systems. Softw., Pract. Exper. 21(6): 625-638 (1991)
1		Shlomo Moran, Yaron Wolfsthal: Optimal Covering of Cacti by Vertex-Disjoint Paths. Theor. Comput. Sci. 84(2): 179-197 (1991)

Coauthor Index

1	Yael Abarbanel	[9]
2	Yael Abarbanel-Vinov	[10]
3	Neta Aizenbud-Reshef	[10]
4	R. Armoni	[5]
5	Sharon Barner	[12]
6	Ilan Beer	[7] [9] [10]
7	Shoham Ben-David	[7] [12] [13] [14]
8	Lyes Benalycherif	[15]
9	Mike Benjamin	[8]
10	Eyal Bin	[17]
11	Ashok K. Chandra	[5]
12	Anat Dahan	[15]
13	Cindy Eisner	[7] [10] [14]
14	Monica Farkas	[6]
15	Daniel Geist	[5] [6] [7] [8] [10] [14] [15]
16	Leonid Gluhovsky	[7] [9] [15]
17	Rebecca M. Gott	[16]
18	Anna Gringauze	[12] [13]
19	Alan Hartman	[8]
20	Tamir Heyman	[7] [10]
21	Vijay S. Iyengar	[5]
22	D. Jameson	[5]
23	R. V. Jawalekar	[5]
24	Romain Kamdem	[15]
25	Sharon Keidar	[9]
26	Younes Lahbib	[15]
27	Avner Landver	[6] [7]
28	Yossi Lichtenstein	[6]
29	Fillia Makedon	[3]
30	Gérard Mas	[8]
31	Shlomo Moran	[1] [4]
32	Michael P. Mullen	[5]
33	Indira Nair	[5]
34	P. Paanah	[7]
35	Dmitry Pidan	[15]
36	Gil Ratsaby	[11]
37	Iris Reuveni	[10]
38	Eran Rippel	[10]
39	Yoav Rodeh	[7]
40	G. Ronin	[7]
41	Barry K. Rosen	[5]
42	Gil Shapir	[15]
43	Dafna Sheinwald	[3]
44	Irit Shitsevalov	[10]
45	Ralph Smeets	[8]
46	Baruch Sterin	[12] [13]
47	Shmuel Ur	[6] [11] [17]
48	Tali Yatzkar-Haham	[10]
49	J. Yoon	[5]

Colors in the list of coauthors