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 112
Dept. of Computer Science 111
Graduate Dissertations and Theses at Illinois 28
College of Liberal Arts and Sciences 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 22
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
Thesis 2

↑ ↓

Showing 91–117 of 117 items

2
3
4 (current)

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for IsaK: A Complete Semantics of K

IsaK: A Complete Semantics of K

Li, Liyi; Gunter, Elsa L.

Thumbnail for Extending the language and applications of Maude-NPA through rewriting semantics

Extending the language and applications of Maude-NPA through rewriting semantics

Yang, Fan

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

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 Security Assessment of Control Systems for Critical Cyber -Infrastructures

Automatic Security Assessment of Control Systems for Critical Cyber -Infrastructures

Anwar, Zahid

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 From Models to Implementations - Distributed Algorithms using Maude

From Models to Implementations - Distributed Algorithms using Maude

Stephens, Sam C

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for A general approach to define binders using matching logic

A general approach to define binders using matching logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

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 Advancements in automated first-order verification

Advancements in automated first-order verification

Pena, Lucas • 2022

Thumbnail for A path-based framework for analyzing large markov models

A path-based framework for analyzing large markov models

Lam, Vinh V.

Thumbnail for Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies

Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies

Naldurg, Prasad G.

Thumbnail for A rewriting approach to concurrent programming language design and semantics

A rewriting approach to concurrent programming language design and semantics

Serbanuta, Traian Florin

Thumbnail for A modular rewriting approach to language design, evolution and analysis

A modular rewriting approach to language design, evolution and analysis

Hills, Mark

Thumbnail for Analysis of randomized security protocols

Analysis of randomized security protocols

Bauer, Matthew Steven

Thumbnail for Trustworthy Program Verification via Proof Generation

Trustworthy Program Verification via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Matching μ-Logic

Matching μ-Logic

Chen, Xiaohong • 2023

Thumbnail for Towards secure web browsing

Towards secure web browsing

Tang, Shuo

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Acoustic metamaterial design and applications

Acoustic metamaterial design and applications

Zhang, Shu

Thumbnail for Modal auxiliary verbs and contexts

Modal auxiliary verbs and contexts

Moon, Lori Ann

2
3
4 (current)

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 1?

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