
Search the dblp DataBase
Dana Fisman:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Ilan Beer, Shoham BenDavid, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
The Temporal Logic Sugar. [Citation Graph (0, 0)][DBLP] CAV, 2001, pp:363367 [Conf]
 Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:2739 [Conf]
 Dana Fisman, Amir Pnueli
Beyond Regular Model Checking. [Citation Graph (0, 0)][DBLP] FSTTCS, 2001, pp:156170 [Conf]
 Shoham BenDavid, Dana Fisman, Sitvanit Ruah
The Safety Simple Subset. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2005, pp:1429 [Conf]
 Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
The Definition of a Temporal Clock Operator. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:857870 [Conf]
 Cindy Eisner, Dana Fisman, John Havlicek
A topological characterization of weakness. [Citation Graph (0, 0)][DBLP] PODC, 2005, pp:18 [Conf]
 Shoham BenDavid, Dana Fisman, Sitvanit Ruah
Temporal Antecedent Failure: Refining Vacuity. [Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:492506 [Conf]
Augmenting a Regular ExpressionBased Temporal Logic with Local Variables. [Citation Graph (, )][DBLP]
Structural Contradictions. [Citation Graph (, )][DBLP]
On the Characterization of Until as a Fixed Point Under Clocked Semantics. [Citation Graph (, )][DBLP]
A Framework for Inherent Vacuity. [Citation Graph (, )][DBLP]
Embedding Finite Automata within regular Expressions. [Citation Graph (, )][DBLP]
On Verifying Fault Tolerance of Distributed Protocols. [Citation Graph (, )][DBLP]
Rational Synthesis. [Citation Graph (, )][DBLP]
Rational Synthesis [Citation Graph (, )][DBLP]
Search in 0.877secs, Finished in 0.877secs
