dblp.uni-trier.dewww.uni-trier.de

Mahesh Viswanathan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
67EERohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: Power of Randomization in Automata on Infinite Strings. CONCUR 2009: 229-243
66EEPavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan: On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541
65EEVladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Games. HSCC 2009: 480-484
64EEP. Madhusudan, Mahesh Viswanathan: Query Automata for Nested Words. MFCS 2009: 561-573
63EEGeorge Nagy, Sharad C. Seth, Mahesh Viswanathan: Comment: Projection Methods Require Black Border Removal. IEEE Trans. Pattern Anal. Mach. Intell. 31(4): 762 (2009)
62EERohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56(5): (2009)
2008
61 Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Springer 2008
60EERohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan: Least Upper Bounds for Probability Measures and Their Applications to Abstractions. CONCUR 2008: 264-278
59EERohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58
58EEPavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud: A Decidable Class of Planar Linear Hybrid Systems. HSCC 2008: 401-414
57EEVladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Systems. ICALP (2) 2008: 136-147
56EESteven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
55EERohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29
54EERohit Chadha, Mahesh Viswanathan: A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes CoRR abs/0807.1173: (2008)
2007
53EERohit Chadha, Mahesh Viswanathan: Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150
52EEAhmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. IPDPS 2007: 1-6
51EEViraj Kumar, P. Madhusudan, Mahesh Viswanathan: Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062
50EEAbhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. Formal Methods in System Design 31(1): 35-61 (2007)
2006
49EEKoushik Sen, Mahesh Viswanathan: Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314
48EEAbhay Vardhan, Mahesh Viswanathan: LEVER: A Tool for Learning Based Verification. CAV 2006: 471-474
47EEViraj Kumar, P. Madhusudan, Mahesh Viswanathan: Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217
46EEJoe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan: Propositional Tree Automata. RTA 2006: 50-65
45EEKoushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
2005
44EEAbhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. ASE 2005: 325-328
43EEKoushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
42EERajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114
41EEAhmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM 2005: 235-250
40EEKoushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
39EEViraj Kumar, Mahesh Viswanathan: Conformance testing in the presence of multiple faults. SODA 2005: 1136-1145
38EEAbhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
37EENirman Kumar, Viraj Kumar, Mahesh Viswanathan: On the Complexity of Error Explanation. VMCAI 2005: 448-464
36EEMahesh Viswanathan, Madhubalan Viswanathan: Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale. Computer Speech & Language 19(1): 55-83 (2005)
2004
35EEKoushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
34EEMahesh Viswanathan, Ramesh Viswanathan: A Higher Order Modal Fixed Point Logic. CONCUR 2004: 512-528
33EEAbhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
32EEAbhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
31EEMahesh Viswanathan, Moonzoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556
30EEAhmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou: Check and simulate: a case for incorporating model checking in network simulation. MEMOCODE 2004: 27-36
29EEKoushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
28EEMoonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky: Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2): 129-155 (2004)
2003
27EEGrigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514
26EEOleg Sokolsky, Mahesh Viswanathan: Preface. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2002
25EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002)
24EEMoonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
23EEKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)
22EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: An Approximate L1-Difference Algorithm for Massive Data Streams. SIAM J. Comput. 32(1): 131-151 (2002)
2001
21EEJames W. Cooper, Mahesh Viswanathan, Zunaid Kazi: Samsa: A Speech Analysis, Mining and Summary Application for Outbound Telephone Calls. HICSS 2001
20EEMahesh Viswanathan, Ramesh Viswanathan: Foundations for Circular Compositional Reasoning. ICALP 2001: 835-847
19EEJames W. Cooper, Mahesh Viswanathan, Donna K. Byron, Margaret Chan: Building searchable collections of enterprise speech data. JCDL 2001: 226-234
18EEMoonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Java-MaC: a Run-time Assurance Tool for Java Programs. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
17 Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan: The Relationship between Public Key Encryption and Oblivious Transfer. FOCS 2000: 325-335
16 Mahesh Viswanathan, Homayoon S. M. Beigi, Alain Tritschler, Fereydoun Maali: Information Access using Speech, Speaker and Face Recognition. IEEE International Conference on Multimedia and Expo (I) 2000: 493-496
15EEKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13
14 Mahesh Viswanathan, Homayoon S. M. Beigi, Alain Tritschler, Fereydoun Maali: Multimedia Content Indexing and Retrieval Using Speech and Speaker Recognition. RIAO 2000: 96-105
13EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174
12EEMahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Fereydoun Maali, Alain Tritschler: Multimedia document retrieval using speech and speaker recognition. IJDAR 2(4): 147-162 (2000)
11 Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. J. Comput. Syst. Sci. 60(3): 717-751 (2000)
1999
10EEMoonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky: Formally specified monitoring of temporal properties. ECRTS 1999: 114-122
9EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: An Approximate L1-Difference Algorithm for Massive Data Streams. FOCS 1999: 501-511
8EEMahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Alain Tritschler: Retrieval from Spoken Documents using Content and Speaker Information. ICDAR 1999: 567-572
7 Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan: Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287
6EEJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: The Complexity of Problems on Graphs Represented as OBDDs. Chicago J. Theor. Comput. Sci. 1999: (1999)
1998
5EERajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. IEEE Real-Time Systems Symposium 1998: 254-263
4EEJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
3EEFunda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. STOC 1998: 259-268
1993
2EEMukkai S. Krishnamoorthy, George Nagy, Sharad C. Seth, Mahesh Viswanathan: Syntactic Segmentation and Labeling of Digitized Pages from Technical Journals. IEEE Trans. Pattern Anal. Mach. Intell. 15(7): 737-747 (1993)
1992
1 George Nagy, Sharad C. Seth, Mahesh Viswanathan: A Prototype Document Image Analysis System for Technical Journals. IEEE Computer 25(7): 10-22 (1992)

Coauthor Index

1Gul A. Agha (Gul Agha) [29] [32] [33] [35] [38] [40] [43] [45]
2Rajeev Alur [5] [42]
3Homayoon S. M. Beigi [8] [12] [14] [16]
4Hanêne Ben-Abdallah [10]
5Karthikeyan Bhargavan [15] [23]
6Donna K. Byron [19]
7Sung Deok Cha [61]
8Rohit Chadha [53] [54] [55] [59] [60] [62] [67]
9Margaret Chan [19]
10Jin-Young Choi [61]
11James W. Cooper [19] [21]
12Satya Dharanipragada [8] [12]
13Geir E. Dullerud [57] [58] [65]
14Funda Ergün [3] [11]
15Joan Feigenbaum [4] [6] [9] [13] [22] [25]
16Yael Gertner [17]
17Carl A. Gunter [15] [23] [59]
18Joe Hendrix [46]
19Jennifer C. Hou (Chao-Ju Hou) [30] [41] [52]
20Sampath Kannan [3] [4] [6] [7] [9] [10] [11] [13] [17] [18] [22] [24] [25] [28]
21Zunaid Kazi [21]
22Moonjoo Kim [7] [10] [15] [18] [23] [24]
23Moonzoo Kim [28] [31] [61]
24Mukkai S. Krishnamoorthy [2]
25Nirman Kumar [37]
26Ravi Kumar (S. Ravi Kumar) [3] [11]
27Viraj Kumar [37] [39] [42] [47] [51]
28Robert P. Kurshan [5]
29Steven Lauterburg [56]
30Insup Lee [7] [10] [15] [18] [23] [24] [28] [61]
31Fereydoun Maali [12] [14] [16]
32P. Madhusudan (Parthasarathy Madhusudan) [42] [47] [51] [64]
33Tal Malkin [17]
34Darko Marinov [41] [52] [56]
35José Meseguer [59]
36Sayan Mitra [66]
37George Nagy [1] [2] [63]
38Davor Obradovic [15] [23]
39Hitoshi Ohsaki [46]
40Pavithra Prabhakar [57] [58] [65] [66]
41Omer Reingold [17]
42Grigore Rosu [27]
43Ronitt Rubinfeld [3] [11]
44Koushik Sen [29] [32] [33] [35] [38] [40] [43] [45] [49]
45Sharad C. Seth [1] [2] [63]
46Ravinder Shankesi [59]
47A. Prasad Sistla [55] [62] [67]
48Ahmed Sobeih [30] [41] [52] [56]
49Oleg Sokolsky [7] [10] [15] [18] [23] [24] [26] [28]
50Martin Strauss (Martin J. Strauss) [9] [13] [22] [25]
51Alain Tritschler [8] [12] [14] [16]
52Abhay Vardhan [32] [33] [38] [44] [48] [50]
53Moshe Y. Vardi [4] [6]
54Madhubalan Viswanathan [36]
55Ramesh Viswanathan [20] [34] [60]
56Vladimeros Vladimerou [57] [58] [65]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)