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 185
Dept. of Computer Science 156
Graduate Dissertations and Theses at Illinois 121
Dept. of Civil and Environmental Engineering 20
Newmark Structural Engineering Laboratory 9
Summary of Engineering Research (1957-2008) 7
Research publications from UIUC 3
College of Fine and Applied Arts 2
Illinois Research and Scholarship (Open Unit) 2
School of Music 2

Collection

Graduate Dissertations and Theses at Illinois 121
Dissertations and Theses - Computer Science 102
Research and Tech Reports - Computer Science 54
Dissertations and Theses - Civil and Environmental Engineering 11
Newmark Structural Laboratory Report Series (NSEL Report Series ISSN 1940-9826) 9
Summary of Engineering Research (2003-2008) 6
Research publications from the University of Illinois at Urbana-Champaign 3
Dissertations and Theses [Graduate College] - Music 2
Illinois Research and Scholarship (Open Collection) 2
Dissertations and Theses - Education 1

Author(s)

Agha, Gul A. 20
Sen, Koushik 9
Kwon, YoungMin 6
Meseguer, José 5
Spencer, Billie F., Jr. 5
University of Illinois at Urbana-Champaign. College of Engineering 5
Jang, Myeong-Wuk 4
Liu, Si 4
Sundresh, Sameer 4
Charalambides, Minas 3

Keyword(s)

Computer Science 53
computer science 14
Structural Health Monitoring 6
Formal Methods 5
Research and publications sponsored in the College of Engineering 5
Artificial Intelligence 4
concurrency 4
distributed systems 3
Backward Execution 2
Distributed Systems 2

Type of Resource

text 161
Thesis 4
Dissertation / Thesis 1
image 1

↑ ↓

Showing 1–30 of 199 items

1 (current)
2
3
4
5

Thumbnail for Types for Progress in Actor Programs

Types for Progress in Actor Programs

Charalambides, Minas; Palmskog, Karl; Agha, Gul

Thumbnail for Debugging Wireless Sensor Networks Using Mobile Actors

Debugging Wireless Sensor Networks Using Mobile Actors

Karmani, Rajesh

Thumbnail for Link Quality Estimation for Data-Intensive Sensor Network Applications

Link Quality Estimation for Data-Intensive Sensor Network Applications

Moinzadeh, Parya; Mechitov, Kirill A.; Agha, Gul A.

Thumbnail for Automated Inference of Atomic Sets for Safe Concurrent Execution

Automated Inference of Atomic Sets for Safe Concurrent Execution

Dinges, Peter; Charalambides, Minas; Agha, Gul A.

Thumbnail for Targeted Test Input Generation using Symbolic-Concrete Backward Execution

Targeted Test Input Generation using Symbolic-Concrete Backward Execution

Dinges, Peter; Agha, Gul A.

Thumbnail for Automated Systematic Testing of Open Distributed Programs

Automated Systematic Testing of Open Distributed Programs

Sen, Koushik; Agha, Gul A.

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 PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Agha, Gul A.; Meseguer, José; Sen, Koushik

Thumbnail for Energy Bounded Scalability Analysis of Parallel Algorithms

Energy Bounded Scalability Analysis of Parallel Algorithms

Korthikanti, Vijay Anand; Agha, Gul A.

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 Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Sen, Koushik; Rosu, Grigore; Agha, Gul A.

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 CUTE: A Concolic Unit Testing Engine for C

CUTE: A Concolic Unit Testing Engine for C

Sen, Koushik; Marinov, Darko; Agha, Gul A.

Thumbnail for An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage

An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage

Devaraj, Christo; Nagda, Mehwish; Gupta, Indranil; 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 Localization of Sparse Sensor Networks Using Layout Information

Localization of Sparse Sensor Networks Using Layout Information

Sundresh, Sameer; Kwon, YoungMin; Mechitov, Kirill; Kim, Wooyoung; Agha, Gul A.

Thumbnail for A Flexible Coordination Framework for Application-Oriented Matchmaking and Brokering Services

A Flexible Coordination Framework for Application-Oriented Matchmaking and Brokering Services

Jang, Myeong-Wuk; Ahmed, Amr M.E.; Agha, Gul A.

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks

ActorNet: An Actor Platform for Wireless Sensor Networks

Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Complexity analysis for DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources

Complexity analysis for DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources

Sandur, Atul; Elgamal, Tarek; Agha, Gul; Nahrstedt, Klara

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 Dynamic Voltage Scaling Techniques for Energy Efficient Synchronized Sensor Network Design

Dynamic Voltage Scaling Techniques for Energy Efficient Synchronized Sensor Network Design

Moinzadeh, Parya; Mechitov, Kirill A.; Shiftehfar, Reza; Abdelzaher, Tarek F.; Agha, Gul A.; Spencer, Billie F., Jr.

Thumbnail for Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism

Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism

Ahmed, Amr M.E.; Patel, Abhilash; Brown, Tom; Ham, MyungJoo; Jang, Myeong-Wuk; Agha, Gul A.

Thumbnail for Resilient Localization for Sensor Networks in Outdoor Environments

Resilient Localization for Sensor Networks in Outdoor Environments

Kwon, YoungMin; Mechitov, Kirill; Sundresh, Sameer; Kim, Wooyoung; Agha, Gul A.

Thumbnail for Actor programming with static guarantees

Actor programming with static guarantees

Charalambides, Minas

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Modeling and Analysis of the Collective Dynamics of Large-Scale Multi-Agent Systems

Modeling and Analysis of the Collective Dynamics of Large-Scale Multi-Agent Systems

Tosic, Predrag

Thumbnail for Efficient execution of fine-grained actors on multicore processors

Efficient execution of fine-grained actors on multicore processors

Kumar, Rajesh

Thumbnail for Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination

Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination

Varela, Carlos Arturo

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 Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Chang, Po-Hao

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 4?

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