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 88
Dept. of Computer Science 77
Graduate Dissertations and Theses at Illinois 51
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 51
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
Thesis 2

↑ ↓

Showing 31–60 of 102 items

1
2 (current)
3
4

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Architecture Reference Models for Early Safety Analysis

Architecture Reference Models for Early Safety Analysis

Crenshaw, Tanya

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 Nelson Oppen combination as a rewrite theory

Nelson Oppen combination as a rewrite theory

Rodrigues, Nishant

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

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 Using Frameworks to Extend Frameworks

Using Frameworks to Extend Frameworks

Balaguer, Federico

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 Towards a Unified Theory of Operational and Axiomatic Semantics

Towards a Unified Theory of Operational and Axiomatic Semantics

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore

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 Algebraic Semantics of EMOF/OCL Metamodels

Algebraic Semantics of EMOF/OCL Metamodels

Boronat, Artur; Meseguer, José

Thumbnail for Ultraconformal chemical vapor deposition and synthesis of transition metal nitride films

Ultraconformal chemical vapor deposition and synthesis of transition metal nitride films

Cloud, Andrew

Thumbnail for Recogimiento for women and girls in colonial Lima: An institutional and cultural practice

Recogimiento for women and girls in colonial Lima: An institutional and cultural practice

Van Deusen, Nancy Elena

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for Learning to Verify Systems

Learning to Verify Systems

Vardhan, Abhay

Thumbnail for SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework

SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework

Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

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 Creating Christian Granada: Religion and community on the old-world frontier, 1492-1570

Creating Christian Granada: Religion and community on the old-world frontier, 1492-1570

Coleman, David W.

Thumbnail for Automated reasoning for fixpoints and concrete execution in matching logic

Automated reasoning for fixpoints and concrete execution in matching logic

Rodrigues, Nishant Joseph • 2025

Thumbnail for Coinductive program verification

Coinductive program verification

Moore, Brandon Michael

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 K: A Rewriting-Based Framework for Computations -- Preliminary version

K: A Rewriting-Based Framework for Computations -- Preliminary version

Rosu, Grigore

Thumbnail for A semantics-first approach to safe guidelines-based clinical decision support

A semantics-first approach to safe guidelines-based clinical decision support

Saxena, Manasvi • 2025

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 Towards secure web browsing

Towards secure web browsing

Tang, Shuo

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version --

K: A Rewriting-Based Framework for Computations -- Preliminary version --

Rosu, Grigore

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

1
2 (current)
3
4

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 0?

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