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

College of Engineering 37
Dept. of Computer Science 36
Graduate Dissertations and Theses at Illinois 22
Dept. of Mechanical Science and Engineering 1

Collection

Dissertations and Theses - Computer Science 22
Graduate Dissertations and Theses at Illinois 22
Research and Tech Reports - Computer Science 14
Dissertations and Theses - Mechanical Science and Engineering 1

Author(s)

Rosu, Grigore 11
Jin, Dongyun 8
Meredith, Patrick O'Neil 7
Chen, Feng 5
Chen, Xiaohong 2
Hills, Mark 2
Lee, Choonghwan 2
Lin, Zhengyao 2
Meredith, Patrick 2
Trinh, Minh-Thai 2

Keyword(s)

runtime verification 6
Runtime Monitoring 3
Runtime Verification 3
computer science 3
Computer Science 2
K 2
Monitoring 2
Program verification 2
Proof generation 2
Scalability 2

Type of Resource

text 22
Thesis 1

↑ ↓

Showing 1–30 of 37 items

1 (current)
2

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Scalable Parametric Runtime Monitoring

Scalable Parametric Runtime Monitoring

Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Meredith, Patrick O'Neil; Jin, Dongyun; Rosu, Grigore

Thumbnail for Towards Categorizing and Formalizing the JDK API

Towards Categorizing and Formalizing the JDK API

Lee, Choonghwan; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Garbage Collection for Monitoring Parametric Properties

Garbage Collection for Monitoring Parametric Properties

Jin, Dongyun; Meredith, Patrick O'Neil; Griffith, Dennis; Rosu, Grigore

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for Efficient Monitoring of Parametric Context Free Patterns

Efficient Monitoring of Parametric Context Free Patterns

Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore

Thumbnail for Testing, runtime verification, and analysis of concurrent programs

Testing, runtime verification, and analysis of concurrent programs

Luo, Qingzhou

Thumbnail for Efficient Parametric Runtime Verification with Deterministic String Rewriting

Efficient Parametric Runtime Verification with Deterministic String Rewriting

Meredith, Patrick; Rosu, Grigore

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Efficient, expressive, and effective runtime verification

Efficient, expressive, and effective runtime verification

Meredith, Patrick

Thumbnail for ROSRV: runtime verification for the Robot Operating System

ROSRV: runtime verification for the Robot Operating System

Erdogan, Cansu

Thumbnail for Making Formal Verification Trustworthy via Proof Generation

Making Formal Verification Trustworthy via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Preparation-free and comprehensive runtime verification tool for testing Java programs

Preparation-free and comprehensive runtime verification tool for testing Java programs

Lee, Choonghwan

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Sorrentino, Francesco

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

Thumbnail for Trustworthy Program Verification via Proof Generation

Trustworthy Program Verification via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Multi-Stream Management for Supporting Multi-Party 3D Tele-Immersive Environments

Multi-Stream Management for Supporting Multi-Party 3D Tele-Immersive Environments

Yang, Zhenyu

Thumbnail for Lifted Inference for Relational Hybrid Models

Lifted Inference for Relational Hybrid Models

Choi, Jaesik

Thumbnail for Formalizing operator task analysis

Formalizing operator task analysis

Yasmeen, Ayesha

Thumbnail for Impact of the van der Waals interface on the mechanics of 2D nanoelectromechanical systems

Impact of the van der Waals interface on the mechanics of 2D nanoelectromechanical systems

Kim, Sunphil

Thumbnail for Friendsourcing to detect network manipulation

Friendsourcing to detect network manipulation

Shankesi, Ravinder

Thumbnail for Multi-Stream Management for Supporting Multi-Party Three-Dimensional Tele-Immersive Environments

Multi-Stream Management for Supporting Multi-Party Three-Dimensional Tele-Immersive Environments

Yang, Zhenyu

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems

Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems

Ham, MyungJoo

Thumbnail for Formal patterns for medical device safety

Formal patterns for medical device safety

Sun, Mu

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 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)