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 543
College of Engineering 372
Dept. of Computer Science 162
College of Liberal Arts and Sciences 141
Dept. of Electrical and Computer Engineering 66
Dept. of Chemistry 64
College of Business 52
Dept. of Business Administration 44
Dept. of Mechanical Science and Engineering 25
College of Agricultural, Consumer and Environmental Sciences (ACES) 24

Collection

Graduate Dissertations and Theses at Illinois 543
Research and Tech Reports - Computer Science 84
Dissertations and Theses - Computer Science 77
Dissertations and Theses - Chemistry 64
Dissertations and Theses - Electrical and Computer Engineering 62
Dissertations and Theses - Business Administration 44
Dissertations and Theses - Mechanical Science and Engineering 25
Dissertations and Theses - Materials Science and Engineering 23
Dissertations and Theses - Civil and Environmental Engineering 21
Dissertations and Theses - Chemical and Biomolecular Engineering 19

Author(s)

Viswanathan, Mahesh 24
Meseguer, José 13
Rosu, Grigore 11
Chadha, Rohit 7
Agha, Gul A. 6
Liu, Si 6
Brown, Eric N. 5
Sen, Koushik 5
University of Illinois at Urbana-Champaign. College of Engineering 5
White, Scott R. 5

Keyword(s)

Engineering, Electronics and Electrical 29
Computer Science 25
computer science 24
Engineering, Materials Science 18
Business Administration, Marketing 17
Engineering, Mechanical 8
Chemistry, Analytical 7
Engineering, Civil 6
Maude 6
Formal Methods 5

Type of Resource

text 516
Thesis 47
Text 2
other 2
Image 1
Other 1

↑ ↓

Showing 61–90 of 703 items

1
2
3 (current)
4
5

Thumbnail for Incremental State Space Exploration in J-Sim

Incremental State Space Exploration in J-Sim

Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

Formal methods for safe autonomy: Data-driven verification, synthesis, and applications

Fan, Chuchu

Thumbnail for Angiotensin II Modulation of NMDA Receptor Function: Characterization of Mechanisms Attenuating Excitotoxicity in Neurons

Angiotensin II Modulation of NMDA Receptor Function: Characterization of Mechanisms Attenuating Excitotoxicity in Neurons

Schelman, William Russell

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 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 Optimal Translation of LTL to Limit Deterministic Automata

Optimal Translation of LTL to Limit Deterministic Automata

Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study

Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study

Potok, Matthew

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 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 Verification of linear-time properties for finite probabilistic systems

Verification of linear-time properties for finite probabilistic systems

Kini, Dileep Raghunath

Thumbnail for Specifications for Decidable Hybrid Automata and Games

Specifications for Decidable Hybrid Automata and Games

Vladimerou, Vladimeros

Thumbnail for Understanding how consumers navigate relationships within communities: Two essays

Understanding how consumers navigate relationships within communities: Two essays

Arias, Robert Alfonso

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 Aria Forms and Chorus Textures in Bach's Early Cantatas: The Influences of Neumeister, Telemann, and Rosenmueller

Aria Forms and Chorus Textures in Bach's Early Cantatas: The Influences of Neumeister, Telemann, and Rosenmueller

Metzler, Patrizia

Thumbnail for PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Agha, Gul A.; Meseguer, José; Sen, Koushik

Thumbnail for Direct ink writing of microvascular networks

Direct ink writing of microvascular networks

Wu, Willie

Thumbnail for Automaticity and Control in the Effect of Arousal on Persuasion

Automaticity and Control in the Effect of Arousal on Persuasion

Riemer, Hila

Thumbnail for The cardiovascular effects of the pharmacological interruption of the brain renin-angiotensin system in Dahl salt-induced hypertension

The cardiovascular effects of the pharmacological interruption of the brain renin-angiotensin system in Dahl salt-induced hypertension

Lark, Lisa Anne

Thumbnail for The encoding and utilization of magnitudes of product attributes : an investigation using numerical and verbal information / 1992:105

The encoding and utilization of magnitudes of product attributes : an investigation using numerical and verbal information / 1992:105

Viswanathan, Madhubalan; Childers, Terry L.

Thumbnail for Development of Self -Healing Polymer Composites and Photoinduced Ring -Opening Metathesis Polymerization

Development of Self -Healing Polymer Composites and Photoinduced Ring -Opening Metathesis Polymerization

Sriram, Suresh Ranganathan

Thumbnail for LAS: Aquatic Toxicity and Biodegradation

LAS: Aquatic Toxicity and Biodegradation

Morrow, Debra; Piwoni, Marvin D.

Thumbnail for Conformance Testing and Error Explanation for Software Models

Conformance Testing and Error Explanation for Software Models

Kumar, Viraj

Thumbnail for Stocks, bonds and volatility in financial markets

Stocks, bonds and volatility in financial markets

Lee, Jae Hoon

Thumbnail for On Statistical Model Checking of Stochastic Systems

On Statistical Model Checking of Stochastic Systems

Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

Thumbnail for Diurnal Variations in Transpiration and Root Metabolism in Maize

Diurnal Variations in Transpiration and Root Metabolism in Maize

Long, Raymond Carl

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 Software tools for scenario verification of autonomous systems exploiting dynamical symmetries

Software tools for scenario verification of autonomous systems exploiting dynamical symmetries

Li, Yangge

Thumbnail for Examining the perceptions of diabetes risk factors among Congolese immigrants in Illinois

Examining the perceptions of diabetes risk factors among Congolese immigrants in Illinois

Tshiswaka, Daudet Ilunga

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems

Probabilistic Modeling and Verification of Large Scale Systems

Kwon, YoungMin

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 6?

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