Cindy Eisner Vis

*	2009
23	EE	Eli Arbel, Cindy Eisner, Oleg Rokhlenko: Resurrecting infeasible clock-gating functions. DAC 2009: 160-165
	2008
22	EE	Cindy Eisner, Amir Nahir, Karen Yorav: Functional Verification of Power Gated Designs by Compositional Reasoning. CAV 2008: 433-445
21	EE	Cindy Eisner, Dana Fisman: Augmenting a Regular Expression-Based Temporal Logic with Local Variables. FMCAD 2008: 1-8
20	EE	Cindy Eisner, Dana Fisman: Structural Contradictions. Haifa Verification Conference 2008: 164-178
19	EE	Emmanuel Zarpas, Cindy Eisner, Sivan Tal: Policy Validation for System Automation: A Case Study. POLICY 2008: 46-53
	2007
18	EE	Cindy Eisner: PSL for Runtime Verification: Theory and Practice. RV 2007: 1-8
	2006
17	EE	Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz: ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference 2006: 138-154
	2005
16	EE	Cindy Eisner, Dana Fisman, John Havlicek: A topological characterization of weakness. PODC 2005: 1-8
15	EE	Cindy Eisner: Formal verification of software source code through semi-automatic modeling. Software and System Modeling 4(1): 14-31 (2005)
	2003
14	EE	Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout: Reasoning with Temporal Logic on Truncated Paths. CAV 2003: 27-39
13	EE	Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout: The Definition of a Temporal Clock Operator. ICALP 2003: 857-870
12	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
11	EE	Cindy Eisner, Doron Peled: Comparing Symbolic and Explicit Model Checking of a Software System. SPIN 2002: 230-239
10	EE	Cindy Eisner: Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. STTT 4(1): 107-124 (2002)
	2001
9	EE	Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh: The Temporal Logic Sugar. CAV 2001: 363-367
8	EE	Cindy Eisner: Model checking the garbage collection mechanism of SMV. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
7		Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods in System Design 18(2): 141-163 (2001)
6		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
5	EE	Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk: A methodology for formal design of hardware control with application to cache coherence protocols. DAC 2000: 724-729
	1999
4	EE	Cindy Eisner: Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. CHARME 1999: 97-109
	1997
3	EE	Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in ACTL Formulaas. CAV 1997: 279-290
2	EE	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
1	EE	Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver: RuleBase: An Industry-Oriented Formal Verification Tool. DAC 1996: 655-660

Coauthor Index

1	Yael Abarbanel-Vinov	[6]
2	Neta Aizenbud-Reshef	[6]
3	Eli Arbel	[23]
4	Sharon Barner	[17]
5	Ilan Beer	[1] [2] [3] [6] [7] [9]
6	Shoham Ben-David	[1] [2] [3] [7] [9] [12]
7	David Van Campenhout	[13] [14]
8	Dana Fisman	[9] [13] [14] [16] [20] [21]
9	Daniel Geist	[2] [6] [12]
10	Ziv Glazberg	[17]
11	Leonid Gluhovsky	[2]
12	Anna Gringauze	[9]
13	John Havlicek	[13] [14] [16]
14	Tamir Heyman	[2] [6]
15	Russ Hoover	[5]
16	Daniel Kroening (Daniel Kröning)	[17]
17	Avner Landver	[1] [2]
18	Yoad Lustig	[14]
19	Anthony McIsaac	[13] [14]
20	Amir Nahir	[22]
21	Wayne G. Nation	[5]
22	Kyle L. Nelson	[5]
23	P. Paanah	[2]
24	Doron Peled	[11]
25	Ishai Rabinovitz	[17]
26	Iris Reuveni	[6]
27	Eran Rippel	[6]
28	Yoav Rodeh	[2] [3] [7] [9]
29	Oleg Rokhlenko	[23]
30	G. Ronin	[2]
31	Irit Shitsevalov	[5] [6]
32	Sivan Tal	[19]
33	Ken Valk	[5]
34	Yaron Wolfsthal (Yaron Wolfstahl)	[2] [6] [12]
35	Tali Yatzkar-Haham	[6]
36	Karen Yorav (Karen Laster)	[22]
37	Emmanuel Zarpas	[19]

Colors in the list of coauthors