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 46
Dept. of Computer Science 43
Graduate Dissertations and Theses at Illinois 14
Summary of Engineering Research (1957-2008) 3

Collection

Research and Tech Reports - Computer Science 30
Graduate Dissertations and Theses at Illinois 14
Dissertations and Theses - Computer Science 13
Summary of Engineering Research (2003-2008) 3

Author(s)

Meseguer, José 19
Liu, Si 13
Olveczky, Peter C. 13
Gupta, Indranil 5
Wang, Qi 5
Al-Nayeem, Abdullah 4
University of Illinois at Urbana-Champaign. College of Engineering 3
Crenshaw, Tanya L. 2
Farzan, Azadeh 2
Ganhotra, Jatin 2

Keyword(s)

Maude 12
Computer Science 6
Model Checking 6
Statistical Model Checking 6
Real-Time Maude 4
rewriting logic 4
Formal Methods 3
Research and publications sponsored in the College of Engineering 3
Rewriting Logic 3
Consistency Model 2

Type of Resource

text 38
Thesis 1
other 1

↑ ↓

Showing 1–30 of 47 items

1 (current)
2

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 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 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 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 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 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 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 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 Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude

Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude

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

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

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

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 Physically-asynchronous logically-synchronous (PALS) system design and development

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

Al-Nayeem, Abdullah

Thumbnail for Formal Design of Cloud Computing Systems in Maude

Formal Design of Cloud Computing Systems in Maude

Meseguer, José

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

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 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

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 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 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 Architecture Reference Models for Early Safety Analysis

Architecture Reference Models for Early Safety Analysis

Crenshaw, Tanya

Thumbnail for Architectural Reference Models For Safety-Critical Systems

Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

Thumbnail for Architectural Reference Models For Safety-Critical Systems

Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Thumbnail for PALS/PRISM Software Design Description (SDD): Ver. 0.51

PALS/PRISM Software Design Description (SDD): Ver. 0.51

Kim, Cheolgi; Al-Nayeem, Abdullah; Yun, Heechul; Wu, Po-Liang; Sha, Lui

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration

Verification of Simulation Models of Network Protocols Using State Space Exploration

Sobeih, Ahmed Adel

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics

Towards a Unified Theory of Operational and Axiomatic Semantics

Rosu, Grigore; Stefanescu, Andrei

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 5?

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