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 31–60 of 124 items

1
2 (current)
3
4
5

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

Thumbnail for Conformance Testing and Error Explanation for Software Models

Conformance Testing and Error Explanation for Software Models

Kumar, Viraj

Thumbnail for Analysis of randomized security protocols

Analysis of randomized security protocols

Bauer, Matthew Steven

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration

Verification of Simulation Models of Network Protocols Using State Space Exploration

Sobeih, Ahmed Adel

Thumbnail for Adaptation of grammar based compression in detecting atomicity violations

Adaptation of grammar based compression in detecting atomicity violations

Xu, Yang

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems

Approximation Based Safety and Stability Verification of Hybrid Systems

Prabhakar, Pavithra

Thumbnail for Complexity of Dyck-reachability in directed graphs

Complexity of Dyck-reachability in directed graphs

Shankar Narayanan, Aditya

Thumbnail for Statistical verification and differential privacy in cyber-physical systems

Statistical verification and differential privacy in cyber-physical systems

Wang, Yu

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Preparation-free and comprehensive runtime verification tool for testing Java programs

Preparation-free and comprehensive runtime verification tool for testing Java programs

Lee, Choonghwan

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

Fan, Chuchu

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Automated methods for checking differential privacy

Automated methods for checking differential privacy

Ravi, Vishal Jagannath

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Learning frameworks for program synthesis

Learning frameworks for program synthesis

Saha, Shambwaditya

Thumbnail for Uniform verification of safety for parameterized networks of hybrid automata

Uniform verification of safety for parameterized networks of hybrid automata

Johnson, Taylor

Thumbnail for Understanding the fault-tolerance properties of large-scale storage systems

Understanding the fault-tolerance properties of large-scale storage systems

Rozier, Eric

Thumbnail for Automatic techniques for proving correctness of heap-manipulating programs

Automatic techniques for proving correctness of heap-manipulating programs

Qiu, Xiaokang

Thumbnail for In search of better proximity

In search of better proximity

Kumar, Nirman

Thumbnail for Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

Thumbnail for Towards parallelization of simulation-based reachability

Towards parallelization of simulation-based reachability

Qi, Bolun

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

Thumbnail for Non-Deterministic Vehicle Simulation Tool

Non-Deterministic Vehicle Simulation Tool

Li, Rongzhou

Thumbnail for Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

Thumbnail for Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features

Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features

Qi, Bolun

Thumbnail for Incremental State Space Exploration in J-Sim

Incremental State Space Exploration in J-Sim

Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study

Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study

Potok, Matthew

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

1
2 (current)
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 5 + 2?

© 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)