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 34
Dept. of Computer Science 34
Graduate Dissertations and Theses at Illinois 16
College of Liberal Arts and Sciences 3
Dept. of History 2
Dept. of Entomology 1
School of Integrative Biology 1

Collection

Research and Tech Reports - Computer Science 18
Graduate Dissertations and Theses at Illinois 16
Dissertations and Theses - Computer Science 13
Whitepapers - Computer Science 3
Dissertations and Theses - History 2
Dissertations and Theses - Entomology 1

Author(s)

Rosu, Grigore 13
Stefanescu, Andrei 7
Moore, Brandon 4
Roşu, Grigore 4
Chen, Xiaohong 3
Guth, Dwight 3
Ciobaca, Stefan 2
Filaretti, Daniele 2
Johnson, Ralph 2
Kasampalis, Theodoros 2

Keyword(s)

Hoare logic 5
Operational semantics 4
Program verification 4
matching logic 4
rewriting logic 4
Matching logic 3
Partial correctness 3
Relative completeness 3
reachability logic 3
K 2

Type of Resource

text 33

↑ ↓

Showing 1–30 of 37 items

1 (current)
2

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 Checking Reachability using Matching Logic

Checking Reachability using Matching Logic

Rosu, Grigore; Stefanescu, Andrei

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

Towards a Unified Theory of Operational and Axiomatic Semantics

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 A Constructor-Based Reachability Logic for Rewrite Theories

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José

Thumbnail for From Hoare Logic to Matching Logic Reachability

From Hoare Logic to Matching Logic Reachability

Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Reachability Logic in K

Reachability Logic in K

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

Thumbnail for Reachability Logic

Reachability Logic

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

Thumbnail for Toward language-independent program verification

Toward language-independent program verification

Ștefănescu, Andrei

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 Disciplining the future. Eugenics and modernization in interwar Romania

Disciplining the future. Eugenics and modernization in interwar Romania

Bucur, Maria

Thumbnail for Rule-based optimization with K-framework

Rule-based optimization with K-framework

Seo, Seokje

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 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 Automated deductive verification of systems software

Automated deductive verification of systems software

Pek, Edgar

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for LTL Model Checking in Matching Logic

LTL Model Checking in Matching Logic

Tusil, Jan; Chen, Xiaohong

Thumbnail for Generalized Rewrite Theories, Coherence Completion and Symbolic Methods

Generalized Rewrite Theories, Coherence Completion and Symbolic Methods

Meseguer, José

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

Thumbnail for Learning-based inductive invariant synthesis

Learning-based inductive invariant synthesis

Garg, Pranav

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Effects of fragmentation and invasion on ant communities

Effects of fragmentation and invasion on ant communities

Achury Morales, Rafael Andres

Thumbnail for Rewriting-based symbolic methods for distributed system verification

Rewriting-based symbolic methods for distributed system verification

Skeirik, Stephen

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 3 + 1?

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