×

zbMATH — the first resource for mathematics

Viswanathan, Mahesh

Compute Distance To:
Author ID: viswanathan.mahesh Recent zbMATH articles by "Viswanathan, Mahesh"
Published as: Viswanathan, M.; Viswanathan, Mahesh
External Links: MGP · Wikidata
Documents Indexed: 70 Publications since 1998, including 3 Books

Publications by Year

Citations contained in zbMATH

49 Publications have been cited 247 times in 202 Documents Cited by Year
Spot-checkers. Zbl 0961.68036
Kumar, S. Ravi; Rubinfeld, Ronitt; Viswanathan, Mahesh
27
2000
On statistical model checking of stochastic systems. Zbl 1081.68635
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
19
2005
Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2006
Statistical model checking of black-box probabilistic systems. Zbl 1103.68639
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2004
Congruences for visibly pushdown languages. Zbl 1085.68079
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
15
2005
Complexity of problems on graphs represented as OBDDs. Zbl 0924.68097
Feigenbaum, Joan; Kannan, Sampath; Vardi, Moshe Y.; Viswanathan, Mahesh
11
1999
On the expressiveness and complexity of randomization in finite state monitors. Zbl 1325.68128
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
9
2009
Model checking multithreaded programs with asynchronous atomic methods. Zbl 1188.68198
Sen, Koushik; Viswanathan, Mahesh
9
2006
Power of randomization in automata on infinite strings. Zbl 1254.68131
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
8
2009
An approximate \(L^{1}\)-difference algorithm for massive data streams. Zbl 1029.68157
Feigenbaum, Joan; Kannan, Sampath; Strauss, Martin J.; Viswanathan, Mahesh
8
2002
A counterexample-guided abstraction-refinement framework for Markov decision processes. Zbl 1351.68154
Chadha, Rohit; Viswanathan, Mahesh
7
2010
Java-MaC: A run-time assurance approach for Java programs. Zbl 1073.68552
Kim, MoonZoo; Viswanathan, Mahesh; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg
7
2004
Query automata for nested words. Zbl 1250.68169
Madhusudan, P.; Viswanathan, Mahesh
6
2009
STORMED hybrid systems. Zbl 1155.68421
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir
6
2008
Testing extended regular language membership incrementally by rewriting. Zbl 1038.68562
Roşu, Grigore; Viswanathan, Mahesh
6
2003
Pre-orders for reasoning about stability. Zbl 1362.68179
Prabhakar, Pavithra; Dullerud, Geir; Viswanathan, Mahesh
4
2012
Probabilistic Büchi automata with non-extremal acceptance thresholds. Zbl 1317.68091
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
4
2011
Least upper bounds for probability measures and their applications to abstractions. Zbl 1160.68436
Chadha, Rohit; Viswanathan, Mahesh; Viswanathan, Ramesh
4
2008
Minimization, learning, and conformance testing of Boolean programs. Zbl 1151.68484
Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
4
2006
Using language inference to verify omega-regular properties. Zbl 1087.68062
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
4
2005
Testing and spot-checking of data streams (Extended abstract). Zbl 0961.68038
Feigenbaum, J.; Kannan, S.; Strauss, M.; Viswanathan, M.
4
2000
Emptiness under isolation and the value problem for hierarchical probabilistic automata. Zbl 06720993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
3
2017
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1426.68175
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
3
2013
Actively learning to verify safety for FIFO automata. Zbl 1117.68416
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
3
2004
Foundations for circular compositional reasoning. Zbl 0986.68059
Viswanathan, Mahesh; Viswanathan, Ramesh
3
2001
Spot-checkers. Zbl 1027.68514
Ergün, Funda; Kannan, Sampath; Kumar, S. Ravi; Rubinfeld, Ronitt; Viswanathan, Mahesh
3
1998
Parsimonious, simulation based verification of linear systems. Zbl 1411.68064
Duggirala, Parasara Sridhar; Viswanathan, Mahesh
2
2016
Decidable and expressive classes of probabilistic automata. Zbl 06487993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue
2
2015
On the decidability of stability of hybrid systems. Zbl 1362.68180
Prabhakar, Pavithra; Viswanathan, Mahesh
2
2013
Probabilistic automata with isolated cut-points. Zbl 1398.68304
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
2
2013
Reachability under contextual locking. Zbl 1352.68059
Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh
2
2012
A dynamic algorithm for approximate flow computations. Zbl 1362.93019
Prabhakar, Pavithra; Viswanathan, Mahesh
2
2011
Power of randomization in automata on infinite strings. Zbl 1237.68111
Chadha, Rohit; Sistla Prasad, A.; Viswanathan, Mahesh
2
2011
Specifications for decidable hybrid games. Zbl 1229.93104
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir
2
2011
STORMED hybrid games. Zbl 1237.91020
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir
2
2009
A decidable class of planar linear hybrid systems. Zbl 1143.68442
Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E.
2
2008
Decidability results for well-structured transition systems with auxiliary storage. Zbl 1151.68515
Chadha, R.; Viswanathan, M.
2
2007
Learning to verify branching time properties. Zbl 1118.68554
Vardhan, Abhay; Viswanathan, Mahesh
2
2007
Foundations for the run-time monitoring of reactive systems – fundamentals of the MaC language. Zbl 1108.68527
Viswanathan, Mahesh; Kim, Moonzoo
2
2005
A higher order modal fixed point logic. Zbl 1099.03022
Viswanathan, Mahesh; Viswanathan, Ramesh
2
2004
Testing and spot-checking of data streams. Zbl 1016.68028
Feigenbaum, J.; Kannan, S.; Strauss, M.; Viswanathan, M.
2
2002
Extending Parikh’s theorem to weighted and probabilistic context-free grammars. Zbl 1420.68102
Bhattiprolu, Vijay; Gordon, Spencer; Viswanathan, Mahesh
1
2017
Stability analysis of switched linear systems defined by regular languages. Zbl 1366.93558
Wang, Yu; Roohi, Nima; Dullerud, Geir E.; Viswanathan, Mahesh
1
2017
Statistical verification of dynamical systems using set oriented methods. Zbl 1364.93753
Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E.
1
2015
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1341.68109
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
1
2015
Probabilistic automata for safety \(\mathbf{LTL}\) specifications. Zbl 1428.68186
Kini, Dileep; Viswanathan, Mahesh
1
2014
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
Model checking concurrent programs with nondeterminism and randomization. Zbl 1245.68132
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
1
2010
Propositional tree automata. Zbl 1151.68460
Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh
1
2006
Emptiness under isolation and the value problem for hierarchical probabilistic automata. Zbl 06720993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
3
2017
Extending Parikh’s theorem to weighted and probabilistic context-free grammars. Zbl 1420.68102
Bhattiprolu, Vijay; Gordon, Spencer; Viswanathan, Mahesh
1
2017
Stability analysis of switched linear systems defined by regular languages. Zbl 1366.93558
Wang, Yu; Roohi, Nima; Dullerud, Geir E.; Viswanathan, Mahesh
1
2017
Parsimonious, simulation based verification of linear systems. Zbl 1411.68064
Duggirala, Parasara Sridhar; Viswanathan, Mahesh
2
2016
Decidable and expressive classes of probabilistic automata. Zbl 06487993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue
2
2015
Statistical verification of dynamical systems using set oriented methods. Zbl 1364.93753
Wang, Yu; Roohi, Nima; West, Matthew; Viswanathan, Mahesh; Dullerud, Geir E.
1
2015
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1341.68109
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
1
2015
Probabilistic automata for safety \(\mathbf{LTL}\) specifications. Zbl 1428.68186
Kini, Dileep; Viswanathan, Mahesh
1
2014
Hybrid automata-based CEGAR for rectangular hybrid systems. Zbl 1426.68175
Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh
3
2013
On the decidability of stability of hybrid systems. Zbl 1362.68180
Prabhakar, Pavithra; Viswanathan, Mahesh
2
2013
Probabilistic automata with isolated cut-points. Zbl 1398.68304
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
2
2013
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
Pre-orders for reasoning about stability. Zbl 1362.68179
Prabhakar, Pavithra; Dullerud, Geir; Viswanathan, Mahesh
4
2012
Reachability under contextual locking. Zbl 1352.68059
Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh
2
2012
Probabilistic Büchi automata with non-extremal acceptance thresholds. Zbl 1317.68091
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
4
2011
A dynamic algorithm for approximate flow computations. Zbl 1362.93019
Prabhakar, Pavithra; Viswanathan, Mahesh
2
2011
Power of randomization in automata on infinite strings. Zbl 1237.68111
Chadha, Rohit; Sistla Prasad, A.; Viswanathan, Mahesh
2
2011
Specifications for decidable hybrid games. Zbl 1229.93104
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir
2
2011
A counterexample-guided abstraction-refinement framework for Markov decision processes. Zbl 1351.68154
Chadha, Rohit; Viswanathan, Mahesh
7
2010
Model checking concurrent programs with nondeterminism and randomization. Zbl 1245.68132
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
1
2010
On the expressiveness and complexity of randomization in finite state monitors. Zbl 1325.68128
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
9
2009
Power of randomization in automata on infinite strings. Zbl 1254.68131
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
8
2009
Query automata for nested words. Zbl 1250.68169
Madhusudan, P.; Viswanathan, Mahesh
6
2009
STORMED hybrid games. Zbl 1237.91020
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir
2
2009
STORMED hybrid systems. Zbl 1155.68421
Vladimerou, Vladimeros; Prabhakar, Pavithra; Viswanathan, Mahesh; Dullerud, Geir
6
2008
Least upper bounds for probability measures and their applications to abstractions. Zbl 1160.68436
Chadha, Rohit; Viswanathan, Mahesh; Viswanathan, Ramesh
4
2008
A decidable class of planar linear hybrid systems. Zbl 1143.68442
Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E.
2
2008
Decidability results for well-structured transition systems with auxiliary storage. Zbl 1151.68515
Chadha, R.; Viswanathan, M.
2
2007
Learning to verify branching time properties. Zbl 1118.68554
Vardhan, Abhay; Viswanathan, Mahesh
2
2007
Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2006
Model checking multithreaded programs with asynchronous atomic methods. Zbl 1188.68198
Sen, Koushik; Viswanathan, Mahesh
9
2006
Minimization, learning, and conformance testing of Boolean programs. Zbl 1151.68484
Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
4
2006
Propositional tree automata. Zbl 1151.68460
Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh
1
2006
On statistical model checking of stochastic systems. Zbl 1081.68635
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
19
2005
Congruences for visibly pushdown languages. Zbl 1085.68079
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
15
2005
Using language inference to verify omega-regular properties. Zbl 1087.68062
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
4
2005
Foundations for the run-time monitoring of reactive systems – fundamentals of the MaC language. Zbl 1108.68527
Viswanathan, Mahesh; Kim, Moonzoo
2
2005
Statistical model checking of black-box probabilistic systems. Zbl 1103.68639
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2004
Java-MaC: A run-time assurance approach for Java programs. Zbl 1073.68552
Kim, MoonZoo; Viswanathan, Mahesh; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg
7
2004
Actively learning to verify safety for FIFO automata. Zbl 1117.68416
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
3
2004
A higher order modal fixed point logic. Zbl 1099.03022
Viswanathan, Mahesh; Viswanathan, Ramesh
2
2004
Testing extended regular language membership incrementally by rewriting. Zbl 1038.68562
Roşu, Grigore; Viswanathan, Mahesh
6
2003
An approximate \(L^{1}\)-difference algorithm for massive data streams. Zbl 1029.68157
Feigenbaum, Joan; Kannan, Sampath; Strauss, Martin J.; Viswanathan, Mahesh
8
2002
Testing and spot-checking of data streams. Zbl 1016.68028
Feigenbaum, J.; Kannan, S.; Strauss, M.; Viswanathan, M.
2
2002
Foundations for circular compositional reasoning. Zbl 0986.68059
Viswanathan, Mahesh; Viswanathan, Ramesh
3
2001
Spot-checkers. Zbl 0961.68036
Kumar, S. Ravi; Rubinfeld, Ronitt; Viswanathan, Mahesh
27
2000
Testing and spot-checking of data streams (Extended abstract). Zbl 0961.68038
Feigenbaum, J.; Kannan, S.; Strauss, M.; Viswanathan, M.
4
2000
Complexity of problems on graphs represented as OBDDs. Zbl 0924.68097
Feigenbaum, Joan; Kannan, Sampath; Vardi, Moshe Y.; Viswanathan, Mahesh
11
1999
Spot-checkers. Zbl 1027.68514
Ergün, Funda; Kannan, Sampath; Kumar, S. Ravi; Rubinfeld, Ronitt; Viswanathan, Mahesh
3
1998
all top 5

Cited by 433 Authors

13 Viswanathan, Mahesh
7 Legay, Axel
7 Salomaa, Kai T.
6 Chadha, Rohit
6 Prabhakar, Pavithra
5 Baier, Christel
5 Katoen, Joost-Pieter
5 Larsen, Kim Guldstrand
4 Delahaye, Benoît
4 Dullerud, Geir E.
4 Meseguer Guaita, José
4 Milazzo, Paolo
3 Atig, Mohamed Faouzi
3 Barbuti, Roberto
3 Chatterjee, Krishnendu
3 Clarke, Edmund Melson jun.
3 Doyen, Laurent
3 Gauwin, Olivier
3 Goldreich, Oded
3 Kwiatkowska, Marta Z.
3 Levi, Francesca
3 Mitra, Sayan
3 Okhotin, Alexander
3 Olveczky, Peter Csaba
3 Platzer, André
3 Raskhodnikova, Sofya
3 Reynier, Pierre-Alain
3 Roşu, Grigore
3 Rubinfeld, Ronitt
3 Sánchez, César
3 Sistla, Aravinda Prasad
3 Thiemann, Peter J.
3 Vladimerou, Vladimeros
2 Abdulla, Parosh Aziz
2 Ábrahám, Erika
2 Becker, Bernd
2 Bérard, Béatrice
2 Bertrand, Nathalie
2 Bollig, Beate
2 Bozzelli, Laura
2 Caillaud, Benoît
2 Daca, Przemysław
2 Dehnert, Christian
2 Desharnais, Josée
2 Duggirala, Parasara Sridhar
2 Filiot, Emmanuel
2 Fisman, Dana
2 Fraigniaud, Pierre
2 Francalanza, Adrian
2 Größer, Marcus
2 Haddad, Serge
2 Havelund, Klaus
2 Henzinger, Thomas A.
2 Jansen, Nils
2 Kahlon, Vineet
2 Klink, Daniel
2 Lange, Martin
2 Lassaigne, Richard
2 Laviolette, François
2 Le Gall, François
2 Limaye, Nutan
2 Liu, Si
2 Lohrey, Markus
2 Murray, Richard M.
2 Muscholl, Anca
2 Pedersen, Mikkel Lykke
2 Peyronnet, Sylvain
2 Piao, Xiaoxue
2 Piazza, Carla
2 Rajsbaum, Sergio
2 Ron, Dana
2 Scatena, Guido
2 Servais, Frédéric
2 Seshadhri, Comandur
2 Sohler, Christian
2 Talbot, Jean-Marc
2 Touili, Tayssir
2 Travers, Corentin
2 Turgeon, Amélie
2 Wąsowski, Andrzej
2 Wimmer, Ralf D.
2 Younes, Håkan L. S.
2 Zhang, Jian
2 Zuliani, Paolo
1 Abate, Alessandro
1 Aceto, Luca
1 Achilleos, Antonis
1 Adjé, Assalé
1 Aichernig, Bernhard K.
1 Ailon, Nir
1 Aktug, Irem
1 Aliprantis, Dionysios C.
1 Alpernas, Kalev
1 Alur, Rajeev
1 Andoni, Alexandr
1 Angluin, Dana
1 Arenas, Marcelo
1 Artho, Cyrille
1 Athanasopoulos, Nikolaos
1 Awasthi, Pranjal
...and 333 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.