University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–18 of 18 items
Thumbnail for Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
AlTurki, Musab; Meseguer, José

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 Rewriting Logic Semantics of Orc
Rewriting Logic Semantics of Orc
AlTurki, Musab; Meseguer, José

Thumbnail for Formal Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
Meseguer, José

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Al-Turki, Musab A.

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 Exploring Design Alternatives for Replicated RAMP Transactions Using Maude
Exploring Design Alternatives for Replicated RAMP Transactions Using Maude
Liang, Lei; 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 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

Thumbnail for Rewriting Semantics of Production Rule Sets
Rewriting Semantics of Production Rule Sets
Katelman, Michael; Keller, Sean; Meseguer, José

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 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 A meta-language for functional verification
A meta-language for functional verification
Katelman, Michael

Thumbnail for Open Problems and Challenges 2017
Open Problems and Challenges 2017
Roşu, Grigore

Thumbnail for Friendsourcing to detect network manipulation
Friendsourcing to detect network manipulation
Shankesi, Ravinder

Thumbnail for Symbolic reachability analysis for rewrite theories
Symbolic reachability analysis for rewrite theories
Rocha, Camilo

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 Security models in rewriting logic for cryptographic protocols and browsers
Security models in rewriting logic for cryptographic protocols and browsers
Sasse, Ralf