University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 44 items
Thumbnail for Congruences for Visibly Pushdown Languages
Congruences for Visibly Pushdown Languages
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh

Thumbnail for Dynamic analysis of Cyber-Physical Systems
Dynamic analysis of Cyber-Physical Systems
Duggirala, Parasara Sridhar

Thumbnail for Automatic techniques for proving correctness of heap-manipulating programs
Automatic techniques for proving correctness of heap-manipulating programs
Qiu, Xiaokang

Thumbnail for Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Meseguer, José; Sharykin, Raman

Thumbnail for Complexity bounds for the verification of real-time software
Complexity bounds for the verification of real-time software
Chadha, Rohit; Legay, Axel; Prabhakar, Pavithra; Viswanathan, Mahesh

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

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 A Decidable Class of Planar Linear Hybrid Systems
A Decidable Class of Planar Linear Hybrid Systems
Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E.

Thumbnail for Formalizing operator task analysis
Formalizing operator task analysis
Yasmeen, Ayesha

Thumbnail for Strategy Logic extended with Refinement, CGS, and Nondeterminism
Strategy Logic extended with Refinement, CGS, and Nondeterminism
Griffith, Dennis; Gunter, Elsa L.

Thumbnail for Probabilistic Büchi Automata for LTL\GU
Probabilistic Büchi Automata for LTL\GU
Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Learning-based inductive invariant synthesis
Learning-based inductive invariant synthesis
Garg, Pranav

Thumbnail for Verification and Performance of the DeNovo cache coherence protocol
Verification and Performance of the DeNovo cache coherence protocol
Komuravelli, Rakesh

Thumbnail for Optimal Translation of LTL to Limit Deterministic Automata
Optimal Translation of LTL to Limit Deterministic Automata
Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Exploiting software information for an efficient memory hierarchy
Exploiting software information for an efficient memory hierarchy
Komuravelli, Rakesh

Thumbnail for Separation of distributed coordination and control for programming reliable robotics
Separation of distributed coordination and control for programming reliable robotics
Ghosh, Ritwika

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

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

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
Liu, Si

Thumbnail for Actor programming with static guarantees
Actor programming with static guarantees
Charalambides, Minas

Thumbnail for Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Low complexity system architecture design for medical Cyber-Physical-Human Systems (CPHS)
Wu, Po-Liang

Thumbnail for Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies
Modeling Insecurity: Enabling Recovery-Oriented Security with Dynamic Policies
Naldurg, Prasad G.

Thumbnail for Models for Privacy in Ubiquitous Computing Environments
Models for Privacy in Ubiquitous Computing Environments
Kapadia, Apu C.

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Farzan, Azadeh

Thumbnail for Effective architectural support for detecting concurrency bugs
Effective architectural support for detecting concurrency bugs
Muzahid, Abdullah

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

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Farzan, Azadeh

Thumbnail for Scalable and flexible bulk architecture
Scalable and flexible bulk architecture
Qian, Xuehai

Thumbnail for Models for Privacy in Ubiquitous Computing Environments
Models for Privacy in Ubiquitous Computing Environments
Kapadia, Apu Chandrasen

Thumbnail for Validation and optimization of analog circuits using randomized search algorithms
Validation and optimization of analog circuits using randomized search algorithms
Ahmadyan, Seyed Nematollah