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 202
Dept. of Computer Science 192
Graduate Dissertations and Theses at Illinois 65
Summary of Engineering Research (1957-2008) 6
College of Liberal Arts and Sciences 4
Dept. of History 3
Coordinated Science Laboratory 2
Dept. of Electrical and Computer Engineering 2
College of Education 1
Dept. of English 1

Collection

Research and Tech Reports - Computer Science 133
Graduate Dissertations and Theses at Illinois 65
Dissertations and Theses - Computer Science 56
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - History 3
Whitepapers - Computer Science 3
Report - Coordinated Science Laboratory 2
Dissertations and Theses - Education 1
Dissertations and Theses - English 1
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Rosu, Grigore 107
Chen, Feng 29
Chen, Xiaohong 17
Serbanuta, Traian Florin 17
Hills, Mark 12
Roşu, Grigore 12
Meredith, Patrick O'Neil 9
Jin, Dongyun 8
Ellison, Chucky M. 7
Rodrigues, Nishant 7

Keyword(s)

computer science 36
Computer Science 20
programming languages 20
matching logic 10
formal semantics 7
rewriting logic 7
Hoare logic 5
Program verification 5
Research and publications sponsored in the College of Engineering 5
Formal Methods 4

Type of Resource

text 179
Thesis 11
image 1

↑ ↓

Showing 91–120 of 215 items

2
3
4 (current)
5
6

Thumbnail for Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Technical Report: A Logical Treatment

Technical Report: A Logical Treatment

Rodrigues, Nishant; Sebe, Mircea Octavian; Chen, Xiaohong; Rosu, Grigore • 2024

Thumbnail for End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

Park, Daejun; Zhang, Yi; Roşu, Grigore

Thumbnail for Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for Predicting Concurrency Errors at Runtime using Sliced Causality

Predicting Concurrency Errors at Runtime using Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for Mining Parametric Specifications

Mining Parametric Specifications

Chen, Feng; Lee, Choonghwan; 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 A Semantic Approach to Interpolation

A Semantic Approach to Interpolation

Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Reachability Logic

Reachability Logic

Rosu, Grigore; Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon

Thumbnail for Towards Effectively Eliminating Conditional Rewrite Rules

Towards Effectively Eliminating Conditional Rewrite Rules

Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Hills, Mark; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Synthesizing Monitors for Safety Properties - This Time With Calls and Returns -

Rosu, Grigore; Chen, Feng; Ball, Thomas

Thumbnail for A Formal Executable Semantics of Verilog

A Formal Executable Semantics of Verilog

Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for A Logical Treatment of Finite Automata

A Logical Treatment of Finite Automata

Rodrigues, Nishant; Sebe, Octavian Mircea; Chen, Xiaohong; Rosu, Grigore • 2024

Thumbnail for An Executable Semantic Definition of the Beta Language using Rewriting Logic

An Executable Semantic Definition of the Beta Language using Rewriting Logic

Hills, Mark; Aktemur, T. Baris; Rosu, Grigore

Thumbnail for Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Sen, Koushik; Rosu, Grigore; Agha, Gul A.

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, expressive, and effective runtime verification

Efficient, expressive, and effective runtime verification

Meredith, Patrick

Thumbnail for A rewriting approach to concurrent programming language design and semantics

A rewriting approach to concurrent programming language design and semantics

Serbanuta, Traian Florin

Thumbnail for Pluggable Policies for C

Pluggable Policies for C

Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for Closing the gap in the LLVM backend of K

Closing the gap in the LLVM backend of K

Abir, Michael

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 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 Matching μ-Logic

Matching μ-Logic

Chen, Xiaohong; Roşu, Grigore

Thumbnail for Semantics of low-level languages

Semantics of low-level languages

Miranti, Andrew

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for A modular rewriting approach to language design, evolution and analysis

A modular rewriting approach to language design, evolution and analysis

Hills, Mark

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 A Rewriting Logic Approach to Defining Type Systems

A Rewriting Logic Approach to Defining Type Systems

Ellison, Chucky M.

2
3
4 (current)
5
6

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 5?

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