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 61–90 of 215 items

1
2
3 (current)
4
5

Thumbnail for An Executable Formal Semantics of C with Applications: Technical Report

An Executable Formal Semantics of C with Applications: Technical Report

Ellison, Chucky M.; Rosu, Grigore

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

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

Rosu, Grigore

Thumbnail for From Hoare Logic to Matching Logic Reachability

From Hoare Logic to Matching Logic Reachability

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Technical Report: Decidable Fragments of Matching Logic

Technical Report: Decidable Fragments of Matching Logic

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for KRAM--Extended Report

KRAM--Extended Report

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

Thumbnail for An Equational Specification for the Scheme Language

An Equational Specification for the Scheme Language

d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Mining Parametric Specifications

Mining Parametric Specifications

Lee, Choonghwan; Chen, Feng; Rosu, Grigore

Thumbnail for The Rewriting Logic Semantics Project

The Rewriting Logic Semantics Project

Meseguer, José; Rosu, Grigore

Thumbnail for Term-Generic Logic

Term-Generic Logic

Popescu, Andrei; 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 Mining Parametric State-Based Specifications from Executions

Mining Parametric State-Based Specifications from Executions

Chen, Feng; Rosu, Grigore

Thumbnail for Maximal Causal Models for Sequentially Consistent Multithreaded Systems

Maximal Causal Models for Sequentially Consistent Multithreaded Systems

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

Thumbnail for Term-Generic Logic

Term-Generic Logic

Popescu, Andrei; Rosu, Grigore

Thumbnail for From Rewriting Logic Executable Semantics to Matching Logic Program Verification

From Rewriting Logic Executable Semantics to Matching Logic Program Verification

Rosu, Grigore; Ellison, Chucky M.; Schulte, Wolfram

Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for Predicting Concurrency Errors at Runtime using Sliced Causality

Predicting Concurrency Errors at Runtime using Sliced Causality

Chen, Feng; Rosu, Grigore

Thumbnail for Mining Parametric State-Based Specifications from Executions

Mining Parametric State-Based Specifications from Executions

Chen, Feng; Rosu, Grigore

Thumbnail for Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis--

Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis--

Rosu, Grigore; Bensalem, Saddek

Thumbnail for Scalable Parametric Runtime Monitoring

Scalable Parametric Runtime Monitoring

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

Thumbnail for Efficient Monitoring of ω-languages

Efficient Monitoring of ω-languages

d'Amorim, Marcelo; Rosu, Grigore

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for Parametric and Sliced Causality

Parametric and Sliced Causality

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 Behavioral Extensions of Institutions

Behavioral Extensions of Institutions

Popescu, Andrei; Rosu, Grigore

Thumbnail for Parametric and Termination-Sensitive Control Dependence

Parametric and Termination-Sensitive Control Dependence

Chen, Feng; Rosu, Grigore

Thumbnail for Matching Logic - Extended Report

Matching Logic - Extended Report

Rosu, Grigore; Schulte, Wolfram

Thumbnail for Matching Logic - Extended Report

Matching Logic - Extended Report

Rosu, Grigore; Schulte, Wolfram

Thumbnail for GFOL: A Term-Generic Logic for Defining Lambda-Calculi

GFOL: A Term-Generic Logic for Defining Lambda-Calculi

Popescu, Andrei; Rosu, Grigore

Thumbnail for Term-Generic First-Order Logic

Term-Generic First-Order Logic

Papescu, Andrei; Rosu, Grigore

Thumbnail for Reachability Logic in K

Reachability Logic in K

Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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