17 results on '"Viswanathan, Mahesh"'
Search Results
2. Dynamic Race Detection with O(1) Samples
3. Automata Column
4. Automata column
5. Evaluating proof blocks problems as exam questions
6. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
7. Deciding accuracy of differential privacy schemes
8. Software Artifact for Deciding Accuracy of Differential Privacy Schemes
9. Deciding memory safety for single-pass heap-manipulating programs
10. Replication Package for Article
11. Decidable verification of uninterpreted programs
12. What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection
13. Dynamic race prediction in linear time
14. How Can Automatic Feedback Help Students Construct Automata?
15. A counterexample-guided abstraction-refinement framework for markov decision processes
16. On the expressiveness and complexity of randomization in finite state monitors
17. 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.