University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–8 of 8 items
Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking
Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; 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 Formal Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
Meseguer, José

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