Sitvanit Ruah

According to our database1, Sitvanit Ruah authored at least 13 papers between 1998 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Vacuity in practice: temporal antecedent failure.
Formal Methods Syst. Des., 2015

Lightweight Static Analysis Check of Upgrades in C/C++ Software.
Proceedings of the Validation of Evolving Software, 2015

2013
Improving Representative Computation in ExpliSAT.
Proceedings of the Hardware and Software: Verification and Testing, 2013

2012
Verification of software changes with ExpliSAT.
Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2010
Analyzing the behavior of event processing applications.
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2008
Embedding finite automata within regular expressions.
Theor. Comput. Sci., 2008

2007
Temporal Antecedent Failure: Refining Vacuity.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.
Proceedings of the Forum on specification and Design Languages, 2006

2005
The Safety Simple Subset.
Proceedings of the Hardware and Software Verification and Testing, 2005

2001
On the Decisional Complexity of Problems Over the Reals.
Inf. Comput., 2001

Automatic Deductive Verification with Invisible Invariants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Parameterized Verification with Automatically Computed Inductive Assertions.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1998
Herbrand Automata for Hardware Verification.
Proceedings of the CONCUR '98: Concurrency Theory, 1998


  Loading...