No photo of Mahesh Viswanathan

View Scopus Profile

Mahesh Viswanathan

Filter
Chapter

Search results

  • 2020

    Modelchecking Safety Properties in Randomized Security Protocols

    Bauer, M. S., Chadha, R. & Viswanathan, M., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 167-183 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12300 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2004

    A higher order modal fixed point logic

    Viswanathan, M. & Viswanathan, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Gardner, P. & Yoshida, N. (eds.). Springer, p. 512-528 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3170).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Learning to verify safety properties

    Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access