University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–20 of 20 items
Thumbnail for Preparation-free and comprehensive runtime verification tool for testing Java programs
Preparation-free and comprehensive runtime verification tool for testing Java programs
Lee, Choonghwan

Thumbnail for Mining Parametric Specifications
Mining Parametric Specifications
Lee, Choonghwan; Chen, Feng; Rosu, Grigore

Thumbnail for Mining Parametric Specifications
Mining Parametric Specifications
Chen, Feng; Lee, Choonghwan; Rosu, Grigore

Thumbnail for Towards Categorizing and Formalizing the JDK API
Towards Categorizing and Formalizing the JDK API
Lee, Choonghwan; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Making runtime monitoring of parametric properties practical
Making runtime monitoring of parametric properties practical
Jin, Dongyun

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

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

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

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

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

Thumbnail for Architecting, programming, and evaluating an on-chip incoherent multi-processor memory hierarchy
Architecting, programming, and evaluating an on-chip incoherent multi-processor memory hierarchy
Kim, Wooil

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 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 Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for A Modular Rewriting Approach to Language Design, Evolution and Analysis
A Modular Rewriting Approach to Language Design, Evolution and Analysis
Hills, Mark

Thumbnail for A modular rewriting approach to language design, evolution and analysis
A modular rewriting approach to language design, evolution and analysis
Hills, Mark

Thumbnail for A formal semantics of C with applications
A formal semantics of C with applications
Ellison, Charles

Thumbnail for A rewriting approach to concurrent programming language design and semantics
A rewriting approach to concurrent programming language design and semantics
Serbanuta, Traian Florin