University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–12 of 12 items
Thumbnail for Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
d'Amorim, Marcelo

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data
Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data
d'Amorim, Marcelo

Thumbnail for An Equational Specification for the Scheme Language
An Equational Specification for the Scheme Language
d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Efficient Monitoring of ω-languages
Efficient Monitoring of ω-languages
d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Optimized Execution of Deterministic Blocks in Java PathFinder
Optimized Execution of Deterministic Blocks in Java PathFinder
d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko

Thumbnail for Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software
Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software
Chen, Feng; d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Automatic and Precise Dimensional Analysis
Automatic and Precise Dimensional Analysis
d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
d'Amorim, Marcelo; Lauterburg, Steven; Marinov, Darko

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.

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

Thumbnail for The Summary of Engineering Research 2006
The Summary of Engineering Research 2006
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