2009 | ||
---|---|---|
62 | EE | Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Games. HSCC 2009: 480-484 |
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 | EE | Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan: Least Upper Bounds for Probability Measures and Their Applications to Abstractions. CONCUR 2008: 264-278 |
59 | 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 |
58 | EE | Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud: A Decidable Class of Planar Linear Hybrid Systems. HSCC 2008: 401-414 |
57 | EE | Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Systems. ICALP (2) 2008: 136-147 |
56 | EE | Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan: Incremental state-space exploration for programs with dynamically allocated data. ICSE 2008: 291-300 |
55 | EE | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29 |
54 | EE | Rohit Chadha, Mahesh Viswanathan: A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes CoRR abs/0807.1173: (2008) |
2007 | ||
53 | EE | Rohit Chadha, Mahesh Viswanathan: Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150 |
52 | 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 |
51 | EE | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062 |
50 | EE | Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. Formal Methods in System Design 31(1): 35-61 (2007) |
2006 | ||
49 | EE | Koushik Sen, Mahesh Viswanathan: Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314 |
48 | EE | Abhay Vardhan, Mahesh Viswanathan: LEVER: A Tool for Learning Based Verification. CAV 2006: 471-474 |
47 | EE | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217 |
46 | EE | Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan: Propositional Tree Automata. RTA 2006: 50-65 |
45 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410 |
2005 | ||
44 | EE | Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. ASE 2005: 325-328 |
43 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280 |
42 | EE | Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114 |
41 | 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 |
40 | EE | Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252 |
39 | EE | Viraj Kumar, Mahesh Viswanathan: Conformance testing in the presence of multiple faults. SODA 2005: 1136-1145 |
38 | EE | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60 |
37 | EE | Nirman Kumar, Viraj Kumar, Mahesh Viswanathan: On the Complexity of Error Explanation. VMCAI 2005: 448-464 |
36 | 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 | ||
35 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215 |
34 | EE | Mahesh Viswanathan, Ramesh Viswanathan: A Higher Order Modal Fixed Point Logic. CONCUR 2004: 512-528 |
33 | EE | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505 |
32 | EE | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289 |
31 | EE | Mahesh Viswanathan, Moonzoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556 |
30 | EE | Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou: Check and simulate: a case for incorporating model checking in network simulation. MEMOCODE 2004: 27-36 |
29 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155 |
28 | 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 | ||
27 | EE | Grigore Rosu, Mahesh Viswanathan: Testing Extended Regular Language Membership Incrementally by Rewriting. RTA 2003: 499-514 |
26 | EE | Oleg Sokolsky, Mahesh Viswanathan: Preface. Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
2002 | ||
25 | EE | Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002) |
24 | 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) |
23 | 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) |
22 | 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 | ||
21 | EE | James W. Cooper, Mahesh Viswanathan, Zunaid Kazi: Samsa: A Speech Analysis, Mining and Summary Application for Outbound Telephone Calls. HICSS 2001 |
20 | EE | Mahesh Viswanathan, Ramesh Viswanathan: Foundations for Circular Compositional Reasoning. ICALP 2001: 835-847 |
19 | EE | James W. Cooper, Mahesh Viswanathan, Donna K. Byron, Margaret Chan: Building searchable collections of enterprise speech data. JCDL 2001: 226-234 |
18 | 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 | ||
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 | 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 |
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 | EE | Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174 |
12 | 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) |
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 | EE | 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 | 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) |