|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 20 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cindy Eisner, Amir Nahir, Karen Yorav |
Functional verification of power gated designs by compositional reasoning.  |
Formal Methods in System Design  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Arbel, Cindy Eisner, Oleg Rokhlenko |
Resurrecting infeasible clock-gating functions. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
clustering, low power, approximation, clock gating |
| 1 | Emmanuel Zarpas, Cindy Eisner, Sivan Tal |
Policy Validation for System Automation: A Case Study. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
Tivoli, TSA, formal verification, validation, policy, PSL |
| 1 | Cindy Eisner, Dana Fisman |
Augmenting a Regular Expression-Based Temporal Logic with Local Variables. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Amir Nahir, Karen Yorav |
Functional Verification of Power Gated Designs by Compositional Reasoning. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner, Dana Fisman |
Structural Contradictions. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner |
PSL for Runtime Verification: Theory and Practice. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz |
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner |
Formal verification of software source code through semi-automatic modeling. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
Program verification, Software verification, Functional verification, Software model checking |
| 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, Cindy Eisner, Daniel Geist, Yaron Wolfsthal |
Model Checking at IBM. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal methods, formal verification |
| 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 | Cindy Eisner |
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. |
STTT |
2002 |
DBLP DOI BibTeX RDF |
Locality, Formal verification, Robustness, Symbolic model checking, Railway interlocking |
| 1 | Cindy Eisner, Doron Peled |
Comparing Symbolic and Explicit Model Checking of a Software System. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner |
Model checking the garbage collection mechanism of SMV. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in Temporal Model Checking. |
Formal Methods in System Design |
2001 |
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 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Eisner |
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in ACTL Formulaas. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver |
RuleBase: An Industry-Oriented Formal Verification Tool. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")