University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 41 items
Thumbnail for A meta-language for functional verification
A meta-language for functional verification
Katelman, Michael

Thumbnail for A Strategy Language for Testing Register Transfer Level Logic
A Strategy Language for Testing Register Transfer Level Logic
Katelman, Michael; Meseguer, José

Thumbnail for Rewriting Semantics of Production Rule Sets
Rewriting Semantics of Production Rule Sets
Katelman, Michael; Keller, Sean; Meseguer, José

An executable formal semantics of BTRS
Katelman, Michael

Implementation in Maude of the Notion of Synchronous Composition in the PALS Architecture
Katelman, Michael

Source Code for vlogsl (HVC 2010)
Katelman, Michael

Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, November 2011)
Katelman, Michael; Keller, Sean; Meseguer, José

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011)
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Kamin, Samuel; Aktemur, T. Baris; Katelman, Michael

Thumbnail for Staging Static Analyses for Program Generation (Extended Version)
Staging Static Analyses for Program Generation (Extended Version)
Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude; with Examples
Katelman, Michael; Keller, Sean; Meseguer, José

Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version)
Katelman, Michael; Keller, Sean; Meseguer, José

Thumbnail for 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

Thumbnail for Improving Efficiency and Safety of Program Generation
Improving Efficiency and Safety of Program Generation
Aktemur, T. Baris

Thumbnail for Open Problems and Challenges 2016
Open Problems and Challenges 2016
Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

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 Open Problems and Challenges 2017
Open Problems and Challenges 2017
Roşu, Grigore

Thumbnail for Quick Evaluation of Small Body Gravitation
Quick Evaluation of Small Body Gravitation
Colombi, Andrew C.

Thumbnail for Systematic testing for actor programs
Systematic testing for actor programs
Lauterburg, Steven T.

Thumbnail for Quick Evaluation of Small Body Gravitation
Quick Evaluation of Small Body Gravitation
Colombi, Andrew C.

Thumbnail for Quick Evaluation of Small Body Gravitation
Quick Evaluation of Small Body Gravitation
Colombi, Andrew C.

Thumbnail for A formal semantics of C with applications
A formal semantics of C with applications
Ellison, Charles

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 Architectural Reference Models For Safety-Critical Systems
Architectural Reference Models For Safety-Critical Systems
Crenshaw, Tanya L.

Thumbnail for The Temporal Logic of Rewriting
The Temporal Logic of Rewriting
Meseguer, José