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 31–60 of 703 items

1
2 (current)
3
4
5

Thumbnail for Does bilingualism confer perspective-taking advantages in language use?

Does bilingualism confer perspective-taking advantages in language use?

Ryskin, Rachel

Thumbnail for Migrating memories: Power and transcultural memory in contemporary South Asian fiction

Migrating memories: Power and transcultural memory in contemporary South Asian fiction

Young, Jessica K.

Thumbnail for Learning to Verify Branching Time Properties

Learning to Verify Branching Time Properties

Vardhan, Abhay; Viswanathan, Mahesh

Thumbnail for Dynamic analysis of Cyber-Physical Systems

Dynamic analysis of Cyber-Physical Systems

Duggirala, Parasara Sridhar

Thumbnail for Accelerating cerification of cyber-physical systems using symmetry

Accelerating cerification of cyber-physical systems using symmetry

Sibai, Hussein

Thumbnail for Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features

Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features

Qi, Bolun

Thumbnail for Continuous integration and testing for autonomous racing in simulation

Continuous integration and testing for autonomous racing in simulation

Jiang, Minghao

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 Computational analysis of planar wings designed for optimum span-load

Computational analysis of planar wings designed for optimum span-load

Ranjan, Prateek

Thumbnail for A study in digital prototyping and multidisciplinary design team collaboration

A study in digital prototyping and multidisciplinary design team collaboration

Batmunkh, Baigalmaa

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems

Approximation Based Safety and Stability Verification of Hybrid Systems

Prabhakar, Pavithra

Thumbnail for Health claims and consumer skepticism: The influencing effects of information type, sponsor reputation, and information channel

Health claims and consumer skepticism: The influencing effects of information type, sponsor reputation, and information channel

Caudill, Eve Martha

Thumbnail for Automatic simulation-driven reachability using matrix measures

Automatic simulation-driven reachability using matrix measures

Fan, Chuchu

Thumbnail for Prediction and experimental evaluation of planar wing spanloads for minimum drag

Prediction and experimental evaluation of planar wing spanloads for minimum drag

Wroblewski, Gabrielle E

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis

Scalable Automated Methods for Dynamic Program Analysis

Sen, Koushik

Thumbnail for Essays in corporate finance and corporate management

Essays in corporate finance and corporate management

Cunha, Igor

$Thumbnail for Probabilistic Büchi Automata for LTL\GU$

Probabilistic Büchi Automata for LTL\GU

Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Power of Randomization in Automata on Infinite Strings

Power of Randomization in Automata on Infinite Strings

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

Thumbnail for Entrepreneurial teaching in creating third spaces for experiential learning: a case study of two science teachers in low-income settings

Entrepreneurial teaching in creating third spaces for experiential learning: a case study of two science teachers in low-income settings

Koehler, Jeanne

Thumbnail for Mechanical and surface free energy characterization of asphalt concrete for moisture damage detection

Mechanical and surface free energy characterization of asphalt concrete for moisture damage detection

Abauwad, Ibrahim M.

Thumbnail for Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

"Aesthetics as resistance: rasa, dhvani, and empire in Tamil ""Protest"" drama"

Sundaram, Dheepa

Thumbnail for Development of diffusive optical imaging as a tool for studying the neurobiology of birdsong

Development of diffusive optical imaging as a tool for studying the neurobiology of birdsong

Lee, James

Thumbnail for Non-Deterministic Vehicle Simulation Tool

Non-Deterministic Vehicle Simulation Tool

Li, Rongzhou

Thumbnail for Categorization and Sensory Profiling of Functional Beverages

Categorization and Sensory Profiling of Functional Beverages

Tamamoto, Lauren Chiemi

Thumbnail for Locally Optimal Reach Set Over-approximation for Nonlinear Systems

Locally Optimal Reach Set Over-approximation for Nonlinear Systems

Fan, Chuchu; Kapinski, James; Jin, Xiaoqing; Mitra, Sayan

Thumbnail for A two-level path planning and monitoring architecture for real-world autonomous driving systems

A two-level path planning and monitoring architecture for real-world autonomous driving systems

Liu, Tianqi

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Querying Streaming XML Using Visibly Pushdown Automata

Querying Streaming XML Using Visibly Pushdown Automata

Clark, Robert

Thumbnail for Verification of Randomized Security Protocols

Verification of Randomized Security Protocols

Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh

1
2 (current)
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 0 + 7?

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