Sitvanit Ruah

According to our database, Sitvanit Ruah authored at least 13 papers between 1996 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Vacuity in practice: temporal antecedent failure.

Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah

Formal Methods Syst. Des., 2015

Lightweight Static Analysis Check of Upgrades in C/C++ Software.

Hana Chockler, Sitvanit Ruah

Proceedings of the Validation of Evolving Software, 2015

2013

Improving Representative Computation in ExpliSAT.

Hana Chockler, Dmitry Pidan, Sitvanit Ruah

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Verification of software changes with ExpliSAT.

Hana Chockler, Sitvanit Ruah

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2010

Analyzing the behavior of event processing applications.

Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin

Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2007

Temporal Antecedent Failure: Refining Vacuity.

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.

Sitvanit Ruah

Proceedings of the Forum on specification and Design Languages, 2006

2005

The Safety Simple Subset.

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Proceedings of the Hardware and Software Verification and Testing, 2005

2004

Embedding Finite Automata within regular Expressions.

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2001

Automatic Deductive Verification with Invisible Invariants.

Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Parameterized Verification with Automatically Computed Inductive Assertions.

Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1998

Herbrand Automata for Hardware Verification.

Werner Damm, Amir Pnueli, Sitvanit Ruah

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1996

On the Decisional Complexity of Problems Over the Reals.

Moni Naor, Sitvanit Ruah

Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996