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 9
Dept. of Computer Science 9

Collection

Research and Tech Reports - Computer Science 7
Whitepapers - Computer Science 2

Author(s)

Rosu, Grigore 5
Moore, Brandon 4
Stefanescu, Andrei 4
Roşu, Grigore 3
Ciobaca, Stefan 2
Filaretti, Daniele 2
Guth, Dwight 2
Johnson, Ralph 2
Kasampalis, Theodoros 2
Serbanuta, Traian 2

Keyword(s)

matching logic 3
K 2
Matching logic 2
Operational semantics 2
Program verification 2
blockchain 2
compiler 2
formal semantics 2
programming language design 2
reachability logic 2

Type of Resource

text 9

↑ ↓

Showing 1–9 of 9 items

Thumbnail for Reachability Logic

Reachability Logic

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

Thumbnail for Reachability Logic in K

Reachability Logic in K

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

Thumbnail for Variants of Variants and the Finite Variant Property

Variants of Variants and the Finite Variant Property

Cholewa, Andrew; Meseguer, José; Escobar, Santiago

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for Checking Reachability using Matching Logic

Checking Reachability using Matching Logic

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Checking Reachability using Matching Logic

Checking Reachability using Matching Logic

Rosu, Grigore; Stefanescu, Andrei

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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