University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–13 of 13 items
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 Variants of Variants and the Finite Variant Property
Variants of Variants and the Finite Variant Property
Cholewa, Andrew; Meseguer, José; Escobar, Santiago

Thumbnail for Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories
Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories
Rocha, Camilo; Meseguer, José

Thumbnail for Synchronous AADL and its Formal Analysis in Real-Time Maude
Synchronous AADL and its Formal Analysis in Real-Time Maude
Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José

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é

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

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 Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Incremental Checking of Well-Founded Recursive Specifications Modulo Axioms
Schernhammer, Felix; Mseguer, Jose

Thumbnail for Folding Variant Narrowing and Optimal Variant Termination
Folding Variant Narrowing and Optimal Variant Termination
Escobar, Santiago; Sasse, Ralf; Meseguer, José

Thumbnail for A Modular Order-sorted Equational Generalization Algorithm
A Modular Order-sorted Equational Generalization Algorithm
Alpuente, María; Escobar, Santiago; Espert, Javier; 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 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

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