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

1
2 (current)
3
4
5

Thumbnail for On Safety Properties and Their Monitoring

On Safety Properties and Their Monitoring

Rosu, Grigore

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance

On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance

Hills, Mark; Rosu, Grigore

Thumbnail for MOP: Reliable Software Development using Abstract Aspects

MOP: Reliable Software Development using Abstract Aspects

Chen, Feng; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Type Inference

A Rewriting Logic Approach to Type Inference

Ellison, Chucky M.; Serbanuta, Traian Florin; Rosu, Grigore

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 A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore

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 Matching Logic: A Logic for Structural Reasoning

Matching Logic: A Logic for Structural Reasoning

Rosu, Grigore

Thumbnail for Matching Logic Explained

Matching Logic Explained

Chen, Xiaohong; Lucanu, Dorel; Rosu, Grigore

Thumbnail for Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for KOOL: A K-based Object-Oriented Language

KOOL: A K-based Object-Oriented Language

Hills, Mark; Rosu, Grigore

Thumbnail for Parametric Trace Slicing and Monitoring

Parametric Trace Slicing and Monitoring

Rosu, Grigore; Chen, Feng

Thumbnail for A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages

Chen, Feng; Hills, Mark; Rosu, Grigore

Thumbnail for Predictive Runtime Analysis of Multithreaded Programs

Predictive Runtime Analysis of Multithreaded Programs

Chen, Feng; Rosu, Grigore

Thumbnail for MOP: An Efficient and Generic Runtime Verification Framework

MOP: An Efficient and Generic Runtime Verification Framework

Chen, Feng; Rosu, Grigore

Thumbnail for Runtime Verification of C Memory Safety

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for Maximal Causal Models for Multithreaded Systems

Maximal Causal Models for Multithreaded Systems

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Defining the Undefinedness of C

Defining the Undefinedness of C

Ellison, Chucky M.; Rosu, Grigore

Thumbnail for Maximal Causal Models for Multithreaded Systems

Maximal Causal Models for Multithreaded Systems

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Equality of Streams is a Π02-Complete Problem

Equality of Streams is a Π02-Complete Problem

Rosu, Grigore

Thumbnail for A K Definition of Scheme

A K Definition of Scheme

Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for From Conditional to Unconditional Rewriting

From Conditional to Unconditional Rewriting

Rosu, Grigore

Thumbnail for A Formal Rewriting Logic Semantic Definition of Scheme

A Formal Rewriting Logic Semantic Definition of Scheme

Meredith, Patrick O'Neil; Hills, Mark; Rosu, Grigore

Thumbnail for Automatic and Precise Dimensional Analysis

Automatic and Precise Dimensional Analysis

d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for Runtime Verification of C Memory Safety

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for KBoogie: A Formal Semantics for Boogie

KBoogie: A Formal Semantics for Boogie

Rodrigues, Nishant; Poulsen, Seth; Rosu, Grigore • 2024

Thumbnail for K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation - Version 2 -

K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation - Version 2 -

Rosu, Grigore

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 + 4?

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