University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–16 of 16 items
Thumbnail for Virtual Single-Core for Multicore Real-Time Computing
Virtual Single-Core for Multicore Real-Time Computing
Lui Sha, Jung-eun Kim, Jose Meseguer, and Peter C. Ölveczky

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

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 Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude
Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude
Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Rewriting-based model checking methods
Rewriting-based model checking methods
Bae, Kyungmin

Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for Nelson Oppen combination as a rewrite theory
Nelson Oppen combination as a rewrite theory
Rodrigues, Nishant

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 Neuronal FMRP: facilitating learning in a critical brain network for zebra finch song acquisition and regulating synaptic miRNAs spatio-temporally
Neuronal FMRP: facilitating learning in a critical brain network for zebra finch song acquisition and regulating synaptic miRNAs spatio-temporally
Winograd, Claudia

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 The Summary of Engineering Research 2008
The Summary of Engineering Research 2008
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2007
The Summary of Engineering Research 2007
University of Illinois at Urbana-Champaign. College of Engineering