University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 117 items
Thumbnail for Algebraic Semantics of OCL-constrained Metamodel Specifications
Algebraic Semantics of OCL-constrained Metamodel Specifications
Boronat, Artur; Meseguer, José

Thumbnail for Termination Modulo Combinations of Equational Theories
Termination Modulo Combinations of Equational Theories
Duran, Francisco; Lucas, Salvador; Meseguer, José

Thumbnail for The Rewriting Logic Semantics Project
The Rewriting Logic Semantics Project
Meseguer, José; Rosu, Grigore

Thumbnail for Termination of Just/Fair Computations in Term Rewriting
Termination of Just/Fair Computations in Term Rewriting
Lucas, Salvador; Meseguer, José

Thumbnail for Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Sasse, Ralf; Meseguer, José

Thumbnail for Proving Safety Properties of Rewrite Theories
Proving Safety Properties of Rewrite Theories
Rocha, Camilo; Meseguer, José

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version)
Katelman, Michael; Keller, Sean; Meseguer, José

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude; with Examples
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
Rocha, Camilo; Meseguer, José

Thumbnail for Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Meseguer, José; Sharykin, Raman

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, November 2011)
Katelman, Michael; Keller, Sean; Meseguer, José

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011)
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for Partial Order Reduction for Rewriting Semantics of Programming Languages
Partial Order Reduction for Rewriting Semantics of Programming Languages
Farzan, Azadeh; Meseguer, José

Thumbnail for Algebraic Semantics of OCL-constrained Metamodel Specifications
Algebraic Semantics of OCL-constrained Metamodel Specifications
Boronat, Artur; Meseguer, José

Thumbnail for Theorem Proving Modula Based on Boolean Equational Procedures
Theorem Proving Modula Based on Boolean Equational Procedures
Rocha, Camilo; Meseguer, José

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 Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Constrained Narrowing for Conditional Equational Theories Modulo Axioms
Cholewa, Andrew; Escobar, Santiago; Meseguer, José

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 Symbolic Model Checking of Infinite-State Systems Using Narrowing
Symbolic Model Checking of Infinite-State Systems Using Narrowing
Escobar, Santiago; Meseguer, José

Thumbnail for Five Isomorphic Boolean Theories and Four Equational Decision Procedures
Five Isomorphic Boolean Theories and Four Equational Decision Procedures
Rocha, Camilo; Meseguer, José

Thumbnail for Formal Specification and Verification of Java Refactorings
Formal Specification and Verification of Java Refactorings
Garrido, Alejandra; Meseguer, José

Thumbnail for Rewriting Logic Semantics of Orc
Rewriting Logic Semantics of Orc
AlTurki, Musab; 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 Rewriting Semantics of Production Rule Sets
Rewriting Semantics of Production Rule Sets
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for Algebraic Semantics of EMOF/OCL Metamodels
Algebraic Semantics of EMOF/OCL Metamodels
Boronat, Artur; Meseguer, José

Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings
Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings
Garrido, Alejandra; Meseguer, José; Johnson, Ralph

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

Thumbnail for Effectively Checking or Disproving the Finite Variant Property
Effectively Checking or Disproving the Finite Variant Property
Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Agha, Gul A.; Meseguer, José; Sen, Koushik