Mahesh Viswanathan

2008
55	EE	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
54	EE	Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Systems. ICALP (2) 2008: 136-147
53	EE	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300
52	EE	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29
2007
51	EE	Rohit Chadha, Mahesh Viswanathan: Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150
50	EE	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
49	EE	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062
48	EE	Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. Formal Methods in System Design 31(1): 35-61 (2007)
2006
47	EE	Koushik Sen, Mahesh Viswanathan: Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314
46	EE	Abhay Vardhan, Mahesh Viswanathan: LEVER: A Tool for Learning Based Verification. CAV 2006: 471-474
45	EE	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217
44	EE	Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan: Propositional Tree Automata. RTA 2006: 50-65
43	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
2005
42	EE	Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. ASE 2005: 325-328
41	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
40	EE	Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114
39	EE	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
38	EE	Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
37	EE	Viraj Kumar, Mahesh Viswanathan: Conformance testing in the presence of multiple faults. SODA 2005: 1136-1145
36	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
35	EE	Nirman Kumar, Viraj Kumar, Mahesh Viswanathan: On the Complexity of Error Explanation. VMCAI 2005: 448-464
34	EE	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
33	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
32	EE	Mahesh Viswanathan, Ramesh Viswanathan: A Higher Order Modal Fixed Point Logic. CONCUR 2004: 512-528
31	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
30	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
29	EE	Mahesh Viswanathan, MoonZoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556
28	EE	Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou: Check and simulate: a case for incorporating model checking in network simulation. MEMOCODE 2004: 27-36
27	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
26	EE	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
25	EE	Grigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514
24	EE	Oleg Sokolsky, Mahesh Viswanathan: Preface. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2002
23	EE	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002)
22	EE	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)
21	EE	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)
20	EE	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
19	EE	James W. Cooper, Mahesh Viswanathan, Zunaid Kazi: Samsa: A Speech Analysis, Mining and Summary Application for Outbound Telephone Calls. HICSS 2001
18	EE	Mahesh Viswanathan, Ramesh Viswanathan: Foundations for Circular Compositional Reasoning. ICALP 2001: 835-847
17	EE	James W. Cooper, Mahesh Viswanathan, Donna K. Byron, Margaret Chan: Building searchable collections of enterprise speech data. JCDL 2001: 226-234
16	EE	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
15		Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan: The Relationship between Public Key Encryption and Oblivious Transfer. FOCS 2000: 325-335
14		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
13	EE	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
12	EE	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174
11	EE	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)
10		Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. J. Comput. Syst. Sci. 60(3): 717-751 (2000)
1999
9	EE	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: An Approximate L1-Difference Algorithm for Massive Data Streams. FOCS 1999: 501-511
8	EE	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	EE	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	EE	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	EE	Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. STOC 1998: 259-268
1993
2	EE	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)	[27] [30] [31] [33] [36] [38] [41] [43]
2	Rajeev Alur	[5] [40]
3	Homayoon S. M. Beigi	[8] [11] [14]
4	Karthikeyan Bhargavan	[13] [21]
5	Donna K. Byron	[17]
6	Rohit Chadha	[51] [52] [55]
7	Margaret Chan	[17]
8	James W. Cooper	[17] [19]
9	Satya Dharanipragada	[8] [11]
10	Geir E. Dullerud	[54]
11	Funda Ergün	[3] [10]
12	Joan Feigenbaum	[4] [6] [9] [12] [20] [23]
13	Yael Gertner	[15]
14	Carl A. Gunter	[13] [21] [55]
15	Joe Hendrix	[44]
16	Jennifer C. Hou (Chao-Ju Hou)	[28] [39] [50]
17	Sampath Kannan	[3] [4] [6] [7] [9] [10] [12] [15] [16] [20] [22] [23] [26]
18	Zunaid Kazi	[19]
19	MoonZoo Kim	[26] [29]
20	Moonjoo Kim	[7] [13] [16] [21] [22]
21	Mukkai S. Krishnamoorthy	[2]
22	Nirman Kumar	[35]
23	Ravi Kumar (S. Ravi Kumar)	[3] [10]
24	Viraj Kumar	[35] [37] [40] [45] [49]
25	Robert P. Kurshan	[5]
26	Steven Lauterburg	[53]
27	Insup Lee	[7] [13] [16] [21] [22] [26]
28	Fereydoun Maali	[11] [14]
29	P. Madhusudan (Parthasarathy Madhusudan)	[40] [45] [49]
30	Tal Malkin	[15]
31	Darko Marinov	[39] [50] [53]
32	José Meseguer	[55]
33	George Nagy	[1] [2]
34	Davor Obradovic	[13] [21]
35	Hitoshi Ohsaki	[44]
36	Pavithra Prabhakar	[54]
37	Omer Reingold	[15]
38	Grigore Rosu	[25]
39	Ronitt Rubinfeld	[3] [10]
40	Koushik Sen	[27] [30] [31] [33] [36] [38] [41] [43] [47]
41	Sharad C. Seth	[1] [2]
42	Ravinder Shankesi	[55]
43	A. Prasad Sistla	[52]
44	Ahmed Sobeih	[28] [39] [50] [53]
45	Oleg Sokolsky	[7] [13] [16] [21] [22] [24] [26]
46	Martin Strauss (Martin J. Strauss)	[9] [12] [20] [23]
47	Alain Tritschler	[8] [11] [14]
48	Abhay Vardhan	[30] [31] [36] [42] [46] [48]
49	Moshe Y. Vardi	[4] [6]
50	Madhubalan Viswanathan	[34]
51	Ramesh Viswanathan	[18] [32]
52	Vladimeros Vladimerou	[54]

Colors in the list of coauthors