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 90
Graduate Dissertations and Theses at Illinois 83
Dept. of Computer Science 75
College of Liberal Arts and Sciences 17
Dept. of Electrical and Computer Engineering 7
Program in Comparative and World Literature 5
Research publications from UIUC 4
Dept. of Chemistry 3
Summary of Engineering Research (1957-2008) 3
XSEDE: Extreme Science and Engineering Discovery Environment 3

Collection

Graduate Dissertations and Theses at Illinois 83
Dissertations and Theses - Computer Science 47
Research and Tech Reports - Computer Science 28
Dissertations and Theses - Electrical and Computer Engineering 7
Dissertations and Theses - Comparative and World Literature 5
Research publications from the University of Illinois at Urbana-Champaign 4
Dissertations and Theses - Chemistry 3
Summary of Engineering Research (2003-2008) 3
XSEDE Planning Documents and Reports 3
Dissertations and Theses - Anthropology 2

Author(s)

Madhusudan, P. 7
Viswanathan, Mahesh 4
Chen, Feng 3
Farzan, Azadeh 3
Garg, Pranav 3
Kumar, Viraj 3
Lu, Shan 3
Meseguer, José 3
Tasharofi, Samira 3
Basu Thakur, Gautam 2

Keyword(s)

computer science 7
Computer Science 6
Verification 4
verification 4
Concurrency 3
concurrency 3
program verification 3
Chemistry, Biochemistry 2
Deadlock 2
Dynamic Analysis 2

Type of Resource

text 78
Thesis 13
image 1

↑ ↓

Showing 31–60 of 121 items

1
2 (current)
3
4
5

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 Reflective Database Access Control

Reflective Database Access Control

Olson, Lars E.

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

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

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 Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

Thumbnail for Mechanistic Investigations of Dehydration of Lacticin 481 Synthetase and Exploring Its Biochemical Applications

Mechanistic Investigations of Dehydration of Lacticin 481 Synthetase and Exploring Its Biochemical Applications

You, Young-Ok

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

Efficient testing of actor programs with non-deterministic behaviors

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 Regression Test Selection for Distributed Software Histories: Appendix

Regression Test Selection for Distributed Software Histories: Appendix

Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko

Thumbnail for Bita: Coverage-guided, Automatic Testing of Actor Programs

Bita: Coverage-guided, Automatic Testing of Actor Programs

Tasharofi, Samira; Pradel, Michael; Lin, Yu; Johnson, Ralph E.

Thumbnail for Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

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 Development of imidazotetrazines for the treatment of glioblastoma & as synthetic precursors to diazo species

Development of imidazotetrazines for the treatment of glioblastoma & as synthetic precursors to diazo species

Svec, Riley Larson

Thumbnail for Toward predictable control of software-defined networks

Toward predictable control of software-defined networks

Croft, Jason

Thumbnail for A novel invariants-based approach for automated software fault localization

A novel invariants-based approach for automated software fault localization

Sahoo, Swarup K.

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

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

Thumbnail for Molecular dynamics simulation and neutron scattering studies of nonaqueous electrolyte solutions

Molecular dynamics simulation and neutron scattering studies of nonaqueous electrolyte solutions

Li, Zhixia

Thumbnail for Molecular dynamics studies of the structure–dynamics relationship in concentrated nonaqueous electrolytic solutions

Molecular dynamics studies of the structure–dynamics relationship in concentrated nonaqueous electrolytic solutions

Farag, Hossam Mostafa Abdelhamid Mostafa

Thumbnail for Helping analysts reason about social network structure: Evidence from training and interactive visualization

Helping analysts reason about social network structure: Evidence from training and interactive visualization

Ratcliffe, Carolyn R.

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 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 Providing application-aware reliability through OS/hypervisor-level techniques

Providing application-aware reliability through OS/hypervisor-level techniques

Wang, Long

Thumbnail for Efficient execution of fine-grained actors on multicore processors

Efficient execution of fine-grained actors on multicore processors

Kumar, Rajesh

Thumbnail for Rewriting Modulo SMT and Open System Analysis

Rewriting Modulo SMT and Open System Analysis

Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Formalizing operator task analysis

Formalizing operator task analysis

Yasmeen, Ayesha

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 Constrained Narrowing for Conditional Equational Theories Modulo Axioms

Constrained Narrowing for Conditional Equational Theories Modulo Axioms

Cholewa, Andrew; Escobar, Santiago; Meseguer, José

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

1
2 (current)
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 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)