University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 68 items
Thumbnail for Scalable Automated Methods for Dynamic Program Analysis
Scalable Automated Methods for Dynamic Program Analysis
Sen, Koushik

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

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Sen, Koushik; Viswanathan, Mahesh

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 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 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 Symcretic testing of programs
Symcretic testing of programs
Dinges, Peter

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Sorrentino, Francesco

Thumbnail for Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies
Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies
Alturki, Musab A.; Roşu, Grigore

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 Improved regression testing of multithreaded programs
Improved regression testing of multithreaded programs
Jagannath, Vilas

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 Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Open Problems and Challenges 2016
Open Problems and Challenges 2016
Rosu, Grigore

Thumbnail for Understanding, detecting, and repairing performance bugs
Understanding, detecting, and repairing performance bugs
Nistor, Adrian

Thumbnail for Testing, runtime verification, and analysis of concurrent programs
Testing, runtime verification, and analysis of concurrent programs
Luo, Qingzhou

Thumbnail for Open Problems and Challenges 2017
Open Problems and Challenges 2017
Roşu, Grigore

Thumbnail for Systematic testing for actor programs
Systematic testing for actor programs
Lauterburg, Steven T.

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

Thumbnail for Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Meseguer, José; Sharykin, Raman

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 Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

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