Sitvanit Ruah

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 0

Top Topics

Software Application

Hardware Designs

Temporal Dimension

Failure Prediction

Top Venues

Formal Methods Syst. Des.

Haifa Verification Conference

Publications

Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. 46 (1) (2015)
Hana Chockler, Dmitry Pidan, Sitvanit Ruah
Improving Representative Computation in ExpliSAT. Haifa Verification Conference (2013)
Hana Chockler, Sitvanit Ruah
Verification of software changes with ExpliSAT. HotSWUp (2012)
Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin
Analyzing the behavior of event processing applications. DEBS (2010)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Embedding finite automata within regular expressions. Theor. Comput. Sci. 404 (3) (2008)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Temporal Antecedent Failure: Refining Vacuity. CONCUR (2007)
Sitvanit Ruah
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. FDL (2006)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
The Safety Simple Subset. Haifa Verification Conference (2005)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Embedding Finite Automata within regular Expressions. ISoLA (Preliminary proceedings) (2004)
Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck
Automatic Deductive Verification with Invisible Invariants. TACAS (2001)
Moni Naor, Sitvanit Ruah
On the Decisional Complexity of Problems Over the Reals. Inf. Comput. 167 (1) (2001)
Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck
Parameterized Verification with Automatically Computed Inductive Assertions. CAV (2001)
Werner Damm, Amir Pnueli, Sitvanit Ruah
Herbrand Automata for Hardware Verification. CONCUR (1998)
Moni Naor, Sitvanit Ruah
On the Decisional Complexity of Problems Over the Reals. ISTCS (1996)