Yaron Wolfsthal

Yaron Wolfstahl

	2006
25		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
24		Yaron Wolfsthal, Rebecca M. Gott: Formal verification: is it real enough? DAC 2005: 670-671
23		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
	2004
22		Yaron Wolfsthal: Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ISoLA (Preliminary proceedings) 2004: 190-190
	2003
21		Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal: Model Checking at IBM. Formal Methods in System Design 22(2): 101-108 (2003)
	2002
20		Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
19		Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
	2001
18		Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal: Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160
17		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
16		Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542
	1999
15		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
14		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
13		Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158
	1995
12		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)
	1994
11		Yaron Wolfstahl, Michael Yoeli: An Equivalence Theorem for Labeled Marked Graphs. IEEE Trans. Parallel Distrib. Syst. 5(8): 886-891 (1994)
	1993
10		Shlomo Moran, Yaron Wolfsthal: Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints. Discrete Applied Mathematics 43(3): 233-241 (1993)
9		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
8		Yaron Wolfsthal: Style Control in the Quill Document Editing Systems. Softw., Pract. Exper. 21(6): 625-638 (1991)
7		Shlomo Moran, Yaron Wolfsthal: Optimal Covering of Cacti by Vertex-Disjoint Paths. Theor. Comput. Sci. 84(2): 179-197 (1991)
	1990
6		Alon Itai, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks: Optimal Distributed t-Resilient Election in Complete Networks. IEEE Trans. Software Eng. 16(4): 415-420 (1990)
5		Shlomo Moran, Yaron Wolfstahl: One-Page Book Embedding Under Vertex-Neighborhood Constraints. SIAM J. Discrete Math. 3(3): 376-390 (1990)
	1989
4		Yaron Wolfstahl: Mapping parallel programs to multiprocessors: a dynamic approach. Parallel Computing 10(1): 45-50 (1989)
	1987
3		Reuven Bar-Yehuda, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks: Making Distributed Spanning Tree Algorithms Fault-Resilient. STACS 1987: 432-444
2		Shlomo Moran, Yaron Wolfstahl: Extended Impossibility Results for Asynchronous Complete Networks. Inf. Process. Lett. 26(3): 145-151 (1987)
1		Shlomit S. Pinter, Yaron Wolfstahl: Embedding Ternary Trees in VLSI Arrays. Inf. Process. Lett. 26(4): 187-191 (1987)

Coauthor Index

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

Colors in the list of coauthors