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 31
Dept. of Computer Science 31
Graduate Dissertations and Theses at Illinois 5

Collection

Research and Tech Reports - Computer Science 25
Dissertations and Theses - Computer Science 6
Graduate Dissertations and Theses at Illinois 5

Author(s)

Rosu, Grigore 25
Hills, Mark 12
Chen, Feng 5
Meredith, Patrick O'Neil 4
Popescu, Andrei 4
Serbanuta, Traian Florin 4
Jin, Dongyun 3
Meseguer, José 3
Meredith, Patrick 2
Aktemur, T. Baris 1

Keyword(s)

computer science 11
programming languages 10
rewriting logic 3
rewriting logic semantics 3
runtime verification 3
Runtime Monitoring 2
aspect-oriented programming 2
language prototyping 2
language semantics 2
program analysis 2

Type of Resource

text 26

↑ ↓

Showing 1–30 of 31 items

1 (current)
2

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 Modular Rewriting Approach to Language Design, Evolution and Analysis

A Modular Rewriting Approach to Language Design, Evolution and Analysis

Hills, Mark

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 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 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 A K Definition of Scheme

A K Definition of Scheme

Meredith, Patrick O'Neil; Hills, Mark; 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 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 Behavioral Extensions of Institutions

Behavioral Extensions of Institutions

Popescu, Andrei; 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 Pluggable Policies for C

Pluggable Policies for C

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 The Rewriting Logic Semantics Project

The Rewriting Logic Semantics Project

Meseguer, José; Rosu, Grigore

Thumbnail for Term-Generic First-Order Logic

Term-Generic First-Order Logic

Papescu, Andrei; Rosu, Grigore

Thumbnail for Predictive Runtime Analysis of Multithreaded Programs

Predictive Runtime Analysis of Multithreaded Programs

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 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 GFOL: A Term-Generic Logic for Defining Lambda-Calculi

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

Popescu, Andrei; Rosu, Grigore

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

KOOL: A K-based Object-Oriented Language

Hills, Mark; Rosu, Grigore

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 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 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 Making runtime monitoring of parametric properties practical

Making runtime monitoring of parametric properties practical

Jin, Dongyun

Thumbnail for Term-Generic Logic

Term-Generic Logic

Popescu, Andrei; Rosu, Grigore

Thumbnail for Term-Generic Logic

Term-Generic Logic

Popescu, Andrei; Rosu, Grigore

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

Thumbnail for Efficient, expressive, and effective runtime verification

Efficient, expressive, and effective runtime verification

Meredith, Patrick

Thumbnail for A formal semantics of C with applications

A formal semantics of C with applications

Ellison, Charles

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

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 0?

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