University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–23 of 23 items
Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

Thumbnail for Learning to Verify Branching Time Properties
Learning to Verify Branching Time Properties
Vardhan, Abhay; Viswanathan, Mahesh

Thumbnail for Learning to Verify Safety Properties
Learning to Verify Safety Properties
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; 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 Heat Transfer and Pressure Drop Characteristics of R-22, R-134A and R-407C in Microchannel Tubes
Heat Transfer and Pressure Drop Characteristics of R-22, R-134A and R-407C in Microchannel Tubes
Vardan, A.; Dunn, W.E.

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis
Scalable Automated Methods for Dynamic Program Analysis
Sen, Koushik

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 Learning-based inductive invariant synthesis
Learning-based inductive invariant synthesis
Garg, Pranav

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Multi-Time-Step Domain Decomposition and Coupling Methods for Non-Linear Structural Dynamics
Multi-Time-Step Domain Decomposition and Coupling Methods for Non-Linear Structural Dynamics
Prakash, Arun

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 POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop
POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop
Uttamchandani, Sandeep

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Chang, Po-Hao

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Request-Based Mediated Execution
Request-Based Mediated Execution
Sundresh, Sameer

Thumbnail for Request-Based Mediated Execution
Request-Based Mediated Execution
Sundresh, Sameer

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

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 POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop
POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop
Uttamchandani, Sandeep

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Chang, Po-Hao

Thumbnail for An Adaptive Resource Management Architecture for Global Distributed Computing
An Adaptive Resource Management Architecture for Global Distributed Computing
Venkatasubramanian, Nalini