University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Geographic Coverage

Abstract

Series/Report Name or Number

Type of Resource

Genre of Resource

Permalink

Full Text

Academic Unit

College of Engineering 112
Dept. of Computer Science 111
Graduate Dissertations and Theses at Illinois 28
College of Liberal Arts and Sciences 2
Grainger College of Engineering 2
Siebel School of Computing and Data Science 2
Dept. of Linguistics 1
Dept. of Mathematics 1
Dept. of Mechanical Science and Engineering 1
Illinois Research and Scholarship (Open Unit) 1

Collection

Research and Tech Reports - Computer Science 89
Graduate Dissertations and Theses at Illinois 28
Dissertations and Theses - Computer Science 24
Dissertations and Theses - Linguistics 1
Dissertations and Theses - Mathematics 1
Dissertations and Theses - Mechanical Science and Engineering 1
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Meseguer, José 77
Olveczky, Peter C. 13
Liu, Si 12
Escobar, Santiago 10
Katelman, Michael 10
Rocha, Camilo 9
Sasse, Ralf 7
Skeirik, Stephen 6
Gupta, Indranil 5
Keller, Sean 5

Keyword(s)

Maude 19
computer science 18
rewriting logic 7
Computer Science 6
Formal Methods 6
Model Checking 6
programming languages 5
PRS 3
Rewriting Logic 3
Statistical Model Checking 3

Type of Resource

text 95
other 7
Text 1
Thesis 1

↑ ↓

Showing 61–90 of 117 items

1
2
3 (current)
4

Thumbnail for Variant Narrowing and Equational Unification

Variant Narrowing and Equational Unification

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Formal Modeling and Analysis of Leader Election in MANETs

Formal Modeling and Analysis of Leader Election in MANETs

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude

A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata

Sufficient Completeness Checking with Propositional Tree Automata

Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for Variant Narrowing and Extreme Termination

Variant Narrowing and Extreme Termination

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Order-sorted Equality Enrichments Modulo Axioms

Order-sorted Equality Enrichments Modulo Axioms

Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo

Thumbnail for Variant Narrowing and Extreme Termination

Variant Narrowing and Extreme Termination

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore; 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 Nelson Oppen combination as a rewrite theory

Nelson Oppen combination as a rewrite theory

Rodrigues, Nishant

Thumbnail for Formal Modeling and Analysis of the Walter Transactional Data Store

Formal Modeling and Analysis of the Walter Transactional Data Store

Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José

Thumbnail for Algebraic Simulations

Algebraic Simulations

Meseguer, José; Palomino, Miguel; Marti-Oliet, Narciso

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 Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Olveczky, Peter C.; Meseguer, José; Talcott, Carolyn L.

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 PALS: Physically Asynchronous Logically Synchronous Systems

PALS: Physically Asynchronous Logically Synchronous Systems

Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for Strand Spaces with Choice via a Process Algebra Semantics

Strand Spaces with Choice via a Process Algebra Semantics

Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia

Thumbnail for A formal semantics of C with applications

A formal semantics of C with applications

Ellison, Charles

Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking

Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking

Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Coinductive program verification

Coinductive program verification

Moore, Brandon Michael

Thumbnail for A New Distributed Transaction Protocol and Its Formal Analysis in Maude

A New Distributed Transaction Protocol and Its Formal Analysis in Maude

Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Toward language-independent program verification

Toward language-independent program verification

Ștefănescu, Andrei

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Thumbnail for Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies

Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies

Alturki, Musab A.; Roşu, Grigore

Thumbnail for Rewriting-based symbolic methods for distributed system verification

Rewriting-based symbolic methods for distributed system verification

Skeirik, Stephen

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

1
2
3 (current)
4

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 2?

© 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)