University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–22 of 22 items
Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for Metalevel algorithms for variant satisfiability
Metalevel algorithms for variant satisfiability
Skeirik, Stephen; Meseguer, José

Thumbnail for A Constructor-Based Reachability Logic for Rewrite Theories
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José

Thumbnail for Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Meseguer, José; Skeirik, Stephen

Thumbnail for Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Meseguer, José; Skeirik, Stephen

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 Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
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 Nelson Oppen combination as a rewrite theory
Nelson Oppen combination as a rewrite theory
Rodrigues, Nishant

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 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 Semantics of low-level languages
Semantics of low-level languages
Miranti, Andrew

Thumbnail for Maude-PSL: a new input language for Maude-NPA
Maude-PSL: a new input language for Maude-NPA
Cholewa, Andrew Russel

Thumbnail for Investigating the impact of gold nanoparticles on pulmonary cells: From 2D to 3D culture systems
Investigating the impact of gold nanoparticles on pulmonary cells: From 2D to 3D culture systems
Chang, Huei-Huei

Thumbnail for Automated deductive verification of systems software
Automated deductive verification of systems software
Pek, Edgar

Thumbnail for Design and engineering of multi-step (bio)catalytic systems
Design and engineering of multi-step (bio)catalytic systems
Wang, Yajie

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

Thumbnail for Extending the language and applications of Maude-NPA through rewriting semantics
Extending the language and applications of Maude-NPA through rewriting semantics
Yang, Fan

Thumbnail for Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers
Security models in rewriting logic for cryptographic protocols and browsers
Sasse, Ralf

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