Author: "Viswanathan, Mahesh" / Journal: formal methods in system design: an international journal - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Viswanathan, Mahesh"' showing total 5 results

Start Over Author "Viswanathan, Mahesh" Journal formal methods in system design: an international journal

5 results on '"Viswanathan, Mahesh"'

1. Exact quantitative probabilistic model checking through rational search

Author: Mathur, Umang, Bauer, Matthew S., Chadha, Rohit, Sistla, A. Prasad, and Viswanathan, Mahesh
Published: 2020
Full Text: View/download PDF

2. Statistical verification of PCTL using antithetic and stratified samples

Author: Wang, Yu, Roohi, Nima, West, Matthew, Viswanathan, Mahesh, and Dullerud, Geir E.
Published: 2019
Full Text: View/download PDF

3. Hybrid automata-based CEGAR for rectangular hybrid systems

Author: Prabhakar, Pavithra, Duggirala, Parasara Sridhar, Mitra, Sayan, and Viswanathan, Mahesh
Published: 2015
Full Text: View/download PDF

4. Learning to verify branching time properties

Author: Vardhan, Abhay and Viswanathan, Mahesh
Published: 2007
Full Text: View/download PDF

5. Java-MaC: A Run-Time Assurance Approach for Java Programs

Author: Kim, MoonZoo, Viswanathan, Mahesh, Kannan, Sampath, Lee, Insup, and Sokolsky, Oleg
Published: 2004
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results