University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 88
Dept. of Computer Science 77
Graduate Dissertations and Theses at Illinois 49
College of Liberal Arts and Sciences 7
Summary of Engineering Research (1957-2008) 6
College of Agricultural, Consumer and Environmental Sciences (ACES) 2
Dept. of History 2
Dept. of Materials Science and Engineering 2
Dept. of Spanish, Italian and Portuguese 2
Coordinated Science Laboratory 1

Collection

Graduate Dissertations and Theses at Illinois 49
Research and Tech Reports - Computer Science 42
Dissertations and Theses - Computer Science 35
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - History 2
Dissertations and Theses - Materials Science and Engineering 2
Dissertations and Theses - Spanish, Italian and Portuguese 2
Dissertations and Theses - Agricultural and Biological Engineering 1
Dissertations and Theses - Bioengineering 1
Dissertations and Theses - Linguistics 1

Author(s)

Meseguer, José 25
University of Illinois at Urbana-Champaign. College of Engineering 6
Rosu, Grigore 5
Duran, Francisco 4
Skeirik, Stephen 4
Al-Nayeem, Abdullah 3
Olveczky, Peter C. 3
Chen, Shuo 2
Cholewa, Andrew 2
Ding, Hui 2

Keyword(s)

Computer Science 22
Maude 6
Research and publications sponsored in the College of Engineering 6
Formal Methods 2
History, Latin American 2
Hybrid Systems 2
K 2
coherence 2
computer security 2
variants 2

Type of Resource

text 89

↑ ↓

Showing 1–30 of 100 items

1 (current)
2
3
4

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 Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems

Formalization and Correctness of the PALS Pattern for Asynchronous Real-Time Systems

Jose Meseguer and Peter Olveczky

Thumbnail for Virtual Single-Core for Multicore Real-Time Computing

Virtual Single-Core for Multicore Real-Time Computing

Lui Sha, Jung-eun Kim, Jose Meseguer, and Peter C. Ölveczky

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Physically-asynchronous logically-synchronous (PALS) system design and development

Physically-asynchronous logically-synchronous (PALS) system design and development

Al-Nayeem, Abdullah

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 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 Generalized Rewrite Theories and Coherence Completion

Generalized Rewrite Theories and Coherence Completion

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 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 Incremental Checking of Well-Founded Recursive Speciﬁcations Modulo Axioms

Incremental Checking of Well-Founded Recursive Speciﬁcations Modulo Axioms

Schernhammer, Felix; Mseguer, Jose

Thumbnail for Strict Coherence of Conditional Rewriting Modulo Axioms

Strict Coherence of Conditional Rewriting Modulo Axioms

Meseguer, José

Thumbnail for Termination Modulo Combinations of Equational Theories

Termination Modulo Combinations of Equational Theories

Duran, Francisco; Lucas, Salvador; Meseguer, José

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 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 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 Variant-Based Satisfiability

Variant-Based Satisfiability

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 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 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 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é

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 Constrained Narrowing for Conditional Equational Theories Modulo Axioms

Constrained Narrowing for Conditional Equational Theories Modulo Axioms

Cholewa, Andrew; Escobar, Santiago; Meseguer, José

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

1 (current)
2
3
4

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 3?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)