University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–47 of 47 items
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 Security models in rewriting logic for cryptographic protocols and browsers
Security models in rewriting logic for cryptographic protocols and browsers
Sasse, Ralf

Thumbnail for From Models to Implementations - Distributed Algorithms using Maude
From Models to Implementations - Distributed Algorithms using Maude
Stephens, Sam C

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 Rewriting Logic Semantics of Orc
Rewriting Logic Semantics of Orc
AlTurki, Musab; Meseguer, José

Thumbnail for A meta-language for functional verification
A meta-language for functional verification
Katelman, Michael

Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for Symbolic reachability analysis for rewrite theories
Symbolic reachability analysis for rewrite theories
Rocha, Camilo

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 Variant-Based Satisfiability
Variant-Based Satisfiability
Meseguer, José

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 The Temporal Logic of Rewriting
The Temporal Logic of Rewriting
Meseguer, José

Thumbnail for Decision Procedures for Equationally Based Reasoning
Decision Procedures for Equationally Based Reasoning
Hendrix, Joseph D.

Thumbnail for The primacy of microchips in the security design of embedded devices
The primacy of microchips in the security design of embedded devices
Hojjati, Avesta

Thumbnail for The Summary of Engineering Research 2005
The Summary of Engineering Research 2005
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2003
The Summary of Engineering Research 2003
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2007
The Summary of Engineering Research 2007
University of Illinois at Urbana-Champaign. College of Engineering