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 61
Dept. of Computer Science 60
Graduate Dissertations and Theses at Illinois 33
College of Liberal Arts and Sciences 3
Dept. of Chemistry 3
Blue Waters 2
National Center for Supercomputing Applications (NCSA) 2
Summary of Engineering Research (1957-2008) 1

Collection

Graduate Dissertations and Theses at Illinois 33
Research and Tech Reports - Computer Science 32
Dissertations and Theses - Computer Science 28
Dissertations and Theses - Chemistry 3
Reports 2
Summary of Engineering Research (2003-2008) 1

Author(s)

Sen, Koushik 11
Agha, Gul A. 9
Meseguer, José 6
Liu, Si 4
Rosu, Grigore 4
Viswanathan, Mahesh 4
Lu, Shan 3
Vardhan, Abhay 3
Blue Waters Project 2
Chang, Po-Hao 2

Keyword(s)

computer science 11
Computer Science 10
Formal Methods 3
Maude 3
concurrency 3
Artificial Intelligence 2
Blue Waters 2
Concurrency 2
Debugging 2
HPC 2

Type of Resource

text 52
still image 2

↑ ↓

Showing 31–60 of 68 items

1
2 (current)
3

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 Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

Thumbnail for Effective architectural support for detecting concurrency bugs

Effective architectural support for detecting concurrency bugs

Muzahid, Abdullah

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

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

Efficient execution of fine-grained actors on multicore processors

Kumar, Rajesh

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 Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

Thumbnail for From Models to Implementations - Distributed Algorithms using Maude

From Models to Implementations - Distributed Algorithms using Maude

Stephens, Sam C

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for Rewriting Semantics of Production Rule Sets

Rewriting Semantics of Production Rule Sets

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

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Synthesis and application of ionic molecular and polymeric materials

Synthesis and application of ionic molecular and polymeric materials

Yang, Ke

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Synthesis and Development of Novel Cyclobutane Mechanophores

Synthesis and Development of Novel Cyclobutane Mechanophores

Kryger, Matthew J.

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 Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Chang, Po-Hao

Thumbnail for I. Depolymerization-macrocyclization of (o-phenylene-ethynylene)-alt-(arylene-ethynylene) copolymers II. Improving existing water filtration membranes via covalent modification

I. Depolymerization-macrocyclization of (o-phenylene-ethynylene)-alt-(arylene-ethynylene) copolymers II. Improving existing water filtration membranes via covalent modification

Herbison, James

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 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 Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

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 An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution

Chang, Po-Hao

Thumbnail for Carbon-carbon bond formation methods for the preparation of shape-persistent architectures

Carbon-carbon bond formation methods for the preparation of shape-persistent architectures

Finke, Aaron D.

Thumbnail for A service-oriented architecture for dynamic macroprogramming of sensor networks

A service-oriented architecture for dynamic macroprogramming of sensor networks

Mechitov, Kirill A.

Thumbnail for Improving failure diagnosis via better design and analysis of log messages

Improving failure diagnosis via better design and analysis of log messages

Yuan, Ding

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 An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

1
2 (current)
3

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 1?

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