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 3
Dept. of Computer Science 3
Graduate Dissertations and Theses at Illinois 1

Collection

Research and Tech Reports - Computer Science 2
Dissertations and Theses - Computer Science 1
Graduate Dissertations and Theses at Illinois 1

Author(s)

Bae, Kyungmin 2
Meseguer, José 2
Olveczky, Peter C. 2
Al-Nayeem, Abdullah 1

Keyword(s)

Architecture Analysis & Design Language (AADL) 1
Cyber-physical systems 1
Formal methods 1
Infinite-state systems 1
Model checking 1
Real-Time Maude 1
Rewriting logic 1
Temporal logic 1
formal verification 1
model checking 1

Type of Resource

text 2

↑ ↓

Showing 1–3 of 3 items

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 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 Rewriting-based model checking methods

Rewriting-based model checking methods

Bae, Kyungmin

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 4?

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