| 2007 |
|---|
| 7 | EE | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
Temporal Antecedent Failure: Refining Vacuity.
CONCUR 2007: 492-506 |
| 2005 |
|---|
| 6 | EE | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
The Safety Simple Subset.
Haifa Verification Conference 2005: 14-29 |
| 2001 |
|---|
| 5 | EE | Tamarah Arons,
Amir Pnueli,
Sitvanit Ruah,
Jiazhao Xu,
Lenore D. Zuck:
Parameterized Verification with Automatically Computed Inductive Assertions.
CAV 2001: 221-234 |
| 4 | EE | Amir Pnueli,
Sitvanit Ruah,
Lenore D. Zuck:
Automatic Deductive Verification with Invisible Invariants.
TACAS 2001: 82-97 |
| 3 | | Moni Naor,
Sitvanit Ruah:
On the Decisional Complexity of Problems Over the Reals.
Inf. Comput. 167(1): 27-45 (2001) |
| 1998 |
|---|
| 2 | EE | Werner Damm,
Amir Pnueli,
Sitvanit Ruah:
Herbrand Automata for Hardware Verification.
CONCUR 1998: 67-83 |
| 1996 |
|---|
| 1 | | Moni Naor,
Sitvanit Ruah:
On the Decisional Complexity of Problems Over the Reals.
ISTCS 1996: 176-187 |
