| 2008 |
|---|
| 13 | EE | Cindy Eisner,
Dana Fisman:
Structural Contradictions.
Haifa Verification Conference 2008: 164-178 |
| 12 | EE | Dana Fisman,
Orna Kupferman,
Sarai Sheinvald-Faragy,
Moshe Y. Vardi:
A Framework for Inherent Vacuity.
Haifa Verification Conference 2008: 7-22 |
| 11 | EE | Dana Fisman,
Orna Kupferman,
Yoad Lustig:
On Verifying Fault Tolerance of Distributed Protocols.
TACAS 2008: 315-331 |
| 10 | EE | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
Embedding finite automata within regular expressions.
Theor. Comput. Sci. 404(3): 202-218 (2008) |
| 2007 |
|---|
| 9 | EE | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
Temporal Antecedent Failure: Refining Vacuity.
CONCUR 2007: 492-506 |
| 8 | EE | Dana Fisman:
On the Characterization of Until as a Fixed Point Under Clocked Semantics.
Haifa Verification Conference 2007: 19-33 |
| 2005 |
|---|
| 7 | EE | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
The Safety Simple Subset.
Haifa Verification Conference 2005: 14-29 |
| 6 | EE | 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 | 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 |
| 3 | EE | Cindy Eisner,
Dana Fisman,
John Havlicek,
Anthony McIsaac,
David Van Campenhout:
The Definition of a Temporal Clock Operator.
ICALP 2003: 857-870 |
| 2001 |
|---|
| 2 | EE | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Dana Fisman,
Anna Gringauze,
Yoav Rodeh:
The Temporal Logic Sugar.
CAV 2001: 363-367 |
| 1 | EE | Dana Fisman,
Amir Pnueli:
Beyond Regular Model Checking.
FSTTCS 2001: 156-170 |
