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 185
Dept. of Computer Science 156
Graduate Dissertations and Theses at Illinois 121
Dept. of Civil and Environmental Engineering 20
Newmark Structural Engineering Laboratory 9
Summary of Engineering Research (1957-2008) 7
Research publications from UIUC 3
College of Fine and Applied Arts 2
Illinois Research and Scholarship (Open Unit) 2
School of Music 2

Collection

Graduate Dissertations and Theses at Illinois 121
Dissertations and Theses - Computer Science 102
Research and Tech Reports - Computer Science 54
Dissertations and Theses - Civil and Environmental Engineering 11
Newmark Structural Laboratory Report Series (NSEL Report Series ISSN 1940-9826) 9
Summary of Engineering Research (2003-2008) 6
Research publications from the University of Illinois at Urbana-Champaign 3
Dissertations and Theses [Graduate College] - Music 2
Illinois Research and Scholarship (Open Collection) 2
Dissertations and Theses - Education 1

Author(s)

Agha, Gul A. 20
Sen, Koushik 9
Kwon, YoungMin 6
Meseguer, José 5
Spencer, Billie F., Jr. 5
University of Illinois at Urbana-Champaign. College of Engineering 5
Jang, Myeong-Wuk 4
Liu, Si 4
Sundresh, Sameer 4
Charalambides, Minas 3

Keyword(s)

Computer Science 53
computer science 14
Structural Health Monitoring 6
Formal Methods 5
Research and publications sponsored in the College of Engineering 5
Artificial Intelligence 4
concurrency 4
distributed systems 3
Backward Execution 2
Distributed Systems 2

Type of Resource

text 161
Thesis 4
Dissertation / Thesis 1
image 1

↑ ↓

Showing 121–150 of 199 items

3
4
5 (current)
6
7

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Rewriting Semantics of Production Rule Sets

Rewriting Semantics of Production Rule Sets

Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for Structural Health Monitoring for Bridge Structures using Smart Sensors

Structural Health Monitoring for Bridge Structures using Smart Sensors

Jang, Shin Ae; Spencer, Billie F., Jr.

Thumbnail for Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System

Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System

Huang, Chao

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Flexible Smart Sensor Framework for Autonomous Full-scale Structural Health Monitoring

Flexible Smart Sensor Framework for Autonomous Full-scale Structural Health Monitoring

Rice, Jennifer A.; Spencer, Billie F., Jr.

Thumbnail for Monitoring, Modeling, and Hybrid Simulation An Integrated Bayesian-based Approach to High-fidelity Fragility Analysis

Monitoring, Modeling, and Hybrid Simulation An Integrated Bayesian-based Approach to High-fidelity Fragility Analysis

Li, Jian; Spencer, Billie F., Jr.

Thumbnail for Modeling and Monitoring of the Dynamic Response of Railroad Bridges using Wireless Smart Sensors

Modeling and Monitoring of the Dynamic Response of Railroad Bridges using Wireless Smart Sensors

Kim, Robin E.; Spencer, Billie F., Jr.

Thumbnail for Smart wireless control of civil structures

Smart wireless control of civil structures

Linderman, Lauren E.; Spencer, Billie F., Jr.

Thumbnail for A System to Support Object-Oriented Design Evolution

A System to Support Object-Oriented Design Evolution

Wang, Jane Ching-Ying

Thumbnail for Using Frameworks to Extend Frameworks

Using Frameworks to Extend Frameworks

Balaguer, Federico

Thumbnail for Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Olveczky, Peter C.; Meseguer, José; Talcott, Carolyn L.

Thumbnail for Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System

Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System

Huang, Chao

Thumbnail for Charisma: A Component Architecture for Parallel Programming

Charisma: A Component Architecture for Parallel Programming

Bhandarkar, Milind Arun

Thumbnail for Qos-Aware Service Management for Internet-Scale Distributed Applications

Qos-Aware Service Management for Internet-Scale Distributed Applications

Jin, Jingwen

Thumbnail for Experimental study of software dependability

Experimental study of software dependability

Kao, Wei-lun

Thumbnail for Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Shankar, Chetan Shiva

Thumbnail for Customized message passing and scheduling for parallel and distributed applications

Customized message passing and scheduling for parallel and distributed applications

Islam, Nayeem

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Experimental Study of Software Dependability

Experimental Study of Software Dependability

Kao, Wei-lun

Thumbnail for SpiderNet: A Quality -Aware Service Composition Middleware

SpiderNet: A Quality -Aware Service Composition Middleware

Gu, Xiaohui

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Design and Evaluation of Multi-Channel Multi-Hop Wireless Networks

Design and Evaluation of Multi-Channel Multi-Hop Wireless Networks

So, Jungmin

Thumbnail for Exploiting System Diversity in Peer-to-Peer Publish -Subscribe Systems

Exploiting System Diversity in Peer-to-Peer Publish -Subscribe Systems

Patel, Jay A.

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 The Summary of Engineering Research 2005

The Summary of Engineering Research 2005

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Utility-driven optimization and placement framework for Visual IoT analytics over edge-cloud environments

Utility-driven optimization and placement framework for Visual IoT analytics over edge-cloud environments

Elgamal, Tarek

Thumbnail for The Summary of Engineering Research 2006

The Summary of Engineering Research 2006

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

3
4
5 (current)
6
7

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 7?

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