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 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 Rewriting Semantics of Production Rule Sets
Rewriting Semantics of Production Rule Sets
Katelman, Michael; Keller, Sean; Meseguer, José

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é