University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 117 items
Thumbnail for Proving Ground Confluence of Equational Specifications Modulo Axioms
Proving Ground Confluence of Equational Specifications Modulo Axioms
Duran, Francisco; Meseguer, José; Rocha, Camilo

Thumbnail for Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Schernhammer, Felix; Meseguer, José

Thumbnail for Rewriting Modulo SMT and Open System Analysis
Rewriting Modulo SMT and Open System Analysis
Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for Generalized Rewrite Theories and Coherence Completion
Generalized Rewrite Theories and Coherence Completion
Meseguer, José

Thumbnail for On the Completeness of Context-Sensitive Order-sorted Specifications
On the Completeness of Context-Sensitive Order-sorted Specifications
Hendrix, Joe; Meseguer, José

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

Thumbnail for Order-Sorted Rewriting and Congruence Closure
Order-Sorted Rewriting and Congruence Closure
Meseguer, José

Thumbnail for Generalized Rewrite Theories, Coherence Completion and Symbolic Methods
Generalized Rewrite Theories, Coherence Completion and Symbolic Methods
Meseguer, José

Thumbnail for Strict Coherence of Conditional Rewriting Modulo Axioms
Strict Coherence of Conditional Rewriting Modulo Axioms
Meseguer, José

Thumbnail for Variant-Based Satisfiability
Variant-Based Satisfiability
Meseguer, José

Thumbnail for 20 Years of Rewriting Logic
20 Years of Rewriting Logic
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 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 What is a Multi-Modeling Language?
What is a Multi-Modeling Language?
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin

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 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 Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras
Meseguer, José; Skeirik, Stephen

Source Code for vlogsl (HVC 2010)
Katelman, Michael

Thumbnail for Variant-Based Decidable Satisfiability in Initial Algebras with Predicates
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates
Gutiérrez, Raúl; Meseguer, José

Thumbnail for The Temporal Logic of Rewriting
The Temporal Logic of Rewriting
Meseguer, José

Thumbnail for On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
Duran, Francisco; Meseguer, José

Thumbnail for On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
Duran, Francisco; Meseguer, José

Thumbnail for Variant Satisfiability in Initial Algebras with Predicates
Variant Satisfiability in Initial Algebras with Predicates
Gutiérrez, Raúl; Meseguer, José

Implementation in Maude of the Notion of Synchronous Composition in the PALS Architecture
Katelman, Michael

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 Metalevel algorithms for variant satisfiability
Metalevel algorithms for variant satisfiability
Skeirik, Stephen; Meseguer, José

Thumbnail for Automatic Generation of CINNI Instances for the Maude System
Automatic Generation of CINNI Instances for the Maude System
Eckhardt, Jonas; Muelbauer, Tobias; Meseguer, José

Thumbnail for A Strategy Language for Testing Register Transfer Level Logic
A Strategy Language for Testing Register Transfer Level Logic
Katelman, Michael; Meseguer, José

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 State/Event-based LTL Model Checking under Parametric Generalized Fairness
State/Event-based LTL Model Checking under Parametric Generalized Fairness
Bae, Kyungmin; Meseguer, José