University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

Graduate Dissertations and Theses at Illinois 47
College of Engineering 45
Dept. of Computer Science 36
College of Fine and Applied Arts 3
College of Liberal Arts and Sciences 3
Summary of Engineering Research (1957-2008) 3
Dept. of Civil and Environmental Engineering 2
Dept. of Urban and Regional Planning 2
Research publications from UIUC 2
College of Agricultural, Consumer and Environmental Sciences (ACES) 1

Collection

Graduate Dissertations and Theses at Illinois 47
Dissertations and Theses - Computer Science 27
Research and Tech Reports - Computer Science 9
Summary of Engineering Research (2003-2008) 3
Dissertations and Theses - Civil and Environmental Engineering 2
Dissertations and Theses - Urban and Regional Planning 2
Research publications from the University of Illinois at Urbana-Champaign 2
Dissertations - Agricultural and Consumer Economics 1
Dissertations and Theses - Bioengineering 1
Dissertations and Theses - Chemistry 1

Author(s)

d'Amorim, Marcelo 5
Khurshid, Ahmed 4
Sobeih, Ahmed A. 4
Marinov, Darko 3
University of Illinois at Urbana-Champaign. College of Engineering 3
Mai, Haohui 2
Abdu Jyothi, Sangeetha 1
Ahsan, Shegufta Bakht 1
Akram, Mohammad 1
Al-Kodmany, M. Kheir Al-Din 1

Keyword(s)

Computer Science 3
Cloud Computing 2
Education, Higher 2
OpenFlow 2
Research and publications sponsored in the College of Engineering 2
Software Defined Networking 2
security 2
software-defined networking (SDN) 2
3D Tele-immersion 1
3D print 1

Type of Resource

text 39
Thesis 7

↑ ↓

Showing 1–30 of 61 items

1 (current)
2
3

Thumbnail for Monitoring and verifying network behavior using data-plane state

Monitoring and verifying network behavior using data-plane state

Khurshid, Ahmed

Thumbnail for Performance Evaluation of the Illinois Cloud Computing Testbed

Performance Evaluation of the Illinois Cloud Computing Testbed

Khurshid, Ahmed; Al-Nayeem, Abdullah; Gupta, Indranil

Thumbnail for Scaling Data-Plane Logging in Large Scale Networks

Scaling Data-Plane Logging in Large Scale Networks

Arefin, Md Ahsan; Khurshid, Ahmed; Caesar, Matthew; Nahrstedt, Klara

Thumbnail for Denial in DTNs

Denial in DTNs

Uddin, Md Yusuf Sarwar; Khurshid, Ahmed; Jung, Hee Dong; Carl Gunter

Thumbnail for Exploring design decisions for mutation testing

Exploring design decisions for mutation testing

Hariri, Farah

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 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 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 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 Evolution-aware runtime verification

Evolution-aware runtime verification

Legunsen, Owolabi

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for @tComment: testing Javadoc comments to detect comment-code inconsistencies

@tComment: testing Javadoc comments to detect comment-code inconsistencies

Tan, Shin Hwei

Thumbnail for Foundations for practical network verification

Foundations for practical network verification

Kheradmand, Ali

Thumbnail for New consistency orchestrators for emerging distributed systems

New consistency orchestrators for emerging distributed systems

Ahsan, Shegufta Bakht

Thumbnail for Building abstractions for fast, secure, reliable computer systems

Building abstractions for fast, secure, reliable computer systems

Mai, Haohui

Thumbnail for Guided synthesis of network behavior

Guided synthesis of network behavior

Zhou, Wenxuan

Thumbnail for Network flow optimization for distributed clouds

Network flow optimization for distributed clouds

Abdu Jyothi, Sangeetha

Thumbnail for Veriflow system analysis and optimization

Veriflow system analysis and optimization

Chen, Zhongbo

Thumbnail for Diagnose network failures via data-plane analysis

Diagnose network failures via data-plane analysis

Mai, Haohui

Thumbnail for Practical verification of network planes

Practical verification of network planes

Prabhu Muraleedhara Prabhu, Santhosh

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 Exploiting cost-performance tradeoffs for modern cloud systems

Exploiting cost-performance tradeoffs for modern cloud systems

Rahman, Muntasir Raihan

Thumbnail for Leveraging clustering for efficient communication in opportunistic networks

Leveraging clustering for efficient communication in opportunistic networks

Bakht, Mehedi

Thumbnail for Use of deterministic execution in testing and debugging of distributed software

Use of deterministic execution in testing and debugging of distributed software

Lin, Chia-Chi

Thumbnail for Assuring network service with bandwidth and integrity based fairness

Assuring network service with bandwidth and integrity based fairness

Khan, Fariba

Thumbnail for An attack model, language, and injector for the control plane of software-defined networks

An attack model, language, and injector for the control plane of software-defined networks

Ujcich, Benjamin E.

Thumbnail for Functional gel for directed molecular transport and sensor applications

Functional gel for directed molecular transport and sensor applications

Zhang, Shiyan

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 3D printing of biological machines for biology and medicine

3D printing of biological machines for biology and medicine

Chan, Vincent

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.

1 (current)
2
3

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 5 + 2?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)