Sitvanit Ruah

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