University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 199 items
Thumbnail for Types for Progress in Actor Programs
Types for Progress in Actor Programs
Charalambides, Minas; Palmskog, Karl; Agha, Gul

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 On Statistical Model Checking of Stochastic Systems
On Statistical Model Checking of Stochastic Systems
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 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 Learning to Verify Safety Properties
Learning to Verify Safety Properties
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; 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 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 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 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.