Search results for "Mahesh Viswanathan"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rohit Chadha, P. Madhusudan, Mahesh Viswanathan	Reachability under Contextual Locking.	TACAS	2012	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan	Pre-orders for reasoning about stability.	HSCC	2012	DBLP DOI BibTeX RDF
1	Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud	Specifications for decidable hybrid games.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	Power of Randomization in Automata on Infinite Strings	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon	Model Checking MDPs with a Unique Compact Invariant Set of Distributions.	QEST	2011	DBLP DOI BibTeX RDF	Model Checking, Semantics, Markov Decision Processes, Probability Distributions
1	Pavithra Prabhakar, Mahesh Viswanathan	A dynamic algorithm for approximate flow computations.	HSCC	2011	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.	VMCAI	2011	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	Assertion Checking in J-Sim Simulation Models of Network Protocols.	Simulation	2010	DBLP DOI BibTeX RDF
1	Rohit Chadha, Mahesh Viswanathan	A counterexample-guided abstraction-refinement framework for markov decision processes.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
1	Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon	Reasoning about MDPs as Transformers of Probability Distributions.	QEST	2010	DBLP DOI BibTeX RDF
1	Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan	Complexity Bounds for the Verification of Real-Time Software.	VMCAI	2010	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	Model Checking Concurrent Programs with Nondeterminism and Randomization.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Rohit Chadha, Mahesh Viswanathan	Deciding branching time properties for asynchronous programs.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	George Nagy, Sharad C. Seth, Mahesh Viswanathan	Comment: Projection Methods Require Black Border Removal.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	On the expressiveness and complexity of randomization in finite state monitors.	J. ACM	2009	DBLP DOI BibTeX RDF	topology, randomization, runtime verification, probabilistic automata, Omega automata
1	Mahesh Viswanathan, Hidayatullah Shaikh, Anca Sailer, Yang Song, Xing Fang, Yu Hui Wu, Zhi Le Zou, Kishore P. Reddy, Abhijit Deshmukh, Manish Gupta 0007, Bharat Krishnamurthy, Manish Sethi, Balaji Viswanathan, Joseph G. Gulla, Fouad Matar	ERMIS: Designing, developing, and delivering a remote managed infrastructure services solution.	IBM Journal of Research and Development	2009	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	Power of Randomization in Automata on Infinite Strings.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan	On Convergence of Concurrent Systems under Regular Interactions.	CONCUR	2009	DBLP DOI BibTeX RDF
1	P. Madhusudan, Mahesh Viswanathan	Query Automata for Nested Words.	MFCS	2009	DBLP DOI BibTeX RDF
1	Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud	Verifying Tolerant Systems Using Polynomial Approximations.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Michael R. Head, Anca Sailer, Hidayatullah Shaikh, Mahesh Viswanathan	Taking IT Management Services to a Cloud.	IEEE CLOUD	2009	DBLP DOI BibTeX RDF	Remote IT Management, Services, Cloud, Discovery
1	Axel Legay, Mahesh Viswanathan	Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.	QEST	2009	DBLP DOI BibTeX RDF	simulation, Probability, hypothesis testing
1	Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud	STORMED Hybrid Games.	HSCC	2009	DBLP DOI BibTeX RDF
1	Rohit Chadha, Mahesh Viswanathan	A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes	CoRR	2008	DBLP BibTeX RDF
1	Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan	Least Upper Bounds for Probability Measures and Their Applications to Abstractions.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan	Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud	STORMED Hybrid Systems.	ICALP	2008	DBLP DOI BibTeX RDF
1	Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)	Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings	ATVA	2008	DBLP BibTeX RDF
1	Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud	A Decidable Class of Planar Linear Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	On the Expressiveness and Complexity of Randomization in Finite State Monitors.	LICS	2008	DBLP DOI BibTeX RDF
1	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan	Incremental state-space exploration for programs with dynamically allocated data.	ICSE	2008	DBLP DOI BibTeX RDF	jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
1	Abhay Vardhan, Mahesh Viswanathan	Learning to verify branching time properties.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification, Learning, CTL
1	Rohit Chadha, Mahesh Viswanathan	Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan	Visibly pushdown automata for streaming XML.	WWW	2007	DBLP DOI BibTeX RDF	XML, query, typing, schema, streaming algorithms, pushdown automata
1	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan	Minimization, Learning, and Conformance Testing of Boolean Programs.	CONCUR	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Model-Checking Markov Chains in the Presence of Uncertainties.	TACAS	2006	DBLP DOI BibTeX RDF
1	Joe Hendrix, Hitoshi Ohsaki, Mahesh Viswanathan	Propositional Tree Automata.	RTA	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan	Model Checking Multithreaded Programs with Asynchronous Atomic Methods.	CAV	2006	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Mahesh Viswanathan	LEVER: A Tool for Learning Based Verification.	CAV	2006	DBLP DOI BibTeX RDF
1	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	2005	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou	Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Viraj Kumar, Mahesh Viswanathan	Conformance testing in the presence of multiple faults.	SODA	2005	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Using Language Inference to Verify Omega-Regular Properties.	TACAS	2005	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Mahesh Viswanathan	Learning to verify branching time properties.	ASE	2005	DBLP DOI BibTeX RDF	CTL, computational learning theory, infinite state systems
1	Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan	Congruences for Visibly Pushdown Languages.	ICALP	2005	DBLP DOI BibTeX RDF
1	Joseph Reisinger, Mahesh Viswanathan, Liam Comerford	Conversational Assistant for In-car Task Management.	AAAI Spring Symposium: Persistent Assistants: Living and Working with AI	2005	DBLP BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	On Statistical Model Checking of Stochastic Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul A. Agha	VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Nirman Kumar, Viraj Kumar, Mahesh Viswanathan	On the Complexity of Error Explanation.	VMCAI	2005	DBLP DOI BibTeX RDF
1	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	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
1	Mahesh Viswanathan, Ramesh Viswanathan	A Higher Order Modal Fixed Point Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Learning to Verify Safety Properties.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou	Check and simulate: a case for incorporating model checking in network simulation.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	Mahesh Viswanathan, Moonzoo Kim	Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Statistical Model Checking of Black-Box Probabilistic Systems.	CAV	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan, Gul Agha	Learning Continuous Time Markov Chains from Sample Executions.	QEST	2004	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha	Actively Learning to Verify Safety for FIFO Automata.	FSTTCS	2004	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Mahesh Viswanathan	Preface.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Grigore Rosu, Mahesh Viswanathan	Testing Extended Regular Language Membership Incrementally by Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
1	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.	2002	DBLP DOI BibTeX RDF	Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS
1	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan	Testing and Spot-Checking of Data Streams.	Algorithmica	2002	DBLP DOI BibTeX RDF
1	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.	2002	DBLP DOI BibTeX RDF
1	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan	An Approximate L1-Difference Algorithm for Massive Data Streams.	SIAM J. Comput.	2002	DBLP DOI BibTeX RDF
1	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.	2001	DBLP DOI BibTeX RDF
1	Mahesh Viswanathan, Ramesh Viswanathan	Foundations for Circular Compositional Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
1	James W. Cooper, Mahesh Viswanathan, Donna K. Byron, Margaret Chan	Building searchable collections of enterprise speech data.	JCDL	2001	DBLP DOI BibTeX RDF	document display, search, text mining, speech analysis, speech retrieval
1	James W. Cooper, Mahesh Viswanathan, Zunaid Kazi	Samsa: A Speech Analysis, Mining and Summary Application for Outbound Telephone Calls. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	JavaServer pages, document genre, thumbnail display, audio playback, text mining, Speech recognition, note-taking, Remote Method Invocation, Recognition accuracy
1	Mahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Fereydoun Maali, Alain Tritschler	Multimedia document retrieval using speech and speaker recognition.	IJDAR	2000	DBLP DOI BibTeX RDF	Spoken document analysis, Speech recognition, Speaker recognition, Speaker segmentation, Audio indexing
1	Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan	Spot-Checkers.	J. Comput. Syst. Sci.	2000	DBLP DOI BibTeX RDF
1	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan	Testing and spot-checking of data streams (extended abstract).	SODA	2000	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan	Verisim: Formal analysis of network simulations.	ISSTA	2000	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan	The Relationship between Public Key Encryption and Oblivious Transfer.	FOCS	2000	DBLP DOI BibTeX RDF	trapdoor predicates, cryptography, protocols, protocols, public key cryptography, key agreement, public key encryption, public-key encryption, oblivious transfer, secure multi-party computation, primitives, black-box reductions, trapdoor permutations
1	Mahesh Viswanathan, Homayoon S. M. Beigi, Alain Tritschler, Fereydoun Maali	Multimedia Content Indexing and Retrieval Using Speech and Speaker Recognition.	RIAO	2000	DBLP BibTeX RDF
1	Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan	The Complexity of Problems on Graphs Represented as OBDDs.	Chicago J. Theor. Comput. Sci.	1999	DBLP BibTeX RDF
1	Mahesh Viswanathan, Homayoon S. M. Beigi, Satya Dharanipragada, Alain Tritschler	Retrieval from Spoken Documents using Content and Speaker Information. (PDF / PS)	ICDAR	1999	DBLP DOI BibTeX RDF
1	Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan	Runtime Assurance Based On Formal Specifications.	PDPTA	1999	DBLP BibTeX RDF
1	Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky	Formally specified monitoring of temporal properties.	ECRTS	1999	DBLP DOI BibTeX RDF
1	Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan	An Approximate L1-Difference Algorithm for Massive Data Streams.	FOCS	1999	DBLP DOI BibTeX RDF	L1-Difference, range-summable random variables, 4-wise independent random variables, stream
1	Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan	Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract).	STACS	1998	DBLP DOI BibTeX RDF
1	Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan	Membership Questions for Timed and Hybrid Automata. (PDF / PS)	IEEE Real-Time Systems Symposium	1998	DBLP DOI BibTeX RDF
1	Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan	Spot-Checkers.	STOC	1998	DBLP DOI BibTeX RDF
1	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.	1993	DBLP DOI BibTeX RDF	syntactic segmentation, horizontal projection profiles, digitized pages, vertical projection profiles, scanned page images, thresholded profile strings, compiler utilities, block grammars, Unix Shell, labeled x-y tree, image segmentation, feature extraction, image recognition, image recognition, branch and bound, document image processing, document image processing, grammars, labeling, error recovery, technical documents, Lex, Yacc
1	George Nagy, Sharad C. Seth, Mahesh Viswanathan	A Prototype Document Image Analysis System for Technical Journals.	IEEE Computer	1992	DBLP DOI BibTeX RDF

Publications of "Mahesh Viswanathan" ( http://dblp.L3S.de/Authors/Mahesh_Viswanathan )