|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
Rational Synthesis.  |
TACAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
Rational Synthesis |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman |
Reasoning about Finite-State Switched Systems. |
Haifa Verification Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Embedding finite automata within regular expressions. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Yoad Lustig |
On Verifying Fault Tolerance of Distributed Protocols. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman |
Augmenting a Regular Expression-Based Temporal Logic with Local Variables. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman |
Structural Contradictions. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi |
A Framework for Inherent Vacuity. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Temporal Antecedent Failure: Refining Vacuity. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL |
| 1 | Dana Fisman |
On the Characterization of Until as a Fixed Point Under Clocked Semantics. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman, John Havlicek |
A topological characterization of weakness. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness |
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
The Safety Simple Subset. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Embedding Finite Automata within regular Expressions. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
The Definition of a Temporal Clock Operator. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
Reasoning with Temporal Logic on Truncated Paths. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |
The Temporal Logic Sugar. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman, Amir Pnueli |
Beyond Regular Model Checking. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")