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 1–30 of 215 items

1 (current)
2
3
4
5

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for CS322 Fall 2003: Programming Language Design -Lecture Notes-

CS322 Fall 2003: Programming Language Design -Lecture Notes-

Rosu, Grigore

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for An Overview of the K Semantic Framework

An Overview of the K Semantic Framework

Rosu, Grigore

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics

Towards a Unified Theory of Operational and Axiomatic Semantics

Rosu, Grigore

Thumbnail for From Hoare Logic to Matching Logic

From Hoare Logic to Matching Logic

Rosu, Grigore

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics — Extended Abstract

Towards a Unified Theory of Operational and Axiomatic Semantics — Extended Abstract

Rosu, Grigore

Thumbnail for Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework

Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework

Rosu, Grigore

Thumbnail for Program Verification by Coinduction

Program Verification by Coinduction

Rosu, Grigore; Moore, Brandon

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Hyperproperties in Matching Logic

Hyperproperties in Matching Logic

Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation

An Interactive Theorem Prover for Matching Logic with Proof Object Generation

Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Towards a Unified Theory of Operational and Axiomatic Semantics

Towards a Unified Theory of Operational and Axiomatic Semantics

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Checking Reachability using Matching Logic

Checking Reachability using Matching Logic

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs

Luo, Qingzhou; Rosu, Grigore

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version

K: A Rewriting-Based Framework for Computations -- Preliminary version

Rosu, Grigore

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems

Maximal Causal Models for Sequentially Consistent Systems

Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Checking Reachability using Matching Logic

Checking Reachability using Matching Logic

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Efficient Parametric Runtime Verification with Deterministic String Rewriting

Efficient Parametric Runtime Verification with Deterministic String Rewriting

Meredith, Patrick; Rosu, Grigore

Thumbnail for On Compiling Rewriting Logic Language Definitions into Competitive Interpreters

On Compiling Rewriting Logic Language Definitions into Competitive Interpreters

Ilseman, Michael; Ellison, Chucky M.; Rosu, Grigore

Thumbnail for An Effective Algorithm for the Membership Problem for Extended Regular Expressions

An Effective Algorithm for the Membership Problem for Extended Regular Expressions

Rosu, Grigore

Thumbnail for Formal semantics of hybrid automata

Formal semantics of hybrid automata

Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore

Thumbnail for Circular Coinduction: A Proof Theoretical Foundation

Circular Coinduction: A Proof Theoretical Foundation

Rosu, Grigore; Lucanu, Dorel

Thumbnail for A Formal Semantics of C with Applications: Technical Report

A Formal Semantics of C with Applications: Technical Report

Ellison, Chucky M.; Rosu, Grigore

Thumbnail for Circular Coinduction: A Proof Theoretical Foundation

Circular Coinduction: A Proof Theoretical Foundation

Rosu, Grigore; Lucanu, Dorel

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version --

K: A Rewriting-Based Framework for Computations -- Preliminary version --

Rosu, Grigore

Thumbnail for Systematic Concurrency Testing with Maximal Causality

Systematic Concurrency Testing with Maximal Causality

Luo, Qingzhou; Huang, Jeff; Rosu, Grigore

Thumbnail for Circular Coinduction with Special Contexts

Circular Coinduction with Special Contexts

Lucanu, Dorel; Rosu, Grigore

Thumbnail for A Rewriting Based Approach to OO Language Prototyping and Design

A Rewriting Based Approach to OO Language Prototyping and Design

Hills, Mark; Rosu, Grigore

Thumbnail for Computationally Equivalent Elimination of Conditions

Computationally Equivalent Elimination of Conditions

Serbanuta, Traian Florin; Rosu, Grigore

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 3?

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