22 results on '"Viswanathan, Mahesh"'
Search Results
2. Proof Blocks
3. A tree clock data structure for causal orderings in concurrent executions
4. Checking LTL[F,G,X] on compressed traces in polynomial time
5. Evaluating Proof Blocks Problems as Exam Questions
6. Deciding Differential Privacy for Programs with Finite Inputs and Outputs
7. The Complexity of Dynamic Data Race Prediction
8. Atomicity Checking in Linear Time using Vector Clocks
9. Data race detection on compressed traces
10. Dynamic race prediction in linear time
11. Statistical Verification of the Toyota Powertrain Control Verification Benchmark
12. Robust Model Checking of Timed Automata under Clock Drifts
13. ResilientVM
14. C2E2
15. Statistical verification of dynamical systems using set oriented methods
16. On the decidability of stability of hybrid systems
17. Pre-orders for reasoning about stability
18. A dynamic algorithm for approximate flow computations
19. Visibly pushdown automata for streaming XML
20. Learning to verify branching time properties
21. Building searchable collections of enterprise speech data
22. Verisim
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.