Author: "Viswanathan, Mahesh" / Journal: formal methods in system design - 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 6 results

Start Over Author "Viswanathan, Mahesh" Journal formal methods in system design

6 results on '"Viswanathan, Mahesh"'

1. Exact quantitative probabilistic model checking through rational search

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

2. Learning to verify branching time properties

Author: Vardhan, Abhay and Viswanathan, Mahesh
Published: 2007

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

Author: Kim, Moonzoo, Viswanathan, Mahesh, Kannan, Sampath, Lee, Insup, and Sokolsky, Oleg
Published: 2004

4. Statistical verification of PCTL using antithetic and stratified samples

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

5. Hybrid automata-based CEGAR for rectangular hybrid systems

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

6. Learning to verify branching time properties

Author: Vardhan, Abhay, primary and Viswanathan, Mahesh, additional
Published: 2006
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results