| 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) |
