University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 114
Dept. of Computer Science 96
Graduate Dissertations and Theses at Illinois 63
Summary of Engineering Research (1957-2008) 7
Dept. of Electrical and Computer Engineering 6
College of Business 2
Dept. of Business Administration 2
Dept. of Mechanical Science and Engineering 2
Research publications from UIUC 2
College of Liberal Arts and Sciences 1

Collection

Graduate Dissertations and Theses at Illinois 63
Dissertations and Theses - Computer Science 48
Research and Tech Reports - Computer Science 47
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - Electrical and Computer Engineering 4
Dissertations and Theses - Business Administration 2
Dissertations and Theses - Mechanical Science and Engineering 2
Research publications from the University of Illinois at Urbana-Champaign 2
Senior Theses - Electrical and Computer Engineering 2
Dissertations and Theses - Aerospace Engineering 1

Author(s)

Viswanathan, Mahesh 26
Chadha, Rohit 7
Agha, Gul A. 6
Sen, Koushik 6
University of Illinois at Urbana-Champaign. College of Engineering 5
Liu, Si 4
Prabhakar, Pavithra 4
Hendrix, Joseph D. 3
Hou, Jennifer C. 3
Kumar, Viraj 3

Keyword(s)

computer science 15
Computer Science 14
Research and publications sponsored in the College of Engineering 6
Formal Methods 5
verification 5
Distributed Systems 3
Algorithms 2
Complexity 2
Dynamic Analysis 2
K 2

Type of Resource

text 96
Thesis 8
other 1

↑ ↓

Showing 1–30 of 124 items

1 (current)
2
3
4
5

$Thumbnail for Probabilistic Büchi Automata for LTL\GU$

Probabilistic Büchi Automata for LTL\GU

Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars

Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars

Bhattiprolu, Vijay; Gordon, Spencer; Viswanathan, Mahesh

Thumbnail for Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

Thumbnail for Verification of Randomized Security Protocols

Verification of Randomized Security Protocols

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Optimal Translation of LTL to Limit Deterministic Automata

Optimal Translation of LTL to Limit Deterministic Automata

Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints

Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints

Roohi, Nima; Viswanathan, Mahesh

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Sen, Koushik; Viswanathan, Mahesh

Thumbnail for Learning to Verify Branching Time Properties

Learning to Verify Branching Time Properties

Vardhan, Abhay; Viswanathan, Mahesh

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 On Statistical Model Checking of Stochastic Systems

On Statistical Model Checking of Stochastic Systems

Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

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 Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

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 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 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 Verification of Annotated Models from Executions

Verification of Annotated Models from Executions

Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

Thumbnail for Composing protocols with randomized actions

Composing protocols with randomized actions

Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan

Thumbnail for Model-Checking Markov Chains in the presence of Uncertainties

Model-Checking Markov Chains in the presence of Uncertainties

Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

Thumbnail for Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics

Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics

Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

Thumbnail for Reasoning About MDPs as Transformers of Probability Distributions

Reasoning About MDPs as Transformers of Probability Distributions

Korthikanti, Vijay Anand; Viswanathan, Mahesh; Kwon, YoungMin; Agha, Gul A.

Thumbnail for Learning to Verify Safety Properties

Learning to Verify Safety Properties

Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

Thumbnail for A Decidable Class of Planar Linear Hybrid Systems

A Decidable Class of Planar Linear Hybrid Systems

Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E.

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 Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.

Thumbnail for Propositional Tree Automata

Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Viswanathan, Mahesh

Thumbnail for Minimization, Learning, and Conformance Testing of Boolean Programs

Minimization, Learning, and Conformance Testing of Boolean Programs

Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Congruences for Visibly Pushdown Languages

Congruences for Visibly Pushdown Languages

Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Specifications for Decidable Hybrid Automata and Games

Specifications for Decidable Hybrid Automata and Games

Vladimerou, Vladimeros

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 Remedies for building reliable cyber-physical systems

Remedies for building reliable cyber-physical systems

Roohi, Nima

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 3?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)