University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–21 of 21 items
Thumbnail for State/Event-based LTL Model Checking under Parametric Generalized Fairness
State/Event-based LTL Model Checking under Parametric Generalized Fairness
Bae, Kyungmin; Meseguer, José

Thumbnail for Rewriting-based model checking methods
Rewriting-based model checking methods
Bae, Kyungmin

Source Code for a Multirate PALS framework in Real-Time Maude
Bae, Kyungmin

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 Physically-asynchronous logically-synchronous (PALS) system design and development
Physically-asynchronous logically-synchronous (PALS) system design and development
Al-Nayeem, Abdullah

Thumbnail for Pattern-based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Pattern-based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Al-Nayeem, Abdullah; Sha, Lui; Cofer, Darren D.; Miller, Steven M.

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 Development of Iridium-Based Gate Structure for Indium Aluminum Arsenide/indium Gallium Arsenide/indium Phosphide Enhancement-Mode and Depletion-Mode High Electron Mobility Transistors
Development of Iridium-Based Gate Structure for Indium Aluminum Arsenide/indium Gallium Arsenide/indium Phosphide Enhancement-Mode and Depletion-Mode High Electron Mobility Transistors
Kim, Seiyon

Thumbnail for Enabling smart city resilience: post-disaster response and structural health monitoring
Enabling smart city resilience: post-disaster response and structural health monitoring
Yoon, Hyungchul

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

Thumbnail for Proximity effect in Josephson junction arrays fabricated on topological insulators
Proximity effect in Josephson junction arrays fabricated on topological insulators
Bai, Yang

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 Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for Formal patterns for medical device safety
Formal patterns for medical device safety
Sun, Mu

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

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

Thumbnail for Korean middle- and high-school math teachers' understanding of formative assessment: an interview study
Korean middle- and high-school math teachers' understanding of formative assessment: an interview study
Lee, Sun Hee

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 Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for Thoughtful early childhood teachers: documentation as part of teaching
Thoughtful early childhood teachers: documentation as part of teaching
Kang, Jinju

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers
Security models in rewriting logic for cryptographic protocols and browsers
Sasse, Ralf