Cindy Eisner

2008
21	EE	Cindy Eisner, Amir Nahir, Karen Yorav: Functional Verification of Power Gated Designs by Compositional Reasoning. CAV 2008: 433-445
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		Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in ACTL Formulaas. CAV 1997: 279-290
2		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	Sharon Barner	[17]
4	Ilan Beer	[1] [2] [3] [6] [7] [9]
5	Shoham Ben-David	[1] [2] [3] [7] [9] [12]
6	David Van Campenhout	[13] [14]
7	Dana Fisman	[9] [13] [14] [16] [20]
8	Daniel Geist	[2] [6] [12]
9	Ziv Glazberg	[17]
10	Leonid Gluhovsky	[2]
11	Anna Gringauze	[9]
12	John Havlicek	[13] [14] [16]
13	Tamir Heyman	[2] [6]
14	Russ Hoover	[5]
15	Daniel Kroening (Daniel Kröning)	[17]
16	Avner Landver	[1] [2]
17	Yoad Lustig	[14]
18	Anthony McIsaac	[13] [14]
19	Amir Nahir	[21]
20	Wayne G. Nation	[5]
21	Kyle L. Nelson	[5]
22	P. Paanah	[2]
23	Doron Peled	[11]
24	Ishai Rabinovitz	[17]
25	Iris Reuveni	[6]
26	Eran Rippel	[6]
27	Yoav Rodeh	[2] [3] [7] [9]
28	G. Ronin	[2]
29	Irit Shitsevalov	[5] [6]
30	Sivan Tal	[19]
31	Ken Valk	[5]
32	Yaron Wolfsthal (Yaron Wolfstahl)	[2] [6] [12]
33	Tali Yatzkar-Haham	[6]
34	Karen Yorav (Karen Laster)	[21]
35	Emmanuel Zarpas	[19]

Colors in the list of coauthors