Mahesh Viswanathan

19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Retrospective Look at the Monitoring and Checking (MaC) Framework

Kannan, S., Kim, M., Lee, I., Sokolsky, O. & Viswanathan, M., Jan 1 2019, Runtime Verification - 19th International Conference, RV 2019, Proceedings. Finkbeiner, B. & Mariani, L. (eds.). Springer, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11757 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Decidable and expressive classes of probabilistic automata

    Ben, Y., Chadha, R., Sistla, A. P. & Viswanathan, M., Mar 2019, In : Journal of Computer and System Sciences. 100, p. 70-95 26 p.

    Research output: Contribution to journalArticle

  • Statistical verification of PCTL using antithetic and stratified samples

    Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Nov 1 2019, In : Formal Methods in System Design. 54, 2, p. 145-163 19 p.

    Research output: Contribution to journalArticle

  • A decidable fragment of second order logic with applications to synthesis

    Madhusudan, P., Mathur, U., Saha, S. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Approximating probabilistic automata by regular languages

    Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 14

    Research output: Chapter in Book/Report/Conference proceedingConference contribution