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

Graduate Dissertations and Theses at Illinois 3109
College of Engineering 1498
College of Liberal Arts and Sciences 1016
Dept. of Electrical and Computer Engineering 406
Dept. of Chemistry 345
Dept. of Computer Science 335
School of Molecular and Cellular Biology 271
College of Agricultural, Consumer and Environmental Sciences (ACES) 268
Dept. of Mechanical Science and Engineering 185
Dept. of Civil and Environmental Engineering 172

Collection

Graduate Dissertations and Theses at Illinois 3109
Dissertations and Theses - Electrical and Computer Engineering 383
Dissertations and Theses - Chemistry 344
Dissertations and Theses - Computer Science 257
Dissertations and Theses - Mechanical Science and Engineering 181
Dissertations and Theses - Materials Science and Engineering 147
Dissertations and Theses - Civil and Environmental Engineering 146
Dissertations and Theses - Physics 125
Dissertations and Theses - Biochemistry 92
Dissertations and Theses - Chemical and Biomolecular Engineering 87

Author(s)

Rosu, Grigore 34
Chen, Feng 30
University of Illinois at Urbana-Champaign 30
Spencer, Billie F., Jr. 8
University of Illinois at Chicago Circle 6
Serbanuta, Traian Florin 5
University of Illinois (System). Board of Trustees 5
University of Illinois at Urbana-Champaign. College of Engineering 5
Li, Jian 4
Hills, Mark 3

Keyword(s)

Engineering, Electronics and Electrical 123
Computer Science 85
Engineering, Materials Science 74
Chemistry, Biochemistry 47
Biology, Molecular 40
Biophysics, General 33
Biology, Neuroscience 32
XSEDE 29
Chemistry, Organic 28
Engineering, Mechanical 26

Type of Resource

text 2226
Thesis 512
still image 6
image 5
Image 2
Text 2
other 1

↑ ↓

Showing 1–30 of 3,467 items

1 (current)
2
3
4
5

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Microplasma Transistor With Quasi Metal-Oxide-Semiconductor (mos)/metal-Insulator-Metal (Mim) Electron Emitters

Microplasma Transistor With Quasi Metal-Oxide-Semiconductor (mos)/metal-Insulator-Metal (Mim) Electron Emitters

Chen, Kuo-Feng

Thumbnail for Mining Parametric State-Based Specifications from Executions

Mining Parametric State-Based Specifications from Executions

Chen, Feng; Rosu, Grigore

Thumbnail for Maximal Causal Models for Sequentially Consistent Multithreaded Systems

Maximal Causal Models for Sequentially Consistent Multithreaded Systems

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

Thumbnail for Mining Parametric Specifications

Mining Parametric Specifications

Lee, Choonghwan; Chen, Feng; Rosu, Grigore

Thumbnail for The Impact of Processing Stages on Stability of Vitamin D3 fortified into Corn Flakes Using Nanoemulsions

The Impact of Processing Stages on Stability of Vitamin D3 fortified into Corn Flakes Using Nanoemulsions

Chen, Yuju; Martsch, Nick; Lopez, Emely; Feng, Hao; Andrade, Juan

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 Parametric and Sliced Causality

Parametric and Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Mining Parametric State-Based Specifications from Executions

Mining Parametric State-Based Specifications from Executions

Chen, Feng; Rosu, Grigore

Thumbnail for Predicting Concurrency Errors at Runtime using Sliced Causality

Predicting Concurrency Errors at Runtime using Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Parametric and Termination-Sensitive Control Dependence

Parametric and Termination-Sensitive Control Dependence

Chen, Feng; Rosu, Grigore

Thumbnail for Predictive Runtime Analysis of Multithreaded Programs

Predictive Runtime Analysis of Multithreaded Programs

Chen, Feng; Rosu, Grigore

Thumbnail for MOP: Reliable Software Development using Abstract Aspects

MOP: Reliable Software Development using Abstract Aspects

Chen, Feng; Rosu, Grigore

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Parametric Trace Slicing and Monitoring

Parametric Trace Slicing and Monitoring

Rosu, Grigore; Chen, Feng

Thumbnail for Predicting Concurrency Errors at Runtime using Sliced Causality

Predicting Concurrency Errors at Runtime using Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Mining Parametric Specifications

Mining Parametric Specifications

Chen, Feng; Lee, Choonghwan; Rosu, Grigore

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Meredith, Patrick O'Neil; Jin, Dongyun; Rosu, Grigore

Thumbnail for MOP: An Efficient and Generic Runtime Verification Framework

MOP: An Efficient and Generic Runtime Verification Framework

Chen, Feng; Rosu, Grigore

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Maximal Causal Models for Multithreaded Systems

Maximal Causal Models for Multithreaded Systems

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Rosu, Grigore; Chen, Feng; Ball, Thomas

Thumbnail for Pluggable Policies for C

Pluggable Policies for C

Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for Structure determination, conformational equilibria and weak hydrogen bonds in heterodimers of freons: The rotational study of CH2F2-CF3CH2F

Structure determination, conformational equilibria and weak hydrogen bonds in heterodimers of freons: The rotational study of CH2F2-CF3CH2F

Lu, Tao

Thumbnail for A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

Chen, Feng; Hills, Mark; Rosu, Grigore

Thumbnail for Automatic and Precise Dimensional Analysis

Automatic and Precise Dimensional Analysis

d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software

Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Maximal Causal Models for Multithreaded Systems

Maximal Causal Models for Multithreaded Systems

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 6?

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