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 120
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 120
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
Formal Methods 6
Structural Health Monitoring 6
Research and publications sponsored in the College of Engineering 5
Artificial Intelligence 4
distributed systems 3
Backward Execution 2
Distributed Systems 2
Dynamic Analysis 2

Type of Resource

text 161
Thesis 3
Dissertation / Thesis 1
image 1

↑ ↓

Showing 91–120 of 198 items

2
3
4 (current)
5
6

Thumbnail for Researcher profiling: Finding representative phrases for researchers

Researcher profiling: Finding representative phrases for researchers

Zhou, Kangyan

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis

Scalable Automated Methods for Dynamic Program Analysis

Sen, Koushik

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Thumbnail for Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies

Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies

Alturki, Musab A.; Roşu, Grigore

Thumbnail for MASTraf: a decentralized multi-agent system for network-wide traffic signal control with dynamic coordination

MASTraf: a decentralized multi-agent system for network-wide traffic signal control with dynamic coordination

Medina, Juan

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Thumbnail for POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop

POLUS: A Self-Evolving Model-Based Approach for Automating the Observe-Analyze-Act Loop

Uttamchandani, Sandeep

Thumbnail for Urdu Language Collections in American Libraries

Urdu Language Collections in American Libraries

Moid, Abdul

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

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

Thumbnail for Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems

Efficient Communication and Coordination for Large-Scale Multi-Agent Systems

Jang, Myeong-Wuk

Thumbnail for Separation of distributed coordination and control for programming reliable robotics

Separation of distributed coordination and control for programming reliable robotics

Ghosh, Ritwika

Thumbnail for Wireless Sensor Advances and Applications for Civil Infrastructure Monitoring

Wireless Sensor Advances and Applications for Civil Infrastructure Monitoring

Spencer, Billie F., Jr.; Yun, Chung-Bang

Thumbnail for Decentralized identification and multimetric monitoring of civil infrastructure using smart sensors

Decentralized identification and multimetric monitoring of civil infrastructure using smart sensors

Sim, Sung-Han; Spencer, Billie F., Jr.

Thumbnail for Local voices challenging global campaigns: Re-thinking childhood, agency, and girls’ education in northwest Pakistan

Local voices challenging global campaigns: Re-thinking childhood, agency, and girls’ education in northwest Pakistan

Rahman, Fauzia S.

Thumbnail for An adaptive placement framework for efficient near-data stream processing over data source-edge-cloud systems

An adaptive placement framework for efficient near-data stream processing over data source-edge-cloud systems

Sandur, Atul • 2022

Thumbnail for Quarterware: A Middleware Toolkit of Software RISC Components

Quarterware: A Middleware Toolkit of Software RISC Components

Singhai, Ashish

Thumbnail for Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Sen, Koushik; Viswanathan, Mahesh

Thumbnail for Multi-scale Structural Health Monitoring using Wireless Smart Sensors

Multi-scale Structural Health Monitoring using Wireless Smart Sensors

Jo, Hongki; Spencer, Billie F., Jr.

Thumbnail for Optimization of object-oriented and concurrent programs

Optimization of object-oriented and concurrent programs

Plevyak, John Bradley

Thumbnail for A graph grammar approach to concurrent programming

A graph grammar approach to concurrent programming

Goering, Steven Kent

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Race, politics, and armies: The dynamics of military modernization in twentieth-century colonial India

Race, politics, and armies: The dynamics of military modernization in twentieth-century colonial India

Barua, Pradeep P.

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 From Models to Implementations - Distributed Algorithms using Maude

From Models to Implementations - Distributed Algorithms using Maude

Stephens, Sam C

Thumbnail for Structural Health Monitoring Using Smart Sensors

Structural Health Monitoring Using Smart Sensors

Nagayama, Tomonori

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 Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules

Shankar, Chetan S.

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

2
3
4 (current)
5
6

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 5?

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