Searching for authors named "Sitvanit Ruah" – sorted by Relevance.
-
The safety simple subset
- The Safety Simple Subset ⋆ Shoham Ben-David 1 Dana Fisman 2,3⋆⋆ Sitvanit Ruah 3 1 University
- Cited by 1 (1 self) – Add To MetaCart
-
Automata construction for regular expressions in model checking
- ,2 Sitvanit Ruah 1 1 IBM Haifa Research Lab 2 Weizmann Institute of Science June 30, 2004 Abstract. Industrial
- Cited by 4 (4 self) – Add To MetaCart
-
Embedding finite automata within regular expressions
- Ruah 1 shoham@(email omitted); dana@(email omitted); sitvanit@(email omitted); 1 IBM Haifa Research Lab 2 Weizmann
- Cited by 4 (3 self) – Add To MetaCart
-
Automata construction for on-the-fly model checking PSL safety simple subset
- Automata construction for on-the-fly Model Checking PSL Safety Simple Subset ⋆ Sitvanit Ruah 1
- Cited by 4 (1 self) – Add To MetaCart
-
Temporal Antecedent Failure: Refining Vacuity
- Temporal Antecedent Failure: Refining Vacuity Shoham Ben-David 1 Dana Fisman 2,3 Sitvanit Ruah 3 1
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Deductive Verification with Invisible Invariants
- Automatic Deductive Verification with Invisible Invariants Amir Pnueli y Sitvanit Ruah y
- Cited by 40 (8 self) – Add To MetaCart

