Mahesh Viswanathan

	2009
67		Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: Power of Randomization in Automata on Infinite Strings. CONCUR 2009: 229-243
66		Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan: On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541
65		Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Games. HSCC 2009: 480-484
64		P. Madhusudan, Mahesh Viswanathan: Query Automata for Nested Words. MFCS 2009: 561-573
63		George Nagy, Sharad C. Seth, Mahesh Viswanathan: Comment: Projection Methods Require Black Border Removal. IEEE Trans. Pattern Anal. Mach. Intell. 31(4): 762 (2009)
62		Rohit 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
60		Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan: Least Upper Bounds for Probability Measures and Their Applications to Abstractions. CONCUR 2008: 264-278
59		Rohit 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
58		Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud: A Decidable Class of Planar Linear Hybrid Systems. HSCC 2008: 401-414
57		Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Systems. ICALP (2) 2008: 136-147
56		Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
55		Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29
54		Rohit Chadha, Mahesh Viswanathan: A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes CoRR abs/0807.1173: (2008)
	2007
53		Rohit Chadha, Mahesh Viswanathan: Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150
52		Ahmed 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
51		Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062
50		Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. Formal Methods in System Design 31(1): 35-61 (2007)
	2006
49		Koushik Sen, Mahesh Viswanathan: Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314
48		Abhay Vardhan, Mahesh Viswanathan: LEVER: A Tool for Learning Based Verification. CAV 2006: 471-474
47		Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217
46		Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan: Propositional Tree Automata. RTA 2006: 50-65
45		Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
	2005
44		Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. ASE 2005: 325-328
43		Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
42		Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114
41		Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. ICFEM 2005: 235-250
40		Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
39		Viraj Kumar, Mahesh Viswanathan: Conformance testing in the presence of multiple faults. SODA 2005: 1136-1145
38		Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
37		Nirman Kumar, Viraj Kumar, Mahesh Viswanathan: On the Complexity of Error Explanation. VMCAI 2005: 448-464
36		Mahesh 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
35		Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
34		Mahesh Viswanathan, Ramesh Viswanathan: A Higher Order Modal Fixed Point Logic. CONCUR 2004: 512-528
33		Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
32		Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
31		Mahesh Viswanathan, Moonzoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556
30		Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou: Check and simulate: a case for incorporating model checking in network simulation. MEMOCODE 2004: 27-36
29		Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
28		Moonzoo 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
27		Grigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514
26		Oleg Sokolsky, Mahesh Viswanathan: Preface. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
	2002
25		Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002)
24		Moonjoo 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)
23		Karthikeyan 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)
22		Joan 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
21		James W. Cooper, Mahesh Viswanathan, Zunaid Kazi: Samsa: A Speech Analysis, Mining and Summary Application for Outbound Telephone Calls. HICSS 2001
20		Mahesh Viswanathan, Ramesh Viswanathan: Foundations for Circular Compositional Reasoning. ICALP 2001: 835-847
19		James W. Cooper, Mahesh Viswanathan, Donna K. Byron, Margaret Chan: Building searchable collections of enterprise speech data. JCDL 2001: 226-234
18		Moonjoo 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
15		Karthikeyan 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
13		Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174
12		Mahesh 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
10		Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky: Formally specified monitoring of temporal properties. ECRTS 1999: 114-122
9		Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: An Approximate L1-Difference Algorithm for Massive Data Streams. FOCS 1999: 501-511
8		Mahesh 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
6		Joan 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
5		Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. IEEE Real-Time Systems Symposium 1998: 254-263
4		Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
3		Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. STOC 1998: 259-268
	1993
2		Mukkai 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

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

Colors in the list of coauthors