| 2008 |
|---|
| 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 |
| 2006 |
|---|
| 8 | EE | Sitvanit Ruah:
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.
FDL 2006: 263-264 |
| 2005 |
|---|
| 7 | EE | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
The Safety Simple Subset.
Haifa Verification Conference 2005: 14-29 |
| 2004 |
|---|
| 6 | | Shoham Ben-David,
Dana Fisman,
Sitvanit Ruah:
Embedding Finite Automata within regular Expressions.
ISoLA (Preliminary proceedings) 2004: 175-180 |
| 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 |
