University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–16 of 16 items
Thumbnail for Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems
Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems
Jose Meseguer and Peter Olveczky

Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development
Physically-asynchronous logically-synchronous (PALS) system design and development
Al-Nayeem, Abdullah

Thumbnail for Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Meseguer, José; Olveczky, Peter C.

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 Architecture Reference Models for Early Safety Analysis
Architecture Reference Models for Early Safety Analysis
Crenshaw, Tanya

Thumbnail for 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

Thumbnail for PALS: Physically Asynchronous Logically Synchronous Systems
PALS: Physically Asynchronous Logically Synchronous Systems
Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.

Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51
PALS/PRISM Software Design Description (SDD): Ver. 0.51
Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics
Towards a Unified Theory of Operational and Axiomatic Semantics
Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Farzan, Azadeh

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration
Verification of Simulation Models of Network Protocols Using State Space Exploration
Sobeih, Ahmed Adel

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 Decision Procedures for Equationally Based Reasoning
Decision Procedures for Equationally Based Reasoning
Hendrix, Joseph D.

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

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