|
Search the dblp DataBase
Mahesh Viswanathan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- George Nagy, Sharad C. Seth, Mahesh Viswanathan
A Prototype Document Image Analysis System for Technical Journals. [Citation Graph (2, 0)][DBLP] IEEE Computer, 1992, v:25, n:7, pp:10-22 [Journal]
- Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). [Citation Graph (1, 0)][DBLP] STACS, 1998, pp:216-226 [Conf]
- Koushik Sen, Mahesh Viswanathan
Model Checking Multithreaded Programs with Asynchronous Atomic Methods. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:300-314 [Conf]
- Koushik Sen, Mahesh Viswanathan, Gul Agha
Statistical Model Checking of Black-Box Probabilistic Systems. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:202-215 [Conf]
- Koushik Sen, Mahesh Viswanathan, Gul Agha
On Statistical Model Checking of Stochastic Systems. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:266-280 [Conf]
- Abhay Vardhan, Mahesh Viswanathan
LEVER: A Tool for Learning Based Verification. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:471-474 [Conf]
- Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
Minimization, Learning, and Conformance Testing of Boolean Programs. [Citation Graph (0, 0)][DBLP] CONCUR, 2006, pp:203-217 [Conf]
- Mahesh Viswanathan, Ramesh Viswanathan
A Higher Order Modal Fixed Point Logic. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:512-528 [Conf]
- Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
An Approximate L1-Difference Algorithm for Massive Data Streams. [Citation Graph (0, 0)][DBLP] FOCS, 1999, pp:501-511 [Conf]
- Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan
The Relationship between Public Key Encryption and Oblivious Transfer. [Citation Graph (0, 0)][DBLP] FOCS, 2000, pp:325-335 [Conf]
- Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
Actively Learning to Verify Safety for FIFO Automata. [Citation Graph (0, 0)][DBLP] FSTTCS, 2004, pp:494-505 [Conf]
- James W. Cooper, Mahesh Viswanathan, Zunaid Kazi
Samsa: A Speech Analysis, Mining and Summary Application for Outbound Telephone Calls. [Citation Graph (0, 0)][DBLP] HICSS, 2001, pp:- [Conf]
- Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
Congruences for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP] ICALP, 2005, pp:1102-1114 [Conf]
- Mahesh Viswanathan, Ramesh Viswanathan
Foundations for Circular Compositional Reasoning. [Citation Graph (0, 0)][DBLP] ICALP, 2001, pp:835-847 [Conf]
- Mahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Alain Tritschler
Retrieval from Spoken Documents using Content and Speaker Information. [Citation Graph (0, 0)][DBLP] ICDAR, 1999, pp:567-572 [Conf]
- Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. [Citation Graph (0, 0)][DBLP] ICFEM, 2005, pp:235-250 [Conf]
- Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
Learning to Verify Safety Properties. [Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:274-289 [Conf]
- Mahesh Viswanathan, Homayoon S. M. Beigi, Alain Tritschler, Fereydoun Maali
Information Access using Speech, Speaker and Face Recognition. [Citation Graph (0, 0)][DBLP] IEEE International Conference on Multimedia and Expo (I), 2000, pp:493-496 [Conf]
- Mahesh Viswanathan, Moonzoo Kim
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:543-556 [Conf]
- Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Verisim: Formal analysis of network simulations. [Citation Graph (0, 0)][DBLP] ISSTA, 2000, pp:2-13 [Conf]
- James W. Cooper, Mahesh Viswanathan, Donna K. Byron, Margaret Chan
Building searchable collections of enterprise speech data. [Citation Graph (0, 0)][DBLP] JCDL, 2001, pp:226-234 [Conf]
- Abhay Vardhan, Mahesh Viswanathan
Learning to verify branching time properties. [Citation Graph (0, 0)][DBLP] ASE, 2005, pp:325-328 [Conf]
- Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou
Check and simulate: a case for incorporating model checking in network simulation. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2004, pp:27-36 [Conf]
- Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
Runtime Assurance Based On Formal Specifications. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:279-287 [Conf]
- Koushik Sen, Mahesh Viswanathan, Gul Agha
Learning Continuous Time Markov Chains from Sample Executions. [Citation Graph (0, 0)][DBLP] QEST, 2004, pp:146-155 [Conf]
- Koushik Sen, Mahesh Viswanathan, Gul A. Agha
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. [Citation Graph (0, 0)][DBLP] QEST, 2005, pp:251-252 [Conf]
- Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
Propositional Tree Automata. [Citation Graph (0, 0)][DBLP] RTA, 2006, pp:50-65 [Conf]
- Grigore Rosu, Mahesh Viswanathan
Testing Extended Regular Language Membership Incrementally by Rewriting. [Citation Graph (0, 0)][DBLP] RTA, 2003, pp:499-514 [Conf]
- Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
Membership Questions for Timed and Hybrid Automata. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1998, pp:254-263 [Conf]
- Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
Testing and spot-checking of data streams (extended abstract). [Citation Graph (0, 0)][DBLP] SODA, 2000, pp:165-174 [Conf]
- Viraj Kumar, Mahesh Viswanathan
Conformance testing in the presence of multiple faults. [Citation Graph (0, 0)][DBLP] SODA, 2005, pp:1136-1145 [Conf]
- Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan
Spot-Checkers. [Citation Graph (0, 0)][DBLP] STOC, 1998, pp:259-268 [Conf]
- Koushik Sen, Mahesh Viswanathan, Gul Agha
Model-Checking Markov Chains in the Presence of Uncertainties. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:394-410 [Conf]
- Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
Using Language Inference to Verify Omega-Regular Properties. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:45-60 [Conf]
- Nirman Kumar, Viraj Kumar, Mahesh Viswanathan
On the Complexity of Error Explanation. [Citation Graph (0, 0)][DBLP] VMCAI, 2005, pp:448-464 [Conf]
- Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
Testing and Spot-Checking of Data Streams. [Citation Graph (0, 0)][DBLP] Algorithmica, 2002, v:34, n:1, pp:67-80 [Journal]
- Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan
The Complexity of Problems on Graphs Represented as OBDDs. [Citation Graph (0, 0)][DBLP] Chicago J. Theor. Comput. Sci., 1999, v:1999, n:, pp:- [Journal]
- Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
Java-MaC: a Run-time Assurance Tool for Java Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
- Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
- Oleg Sokolsky, Mahesh Viswanathan
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
- Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
Java-MaC: A Run-Time Assurance Approach for Java Programs. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:2, pp:129-155 [Journal]
- Mahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Fereydoun Maali, Alain Tritschler
Multimedia document retrieval using speech and speaker recognition. [Citation Graph (0, 0)][DBLP] IJDAR, 2000, v:2, n:4, pp:147-162 [Journal]
- Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan
Spot-Checkers. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2000, v:60, n:3, pp:717-751 [Journal]
- Mukkai S. Krishnamoorthy, George Nagy, Sharad C. Seth, Mahesh Viswanathan
Syntactic Segmentation and Labeling of Digitized Pages from Technical Journals. [Citation Graph (0, 0)][DBLP] IEEE Trans. Pattern Anal. Mach. Intell., 1993, v:15, n:7, pp:737-747 [Journal]
- Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan
An Approximate L1-Difference Algorithm for Massive Data Streams. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2002, v:32, n:1, pp:131-151 [Journal]
- Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Verisim: Formal Analysis of Network Simulations. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2002, v:28, n:2, pp:129-145 [Journal]
- Mahesh Viswanathan, Madhubalan Viswanathan
Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale. [Citation Graph (0, 0)][DBLP] Computer Speech & Language, 2005, v:19, n:1, pp:55-83 [Journal]
- R. Chadha, Mahesh Viswanathan
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. [Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:136-150 [Conf]
- Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. [Citation Graph (0, 0)][DBLP] IPDPS, 2007, pp:1-6 [Conf]
- Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
Visibly pushdown automata for streaming XML. [Citation Graph (0, 0)][DBLP] WWW, 2007, pp:1053-1062 [Conf]
- Abhay Vardhan, Mahesh Viswanathan
Learning to verify branching time properties. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2007, v:31, n:1, pp:35-61 [Journal]
Least Upper Bounds for Probability Measures and Their Applications to Abstractions. [Citation Graph (, )][DBLP]
Power of Randomization in Automata on Infinite Strings. [Citation Graph (, )][DBLP]
On Convergence of Concurrent Systems under Regular Interactions. [Citation Graph (, )][DBLP]
Formally specified monitoring of temporal properties. [Citation Graph (, )][DBLP]
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. [Citation Graph (, )][DBLP]
A Decidable Class of Planar Linear Hybrid Systems. [Citation Graph (, )][DBLP]
STORMED Hybrid Games. [Citation Graph (, )][DBLP]
STORMED Hybrid Systems. [Citation Graph (, )][DBLP]
Incremental state-space exploration for programs with dynamically allocated data. [Citation Graph (, )][DBLP]
On the Expressiveness and Complexity of Randomization in Finite State Monitors. [Citation Graph (, )][DBLP]
Query Automata for Nested Words. [Citation Graph (, )][DBLP]
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. [Citation Graph (, )][DBLP]
Verifying Tolerant Systems Using Polynomial Approximations. [Citation Graph (, )][DBLP]
Complexity Bounds for the Verification of Real-Time Software. [Citation Graph (, )][DBLP]
Multimedia Content Indexing and Retrieval Using Speech and Speaker Recognition. [Citation Graph (, )][DBLP]
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.458secs
|