The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mahesh Viswanathan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Koushik Sen, Mahesh Viswanathan
    Model Checking Multithreaded Programs with Asynchronous Atomic Methods. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:300-314 [Conf]
  4. 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]
  5. Koushik Sen, Mahesh Viswanathan, Gul Agha
    On Statistical Model Checking of Stochastic Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:266-280 [Conf]
  6. Abhay Vardhan, Mahesh Viswanathan
    LEVER: A Tool for Learning Based Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:471-474 [Conf]
  7. 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]
  8. Mahesh Viswanathan, Ramesh Viswanathan
    A Higher Order Modal Fixed Point Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:512-528 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
    Congruences for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1102-1114 [Conf]
  14. Mahesh Viswanathan, Ramesh Viswanathan
    Foundations for Circular Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:835-847 [Conf]
  15. 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]
  16. 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]
  17. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
    Learning to Verify Safety Properties. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:274-289 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Abhay Vardhan, Mahesh Viswanathan
    Learning to verify branching time properties. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:325-328 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan
    Propositional Tree Automata. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:50-65 [Conf]
  28. Grigore Rosu, Mahesh Viswanathan
    Testing Extended Regular Language Membership Incrementally by Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:499-514 [Conf]
  29. 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]
  30. 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]
  31. Viraj Kumar, Mahesh Viswanathan
    Conformance testing in the presence of multiple faults. [Citation Graph (0, 0)][DBLP]
    SODA, 2005, pp:1136-1145 [Conf]
  32. Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan
    Spot-Checkers. [Citation Graph (0, 0)][DBLP]
    STOC, 1998, pp:259-268 [Conf]
  33. 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]
  34. 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]
  35. Nirman Kumar, Viraj Kumar, Mahesh Viswanathan
    On the Complexity of Error Explanation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:448-464 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. Oleg Sokolsky, Mahesh Viswanathan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
    Visibly pushdown automata for streaming XML. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:1053-1062 [Conf]
  51. 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]

  52. Least Upper Bounds for Probability Measures and Their Applications to Abstractions. [Citation Graph (, )][DBLP]


  53. Power of Randomization in Automata on Infinite Strings. [Citation Graph (, )][DBLP]


  54. On Convergence of Concurrent Systems under Regular Interactions. [Citation Graph (, )][DBLP]


  55. Formally specified monitoring of temporal properties. [Citation Graph (, )][DBLP]


  56. Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. [Citation Graph (, )][DBLP]


  57. A Decidable Class of Planar Linear Hybrid Systems. [Citation Graph (, )][DBLP]


  58. STORMED Hybrid Games. [Citation Graph (, )][DBLP]


  59. STORMED Hybrid Systems. [Citation Graph (, )][DBLP]


  60. Incremental state-space exploration for programs with dynamically allocated data. [Citation Graph (, )][DBLP]


  61. On the Expressiveness and Complexity of Randomization in Finite State Monitors. [Citation Graph (, )][DBLP]


  62. Query Automata for Nested Words. [Citation Graph (, )][DBLP]


  63. Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. [Citation Graph (, )][DBLP]


  64. Verifying Tolerant Systems Using Polynomial Approximations. [Citation Graph (, )][DBLP]


  65. Complexity Bounds for the Verification of Real-Time Software. [Citation Graph (, )][DBLP]


  66. Multimedia Content Indexing and Retrieval Using Speech and Speaker Recognition. [Citation Graph (, )][DBLP]


  67. A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.049secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002