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 40
Dept. of Computer Science 37
Graduate Dissertations and Theses at Illinois 24
College of Liberal Arts and Sciences 7
Research publications from UIUC 4
Dept. of Germanic Languages and Literatures 2
Summary of Engineering Research (1957-2008) 2
College of Liberal Arts and Sciences - UIS 1
Dept. of Chemistry - UIS 1
Dept. of Economics 1

Collection

Graduate Dissertations and Theses at Illinois 24
Research and Tech Reports - Computer Science 19
Dissertations and Theses - Computer Science 18
Research publications from the University of Illinois at Urbana-Champaign 4
Dissertations and Theses - Germanic Languages and Literatures 2
Summary of Engineering Research (2003-2008) 2
Dissertations and Theses - Ecology, Evolution, and Conservation Biology 1
Dissertations and Theses - Economics 1
Dissertations and Theses - Electrical and Computer Engineering 1
Dissertations and Theses - History 1

Author(s)

Meseguer, José 14
Sasse, Ralf 7
Escobar, Santiago 6
Rosu, Grigore 4
Hendrix, Joseph D. 3
Schulte, Wolfram 3
University of Illinois at Urbana-Champaign 3
Garrido, Alejandra 2
Hills, Mark 2
Serbanuta, Traian Florin 2

Keyword(s)

computer science 9
rewriting logic 7
Computer Science 4
programming languages 4
Research and publications sponsored in the College of Engineering 2
rewriting 2
Abstraction Refinement 1
Adaptive Selective Verification 1
Approximations 1
Aquatic microbial ecology 1

Type of Resource

text 37
Thesis 1

↑ ↓

Showing 1–30 of 52 items

1 (current)
2

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 Folding Variant Narrowing and Optimal Variant Termination

Folding Variant Narrowing and Optimal Variant Termination

Escobar, Santiago; Sasse, Ralf; Meseguer, José

Thumbnail for Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics

Sasse, Ralf; Meseguer, José

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 Effectively Checking or Disproving the Finite Variant Property

Effectively Checking or Disproving the Finite Variant Property

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Variant Narrowing and Extreme Termination

Variant Narrowing and Extreme Termination

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Variant Narrowing and Extreme Termination

Variant Narrowing and Extreme Termination

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Variant Narrowing and Equational Unification

Variant Narrowing and Equational Unification

Escobar, Santiago; Meseguer, José; Sasse, Ralf

Thumbnail for Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings

Algebraic Semantics of the C Preprocessor and Correctness of its Refactorings

Garrido, Alejandra; Meseguer, José; Johnson, Ralph

Thumbnail for Formal Specification and Verification of Java Refactorings

Formal Specification and Verification of Java Refactorings

Garrido, Alejandra; Meseguer, José

Thumbnail for Nelson Oppen combination as a rewrite theory

Nelson Oppen combination as a rewrite theory

Rodrigues, Nishant

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

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 Variant-Based Satisfiability

Variant-Based Satisfiability

Meseguer, José

Thumbnail for Diversity and succession of pelagic microorganism communities in a newly restored Illinois River floodplain lake

Diversity and succession of pelagic microorganism communities in a newly restored Illinois River floodplain lake

Lemke, Michael J.; Paver, Sara F.; Dungey, Keenan E.; Velho, Luiz Felipe M.; Kent, Angela D.; Rodrigues, Lucia D.; Kellerhals, Doyn M.; Randle, Michelle R.

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

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for Decision Procedures for Equationally Based Reasoning

Decision Procedures for Equationally Based Reasoning

Hendrix, Joseph D.

Thumbnail for Language maintenance and shift in communities of oral tradition: The case of the Sillanko of Burkina Faso (West Africa)

Language maintenance and shift in communities of oral tradition: The case of the Sillanko of Burkina Faso (West Africa)

Kedrebeogo, Gerard

Thumbnail for Extending the language and applications of Maude-NPA through rewriting semantics

Extending the language and applications of Maude-NPA through rewriting semantics

Yang, Fan

Thumbnail for Friendsourcing to detect network manipulation

Friendsourcing to detect network manipulation

Shankesi, Ravinder

Thumbnail for The development of national policy with respect to water resources

The development of national policy with respect to water resources

Brown, Leahmae

"Intertextuality in Goethe's ""Werther"""

DeGuire, Mary A.

Thumbnail for Understanding Zea mays genetic influence on the structure and function of the rhizosphere microbiome

Understanding Zea mays genetic influence on the structure and function of the rhizosphere microbiome

Favela, Alonso

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 Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Towards secure web browsing

Towards secure web browsing

Tang, Shuo

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 1 + 4?

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