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 52
Dept. of Computer Science 46
Graduate Dissertations and Theses at Illinois 37
Dept. of Electrical and Computer Engineering 3
Summary of Engineering Research (1957-2008) 3
Research publications from UIUC 1

Collection

Graduate Dissertations and Theses at Illinois 37
Dissertations and Theses - Computer Science 33
Research and Tech Reports - Computer Science 13
Dissertations and Theses - Electrical and Computer Engineering 3
Summary of Engineering Research (2003-2008) 3
Research publications from the University of Illinois at Urbana-Champaign 1

Author(s)

Lu, Shan 3
University of Illinois at Urbana-Champaign. College of Engineering 3
Chen, Feng 2
Clark, Robert 2
Farzan, Azadeh 2
Rosu, Grigore 2
Tasharofi, Samira 2
Bandhakavi, Sruthi 1
Bocchino, Robert L., Jr. 1
Charalambides, Minas 1

Keyword(s)

Computer Science 5
Concurrency 3
Research and publications sponsored in the College of Engineering 3
program verification 3
Dynamic Analysis 2
Formal Methods 2
Hybrid Systems 2
Testing 2
Verification 2
computer science 2

Type of Resource

text 35
Thesis 4

↑ ↓

Showing 31–54 of 54 items

1
2 (current)

Thumbnail for Verification of linear-time properties for finite probabilistic systems

Verification of linear-time properties for finite probabilistic systems

Kini, Dileep Raghunath

Thumbnail for Towards energy-performance trade-off analysis of parallel applications

Towards energy-performance trade-off analysis of parallel applications

Korthikanti, Vijay Anand

Thumbnail for Practical verification of network planes

Practical verification of network planes

Prabhu Muraleedhara Prabhu, Santhosh

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Uniform verification of safety for parameterized networks of hybrid automata

Uniform verification of safety for parameterized networks of hybrid automata

Johnson, Taylor

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

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

Thumbnail for Actor programming with static guarantees

Actor programming with static guarantees

Charalambides, Minas

Thumbnail for Conformance Testing and Error Explanation for Software Models

Conformance Testing and Error Explanation for Software Models

Kumar, Viraj

Thumbnail for The tasks with effects model for safe concurrency

The tasks with effects model for safe concurrency

Heumann, Stephen T.

Thumbnail for Secure virtual architecture: security for commodity software systems

Secure virtual architecture: security for commodity software systems

Criswell, John

Thumbnail for Evolution-aware runtime verification

Evolution-aware runtime verification

Legunsen, Owolabi

Thumbnail for Algorithms on Clustering, Orienteering, and Conflict-Free Coloring

Algorithms on Clustering, Orienteering, and Conflict-Free Coloring

Chen, Ke

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems

Approximation Based Safety and Stability Verification of Hybrid Systems

Prabhakar, Pavithra

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Detecting, characterizing, and taming flaky tests

Detecting, characterizing, and taming flaky tests

Lam, Wing

Thumbnail for An effect system and language for deterministic-by-default parallel programming

An effect system and language for deterministic-by-default parallel programming

Bocchino, Robert L., Jr.

Thumbnail for The Summary of Engineering Research 2007

The Summary of Engineering Research 2007

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2008

The Summary of Engineering Research 2008

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Transactions of the Board of Trustees [electronic resource] / 2004-06

Transactions of the Board of Trustees [electronic resource] / 2004-06

University of Illinois (System). Board of Trustees

Thumbnail for The Summary of Engineering Research 2006

The Summary of Engineering Research 2006

University of Illinois at Urbana-Champaign. College of Engineering

1
2 (current)

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 4?

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