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

Research publications from UIUC 46
Graduate Dissertations and Theses at Illinois 39
College of Engineering 37
Dept. of Computer Science 33
College of Liberal Arts and Sciences 13
Dept. of Germanic Languages and Literatures 6
Publications - School of Information Sciences 3
School of Information Sciences 3
College of Agricultural, Consumer and Environmental Sciences (ACES) 2
Dept. of Chemistry 2

Collection

Research publications from the University of Illinois at Urbana-Champaign 44
Graduate Dissertations and Theses at Illinois 39
Dissertations and Theses - Computer Science 18
Research and Tech Reports - Computer Science 14
Dissertations and Theses - Germanic Languages and Literatures 6
Dissertations and Theses - Chemistry 2
Dissertations and Theses - Mechanical Science and Engineering 2
Dissertations and Theses - Physics 2
Library Trends 50 (4) Spring 2002: Midlife Career Decisions of Librarians 2
Student Directory and Code (University of Illinois at Urbana-Champaign) 2

Author(s)

University of Illinois at Urbana-Champaign 38
Rosu, Grigore 10
Schulte, Wolfram 5
Chen, Xiaohong 4
Lin, Zhengyao 3
Serbanuta, Traian Florin 3
University of Illinois at Chicago Circle 3
Okur, Semih 2
Roşu, Grigore 2
Trinh, Minh-Thai 2

Keyword(s)

Literature, Germanic 5
University of Illinois at Urbana-Champaign Dissertations. 5
Computer Science 3
concurrency 3
matching logic 3
Biophysics, General 2
Chemistry, Biochemistry 2
Faculty Directories 2
K 2
Languages, Modern -- Study and teaching 2

Type of Resource

text 92
Thesis 2

↑ ↓

Showing 1–30 of 105 items

1 (current)
2
3
4

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 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 Runtime Verification of C Memory Safety

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for Runtime Verification of C Memory Safety

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for A formal semantics of C with applications

A formal semantics of C with applications

Ellison, Charles

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Systematically controlling the error rates in variation-prone networks-on-chip for energy efficiency

Systematically controlling the error rates in variation-prone networks-on-chip for energy efficiency

Pothukuchi, Raghavendra Pradyumna

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

Automated deductive verification of systems software

Pek, Edgar

Thumbnail for Morphological and mechanical analysis of the porous structure of cortical bone

Morphological and mechanical analysis of the porous structure of cortical bone

Livingston, Elizabeth

Thumbnail for Wolfram Von Eschenbach's Couples

Wolfram Von Eschenbach's Couples

Christoph, Siegfried Richard

Thumbnail for Tanhäuser and the Venusberg

Tanhäuser and the Venusberg

Barto, Philip Stephan

Thumbnail for Program Verification by Coinduction

Program Verification by Coinduction

Rosu, Grigore; Moore, Brandon

Thumbnail for Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions

Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions

Okur, Semih; Erdogan, Cansu; Dig, Danny

Thumbnail for On unregulated markets and the freedom of media the transition of the East German press after 1989

On unregulated markets and the freedom of media the transition of the East German press after 1989

Troger, Mandy D.

Thumbnail for Some problems on spatial patterns in nonequilibrium systems

Some problems on spatial patterns in nonequilibrium systems

Yeung, Chuck

Thumbnail for Making Formal Verification Trustworthy via Proof Generation

Making Formal Verification Trustworthy via Proof Generation

Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Some problems on spatial patterns in nonequilibrium systems

Some problems on spatial patterns in nonequilibrium systems

Yeung, Chuck

Thumbnail for Index to Library Trends Volume 50

Index to Library Trends Volume 50

Rowland, Marilyn J.

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

"Palimpsests on German Reunification: Functions of Theodor Fontane's Novels and Poetry in Guenter Grass' ""Too Far Afield"""

Thesz, Nicole Astra

"The Treatment of Consonants in the ""ambraser Heldenbuch"""

Muckenhirn, Geoffrey Briard

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Role of proximal residues in controlling CO binding reactions in myoglobin

Role of proximal residues in controlling CO binding reactions in myoglobin

Chien, Ellen Yu-Lin Tsai

Thumbnail for GSLIS Alumni Newsletter 2003-2004

GSLIS Alumni Newsletter 2003-2004

Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

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

1 (current)
2
3
4

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 5?

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