University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–27 of 27 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 Adel

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 Incremental State Space Exploration in J-Sim
Incremental State Space Exploration in J-Sim
Sobeih, Ahmed A.; Lauterburg, Steven

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 Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics
Bounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics
Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

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 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 VRing: A Ring-based Application-Layer Multicast Protocol
VRing: A Ring-based Application-Layer Multicast Protocol
Sobeih, Ahmed A.; Yurcik, William; Hou, Jennifer C.

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 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 Onion (Allium cepa L.) seed aging and plant regeneration in vitro
Onion (Allium cepa L.) seed aging and plant regeneration in vitro
Mohamed-Yasseen, Yasseen

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 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 Detecting and Mitigating Denial-of-Service Attacks on Voice over IP Networks
Detecting and Mitigating Denial-of-Service Attacks on Voice over IP Networks
Anwar, Zahid; Potter, Shaya; Narayanaswami, Chandra; Yurcik, William; Gunter, Carl A.; Campbell, Roy H.

Thumbnail for Improved regression testing of multithreaded programs
Improved regression testing of multithreaded programs
Jagannath, Vilas

Thumbnail for Hypoxic immunomodulation results in increased disease risk and altered behavior via non-canonical pathways
Hypoxic immunomodulation results in increased disease risk and altered behavior via non-canonical pathways
Gainey, Stephen Joseph

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

Thumbnail for Localized Topology Control in Wireless Networks
Localized Topology Control in Wireless Networks
Li, Ning

Thumbnail for A Data-Quality Driven Framework for Data Dissemination in Wireless Sensor Networks
A Data-Quality Driven Framework for Data Dissemination in Wireless Sensor Networks
Chen, Wei-Peng

Thumbnail for Localized Topology Control in Wireless Networks
Localized Topology Control in Wireless Networks
Li, Ning

Thumbnail for A Data-Quality Driven Framework for Data Dissemination in Wireless Sensor Networks
A Data-Quality Driven Framework for Data Dissemination in Wireless Sensor Networks
Chen, Wei-Peng

Thumbnail for Enabling Theoretical Model Based Techniques for Simulating Large Scale Networks
Enabling Theoretical Model Based Techniques for Simulating Large Scale Networks
Kim, Hwangnam

Thumbnail for Enabling Theoretical Model Based Techniques for Simulating Large Scale Networks
Enabling Theoretical Model Based Techniques for Simulating Large Scale Networks
Kim, Hwangnam

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

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