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	EE	Yaron Wolfsthal, Rebecca M. Gott: Formal verification: is it real enough? DAC 2005: 670-671
23	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
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	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
20	EE	Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: PathFinder: A Tool for Design Exploration. CAV 2002: 510-514
19	EE	Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162
2001
18	EE	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	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
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	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)
1994
11	EE	Yaron Wolfstahl, Michael Yoeli: An Equivalence Theorem for Labeled Marked Graphs. IEEE Trans. Parallel Distrib. Syst. 5(8): 886-891 (1994)
1993
10	EE	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	EE	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