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 61–90 of 124 items

1
2
3 (current)
4
5

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.

Thumbnail for Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data

Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Automatic simulation-driven reachability using matrix measures

Automatic simulation-driven reachability using matrix measures

Fan, Chuchu

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing

Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing

Xia, Jason; Zilles, Craig • 2022

Thumbnail for Automated Systematic Testing of Open Distributed Programs

Automated Systematic Testing of Open Distributed Programs

Sen, Koushik; Agha, Gul A.

Thumbnail for Separation of distributed coordination and control for programming reliable robotics

Separation of distributed coordination and control for programming reliable robotics

Ghosh, Ritwika

Thumbnail for Regression Test Selection for Distributed Software Histories: Appendix

Regression Test Selection for Distributed Software Histories: Appendix

Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko

Thumbnail for Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Sen, Koushik; Agha, Gul A.

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis

Scalable Automated Methods for Dynamic Program Analysis

Sen, Koushik

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Proof blocks: autogradable scaffolding activities for learning to write proofs

Proof blocks: autogradable scaffolding activities for learning to write proofs

Poulsen, Seth • 2023

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

Thumbnail for The complexity of continuous local search

The complexity of continuous local search

Gordon, Spencer L

Thumbnail for Models for Privacy in Ubiquitous Computing Environments

Models for Privacy in Ubiquitous Computing Environments

Kapadia, Apu Chandrasen

Thumbnail for Routing with Confidence: A Model for Trustworthy Communication

Routing with Confidence: A Model for Trustworthy Communication

Kapadia, Apu C.; Naldurg, Prasad G.; Campbell, Roy H.

Thumbnail for Effect of grazing flow on structural-acoustic response of an elastic plate with sound in a duct

Effect of grazing flow on structural-acoustic response of an elastic plate with sound in a duct

Manchakattil Sucheendran, Mahesh

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Automaticity and Control in the Effect of Arousal on Persuasion

Automaticity and Control in the Effect of Arousal on Persuasion

Riemer, Hila

Thumbnail for Adjoint-based control of turbulent jet noise

Adjoint-based control of turbulent jet noise

Kim, Jeonglae

Thumbnail for Efficient On-Demand Operations in Large-Scale Infrastructures

Efficient On-Demand Operations in Large-Scale Infrastructures

Ko, Steven Y.

Thumbnail for Limits of Random Oracle in Secure Computation

Limits of Random Oracle in Secure Computation

Mahmoody, Mohammad; Maji, Hemanta K.; Prabhakaran, Manoj

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services

Rewriting-based formal modeling, analysis and implementation of real-time distributed services

Al-Turki, Musab A.

Thumbnail for Friendsourcing to detect network manipulation

Friendsourcing to detect network manipulation

Shankesi, Ravinder

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 8?

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