Sitvanit Ruah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1998–2007
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CONCUR | Temporal Antecedent Failure: Refining Vacuity. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2006 | FDL | Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. | Sitvanit Ruah |
| 2004 | ISoLA | Embedding Finite Automata within regular Expressions. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2001 | CAV | Parameterized Verification with Automatically Computed Inductive Assertions. | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |
| 2001 | TACAS | Automatic Deductive Verification with Invisible Invariants. | Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck |
| 1998 | CONCUR | Herbrand Automata for Hardware Verification. | Werner Damm, Amir Pnueli, Sitvanit Ruah |