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 22
Dept. of Computer Science 21
Graduate Dissertations and Theses at Illinois 19
College of Liberal Arts and Sciences 2
College of Business 1
Dept. of Biochemistry 1
Dept. of Business Administration 1
Dept. of East Asian Languages and Cultures 1
Dept. of Materials Science and Engineering 1
School of Molecular and Cellular Biology 1

Collection

Graduate Dissertations and Theses at Illinois 19
Dissertations and Theses - Computer Science 14
Research and Tech Reports - Computer Science 7
Dissertations and Theses - Biochemistry 1
Dissertations and Theses - Business Administration 1
Dissertations and Theses - East Asian Languages and Cultures 1
Dissertations and Theses - Materials Science and Engineering 1

Author(s)

Rosu, Grigore 5
Luo, Qingzhou 3
Chen, Xiaohong 2
Lin, Zhengyao 2
Trinh, Minh-Thai 2
Wang, John 2
Chen, Mingcheng 1
Eloussi, Lamyaa 1
Erdogan, Cansu 1
Gligoric, Milos Zivko 1

Keyword(s)

K 2
Program verification 2
Proof generation 2
Software Engineering 2
matching logic 2
reachability logic 2
runtime verification 2
Access Control 1
Cancer Therapy 1
Cancer diagnosis 1

Type of Resource

text 16
Thesis 1

↑ ↓

Showing 1–26 of 26 items

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

Testing, runtime verification, and analysis of concurrent programs

Luo, Qingzhou

Thumbnail for EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

Luo, Qingzhou; Rosu, Grigore

Thumbnail for Systematic Concurrency Testing with Maximal Causality

Systematic Concurrency Testing with Maximal Causality

Luo, Qingzhou; Huang, Jeff; Rosu, Grigore

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Longstanding natives and dispersed minorities: Sino-Muslims, public culture, and identification in Late Imperial China, 1600-1912

Longstanding natives and dispersed minorities: Sino-Muslims, public culture, and identification in Late Imperial China, 1600-1912

Zhang, Shaodan

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Evaluating machine-independent metrics for state-space exploration

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Determining flaky tests from test failures

Determining flaky tests from test failures

Eloussi, Lamyaa

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for ROSRV: runtime verification for the Robot Operating System

ROSRV: runtime verification for the Robot Operating System

Erdogan, Cansu

Thumbnail for @tComment: testing Javadoc comments to detect comment-code inconsistencies

@tComment: testing Javadoc comments to detect comment-code inconsistencies

Tan, Shin Hwei

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 Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Lagrangian coherent structures and trajectory similarity: two important tools for scientific visualization

Lagrangian coherent structures and trajectory similarity: two important tools for scientific visualization

Chen, Mingcheng

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 Exploring design decisions for mutation testing

Exploring design decisions for mutation testing

Hariri, Farah

Thumbnail for Fighting cancer with nanomedicine−drug-polyester nanoconjugates for targeted cancer therapy

Fighting cancer with nanomedicine−drug-polyester nanoconjugates for targeted cancer therapy

Yin, Qian

Thumbnail for Adversarial-resilience assurance for mobile security systems

Adversarial-resilience assurance for mobile security systems

Yang, Wei

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 DNAzymes as intracellular sensors for metal ion imaging and their structural characterization

DNAzymes as intracellular sensors for metal ion imaging and their structural characterization

Wu, Peiwen

Thumbnail for Towards a change-oriented programming environment

Towards a change-oriented programming environment

Negara, Stanislav

Thumbnail for Less is sometimes more in the automation of software evolution tasks

Less is sometimes more in the automation of software evolution tasks

Vakilian, Mohsen

Thumbnail for Three essays on product design for the environment

Three essays on product design for the environment

Shi, Tianqin

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 5?

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