Vacuity in practice: temporal antecedent failure
- Shoham Ben-David
- Fady Copty
- et al.
- 2015
- Formal Methods in System Design
Publications
4 results for Sitvanit Ruah
Verification of software changes with ExpliSAT
- Hana Chockler
- Sitvanit Ruah
- 2012
- WHTSU 2012
Analyzing the behavior of event processing applications
- Ella Rabinovich
- Opher Etzion
- et al.
- 2010
- DEBS 2010
Embedding finite automata within regular expressions
- Shoham Ben-David
- Dana Fisman
- et al.
- 2008
- Theoretical Computer Science