|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| 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 | Rohit Chadha, Stefan Ciobâca, Steve Kremer |
Automated Verification of Equivalence Properties of Cryptographic Protocols. |
ESOP |
2012 |
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 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. |
VMCAI |
2011 |
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 | 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 | 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 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Power of Randomization in Automata on Infinite Strings. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Stéphanie Delaune, Steve Kremer |
Epistemic Logic for the Applied Pi Calculus. |
FMOODS/FORTE |
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 | 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 | Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas |
Reasoning about probabilistic sequential programs. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Mahesh Viswanathan |
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
Towards Model-Checking Quantum Security Protocols. |
ICQNM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
Reasoning About Imperative Quantum Programs. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Damiano Macedonio, Vladimiro Sassone |
A Hybrid Intuitionistic Logic: Semantics and Decidability. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Steve Kremer, Andre Scedrov |
Formal Analysis of Multiparty Contract Signing. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
multiparty contract signing, GM protocol |
| 1 | Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
Reasoning About States of Probabilistic Sequential Programs. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
Contract signing, optimism, and advantage. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Steve Kremer, Andre Scedrov |
Formal Analysis of Multi-Party Contract Signing. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
Contract Signing, Optimism, and Advantage. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Max I. Kanovich, Andre Scedrov |
Inductive methods and contract-signing protocols. |
ACM Conference on Computer and Communications Security |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")