University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Geographic Coverage

Abstract

Series/Report Name or Number

Type of Resource

Genre of Resource

Permalink

Full Text

Academic Unit

College of Engineering 52
Dept. of Computer Science 46
Graduate Dissertations and Theses at Illinois 45
Dept. of Electrical and Computer Engineering 3
Summary of Engineering Research (1957-2008) 3
Grainger College of Engineering 2
Siebel School of Computing and Data Science 2
Research publications from UIUC 1

Collection

Graduate Dissertations and Theses at Illinois 45
Dissertations and Theses - Computer Science 35
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
Astorga, Angello 1
Bandhakavi, Sruthi 1
Blanchard, Eion 1

Keyword(s)

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

Type of Resource

text 35
Thesis 12

↑ ↓

Showing 31–60 of 62 items

1
2 (current)
3

Thumbnail for Building abstractions for fast, secure, reliable computer systems

Building abstractions for fast, secure, reliable computer systems

Mai, Haohui

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics

Towards a Unified Theory of Operational and Axiomatic Semantics

Rosu, Grigore; Stefanescu, Andrei

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

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Advancements in automated first-order verification

Advancements in automated first-order verification

Pena, Lucas • 2022

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems

Maximal Causal Models for Sequentially Consistent Systems

Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Decidability bounds for extensions of Presburger arithmetic

Decidability bounds for extensions of Presburger arithmetic

Blanchard, Eion • 2023

Thumbnail for Efficient testing of actor programs with non-deterministic behaviors

Efficient testing of actor programs with non-deterministic behaviors

Tasharofi, Samira

Thumbnail for Matching μ-Logic

Matching μ-Logic

Chen, Xiaohong • 2023

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Abstractions for safety assurance of autonomous systems

Abstractions for safety assurance of autonomous systems

Hsieh, Chiao • 2023

Thumbnail for Efficient Testing of Actor Programs with Non-deterministic Behavior

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

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 Conformance Testing and Error Explanation for Software Models

Conformance Testing and Error Explanation for Software Models

Kumar, Viraj

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

1
2 (current)
3

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 3?

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