University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–17 of 17 items
Thumbnail for Power of Randomization in Automata on Infinite Strings
Power of Randomization in Automata on Infinite Strings
Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Verification of Randomized Security Protocols
Verification of Randomized Security Protocols
Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Complexity bounds for the verification of real-time software
Complexity bounds for the verification of real-time software
Chadha, Rohit; Legay, Axel; Prabhakar, Pavithra; Viswanathan, Mahesh

Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors
On the Expressiveness and Complexity of Randomization in Finite State Monitors
Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for On the Expressiveness and Complexity of Randomization in Finite State Monitors
On the Expressiveness and Complexity of Randomization in Finite State Monitors
Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Composing protocols with randomized actions
Composing protocols with randomized actions
Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan

Thumbnail for Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Analysis of randomized security protocols
Analysis of randomized security protocols
Bauer, Matthew Steven

Thumbnail for Verification of linear-time properties for finite probabilistic systems
Verification of linear-time properties for finite probabilistic systems
Kini, Dileep Raghunath

Thumbnail for Friendsourcing to detect network manipulation
Friendsourcing to detect network manipulation
Shankesi, Ravinder

Thumbnail for Probabilistic Büchi Automata for LTL\GU
Probabilistic Büchi Automata for LTL\GU
Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Fourier Coefficients of Modular Forms and Their Applications
Fourier Coefficients of Modular Forms and Their Applications
Masri, Nadia Rose

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs
Algorithmic advances in dynamic analysis for detecting concurrency bugs
Mathur, Umang

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems
Approximation Based Safety and Stability Verification of Hybrid Systems
Prabhakar, Pavithra

Thumbnail for Formal patterns for medical device safety
Formal patterns for medical device safety
Sun, Mu

Thumbnail for The Summary of Engineering Research 2008
The Summary of Engineering Research 2008
University of Illinois at Urbana-Champaign. College of Engineering