The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (Homepage):  http://web.engr.illinois.edu/~vmahesh/  Author page on DBLP  Author page in RDF  Community of Mahesh Viswanathan 0001 in ASPL-2

Publication years (Num. hits)
1998-2002 (18) 2003-2005 (18) 2006-2008 (17) 2009-2011 (18) 2012-2014 (17) 2015 (17) 2016-2017 (21) 2018-2019 (15)
Publication types (Num. hits)
article(37) inproceedings(102) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 55 occurrences of 52 keywords

Results
Found 142 publication records. Showing 141 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Decidable and expressive classes of probabilistic automata. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan 0001 Deciding Memory Safety for Forest Datastructures. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Umang Mathur, P. Madhusudan, Mahesh Viswanathan 0001 Decidable verification of uninterpreted programs. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Umang Mathur, Mahesh Viswanathan 0001 Data Race Detection on Compressed Traces. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Umang Mathur, Dileep Kini, Mahesh Viswanathan 0001 What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Umang Mathur, P. Madhusudan, Mahesh Viswanathan 0001 Decidable Verification of Uninterpreted Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Umang Mathur, Dileep Kini, Mahesh Viswanathan 0001 What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 Relating Syntactic and Semantic Perturbations of Hybrid Automata. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Mahesh Viswanathan 0001 Revisiting MITL to Fix Decision Procedures. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Model Checking Indistinguishability of Randomized Security Protocols. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan 0001 Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan 0001 A Decidable Fragment of Second Order Logic With Applications to Synthesis. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Approximating Probabilistic Automata by Regular Languages. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Umang Mathur, Mahesh Viswanathan 0001 Data race detection on compressed traces. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud Statistical Verification of PCTL Using Stratified Samples. Search on Bibsonomy ADHS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu Wang 0044, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan 0001 Stability Analysis of Switched Linear Systems Defined by Regular Languages. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan 0001 A Decidable Fragment of Second Order Logic With Applications to Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan 0001 DRYVR: Data-driven verification and compositional reasoning for automotive systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dileep Kini, Umang Mathur, Mahesh Viswanathan 0001 Dynamic Race Prediction in Linear Time. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan 0001 Modular Verification of Protocol Equivalence in the Presence of Randomness. Search on Bibsonomy ESORICS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Exact quantitative probabilistic model checking through rational search. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Mahesh Viswanathan 0001 Optimal Translation of LTL to Limit Deterministic Automata. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan 0001 DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 Robust Model Checking of Timed Automata under Clock Drifts. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Yu Wang 0044, Matthew West 0001, Geir E. Dullerud, Mahesh Viswanathan 0001 Statistical Verification of the Toyota Powertrain Control Verification Benchmark. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Umang Mathur, Mahesh Viswanathan 0001 Dynamic race prediction in linear time. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Mahesh Viswanathan 0001 Complexity of Model Checking MDPs against LTL Specifications. Search on Bibsonomy FSTTCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Verification of randomized security protocols. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan 0001 Composing Protocols with Randomized Actions. Search on Bibsonomy POST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001 Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan 0001, Parasara Sridhar Duggirala Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Mahesh Viswanathan 0001 Parsimonious, Simulation Based Verification of Linear Systems. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan 0001, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. Search on Bibsonomy CCA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. Search on Bibsonomy CDC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 Hybrid automata-based CEGAR for rectangular hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan 0001, Björn Hartmann How Can Automatic Feedback Help Students Construct Automata? Search on Bibsonomy ACM Trans. Comput.-Hum. Interact. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan 0001 Stability Preserving Simulations and Bisimulations for Hybrid Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Axel Legay, Mahesh Viswanathan 0001 Statistical model checking: challenges and perspectives. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Mahesh Viswanathan 0001 Statistical model checking for unbounded until formulas. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan 0001, Geir E. Dullerud A decidable class of planar linear hybrid systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Mahesh Viswanathan 0001 (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001, Yue Ben Decidable and Expressive Classes of Probabilistic Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Mahesh Viswanathan 0001 Analyzing Real Time Linear Control Systems Using Software Verification. Search on Bibsonomy RTSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001, Matthew Potok C2E2: A Verification Tool for Stateflow Models. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Mahesh Viswanathan 0001 Limit Deterministic and Probabilistic Automata for LTL ∖ GU. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan 0001 Meeting a Powertrain Verification Challenge. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Nima Roohi, Mahesh Viswanathan 0001 Deciding Concurrent Planar Monotonic Linear Hybrid Systems. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud Statistical verification of dynamical systems using set oriented methods. Search on Bibsonomy HSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan 0001 C2E2: a tool for verifying annotated hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 Progress on Powertrain Verification Challenge with C2E2. Search on Bibsonomy ARCH@CPSWeek The full citation details ... 2015 DBLP  BibTeX  RDF
1Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. Search on Bibsonomy ADHS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Mahesh Viswanathan 0001, Ramesh Viswanathan Least upper bounds for probability measures and their applications to abstractions. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Dileep Kini, Mahesh Viswanathan 0001 Quantitative Information Flow in Boolean Programs. Search on Bibsonomy POST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Mahesh Viswanathan 0001 Probabilistic Automata for Safety LTL Specifications. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Mahesh Viswanathan 0001 Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints. Search on Bibsonomy FORMATS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan 0001, César A. Muñoz Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yu Wang 0044, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan 0001 Stability of linear autonomous systems under regular switching sequences. Search on Bibsonomy CDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Dileep Kini, Mahesh Viswanathan 0001 Decidable Problems for Unary PFAs. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan 0001 Reachability under Contextual Locking. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Mahesh Viswanathan 0001 On the decidability of stability of hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Probabilistic Automata with Isolated Cut-Points. Search on Bibsonomy MFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001 Verification of annotated models from executions. Search on Bibsonomy EMSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan 0001 Automated Grading of DFA Constructions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan 0001, Geir E. Dullerud Verification of Bounded Discrete Horizon Hybrid Automata. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Mahesh Viswanathan 0001 Conformance Testing of Boolean Programs with Multiple Faults. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, P. Madhusudan, Mahesh Viswanathan 0001 Reachability under Contextual Locking. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan 0001 Pre-orders for reasoning about stability. Search on Bibsonomy HSCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Power of Randomization in Automata on Infinite Strings Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan 0001, Geir E. Dullerud Specifications for decidable hybrid games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Mahesh Viswanathan 0001 A dynamic algorithm for approximate flow computations. Search on Bibsonomy HSCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon Model Checking MDPs with a Unique Compact Invariant Set of Distributions. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Model Checking, Semantics, Markov Decision Processes, Probability Distributions
1Rohit Chadha, Mahesh Viswanathan 0001 A counterexample-guided abstraction-refinement framework for markov decision processes. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan 0001, Darko Marinov, Jennifer C. Hou Assertion Checking in J-Sim Simulation Models of Network Protocols. Search on Bibsonomy Simulation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan 0001 Complexity Bounds for the Verification of Real-Time Software. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Model Checking Concurrent Programs with Nondeterminism and Randomization. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon Reasoning about MDPs as Transformers of Probability Distributions. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 On the expressiveness and complexity of randomization in finite state monitors. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF topology, randomization, runtime verification, probabilistic automata, Omega automata
1Rohit Chadha, Mahesh Viswanathan 0001 Deciding branching time properties for asynchronous programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Power of Randomization in Automata on Infinite Strings. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan 0001 On Convergence of Concurrent Systems under Regular Interactions. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan 0001, Geir E. Dullerud Verifying Tolerant Systems Using Polynomial Approximations. Search on Bibsonomy RTSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan 0001, Geir E. Dullerud STORMED Hybrid Games. Search on Bibsonomy HSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Mahesh Viswanathan 0001 Query Automata for Nested Words. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Axel Legay, Mahesh Viswanathan 0001 Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF simulation, Probability, hypothesis testing
1Rohit Chadha, Mahesh Viswanathan 0001 A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan 0001 (eds.) Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Mahesh Viswanathan 0001, Ramesh Viswanathan Least Upper Bounds for Probability Measures and Their Applications to Abstractions. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan 0001, Geir E. Dullerud A Decidable Class of Planar Linear Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan 0001, Geir E. Dullerud STORMED Hybrid Systems. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan 0001 Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan 0001 Incremental state-space exploration for programs with dynamically allocated data. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 On the Expressiveness and Complexity of Randomization in Finite State Monitors. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Abhay Vardhan, Mahesh Viswanathan 0001 Learning to verify branching time properties. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification, Learning, CTL
1Rohit Chadha, Mahesh Viswanathan 0001 Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001 Visibly pushdown automata for streaming XML. Search on Bibsonomy WWW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML, query, typing, schema, streaming algorithms, pushdown automata
1Ahmed Sobeih, Mahesh Viswanathan 0001, Darko Marinov, Jennifer C. Hou J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 141 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license