Dana Fisman

	2009
15		Dana Fisman, Orna Kupferman, Yoad Lustig: Rational Synthesis CoRR abs/0907.3019: (2009)
	2008
14		Cindy Eisner, Dana Fisman: Augmenting a Regular Expression-Based Temporal Logic with Local Variables. FMCAD 2008: 1-8
13		Cindy Eisner, Dana Fisman: Structural Contradictions. Haifa Verification Conference 2008: 164-178
12		Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
11		Dana Fisman, Orna Kupferman, Yoad Lustig: On Verifying Fault Tolerance of Distributed Protocols. TACAS 2008: 315-331
10		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Embedding finite automata within regular expressions. Theor. Comput. Sci. 404(3): 202-218 (2008)
	2007
9		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Temporal Antecedent Failure: Refining Vacuity. CONCUR 2007: 492-506
8		Dana Fisman: On the Characterization of Until as a Fixed Point Under Clocked Semantics. Haifa Verification Conference 2007: 19-33
	2005
7		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: The Safety Simple Subset. Haifa Verification Conference 2005: 14-29
6		Cindy Eisner, Dana Fisman, John Havlicek: A topological characterization of weakness. PODC 2005: 1-8
	2004
5		Shoham Ben-David, Dana Fisman, Sitvanit Ruah: Embedding Finite Automata within regular Expressions. ISoLA (Preliminary proceedings) 2004: 175-180
	2003
4		Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout: Reasoning with Temporal Logic on Truncated Paths. CAV 2003: 27-39
3		Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout: The Definition of a Temporal Clock Operator. ICALP 2003: 857-870
	2001
2		Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh: The Temporal Logic Sugar. CAV 2001: 363-367
1		Dana Fisman, Amir Pnueli: Beyond Regular Model Checking. FSTTCS 2001: 156-170

Coauthor Index

1	Ilan Beer	[2]
2	Shoham Ben-David	[2] [5] [7] [9] [10]
3	David Van Campenhout	[3] [4]
4	Cindy Eisner	[2] [3] [4] [6] [13] [14]
5	Anna Gringauze	[2]
6	John Havlicek	[3] [4] [6]
7	Orna Kupferman	[11] [12] [15]
8	Yoad Lustig	[4] [11] [15]
9	Anthony McIsaac	[3] [4]
10	Amir Pnueli	[1]
11	Yoav Rodeh	[2]
12	Sitvanit Ruah	[5] [7] [9] [10]
13	Sarai Sheinvald-Faragy	[12]
14	Moshe Y. Vardi	[12]