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 36
Dept. of Computer Science 35
Graduate Dissertations and Theses at Illinois 17
Dept. of Civil and Environmental Engineering 1

Collection

Research and Tech Reports - Computer Science 19
Graduate Dissertations and Theses at Illinois 17
Dissertations and Theses - Computer Science 16
Dissertations and Theses - Civil and Environmental Engineering 1

Author(s)

Rosu, Grigore 5
Farzan, Azadeh 4
Meseguer, José 4
Hendrix, Joseph D. 3
Lu, Shan 3
Chen, Feng 2
Derisavi, Salem 2
Serbanuta, Traian Florin 2
Ziaei, Mahmood Reza 2
d'Amorim, Marcelo 2

Keyword(s)

Computer Science 9
computer science 7
rewriting logic 4
Concurrency 2
Deadlock 2
concurrency 2
programming languages 2
runtime verification 2
Ad hoc synchronization 1
Address transfer 1

Type of Resource

text 29

↑ ↓

Showing 1–30 of 36 items

1 (current)
2

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Causal Dataflow Analysis for Concurrent Programs

Causal Dataflow Analysis for Concurrent Programs

Farzan, Azadeh; Madhusudan, P.

Thumbnail for Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach

Farzan, Azadeh

Thumbnail for Partial Order Reduction for Rewriting Semantics of Programming Languages

Partial Order Reduction for Rewriting Semantics of Programming Languages

Farzan, Azadeh; Meseguer, José

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Sorrentino, Francesco

Thumbnail for Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Incorporating Bounded Model Checking in Network Simulation: Theory, Implementation and Evaluation

Sobeih, Ahmed A.; Viswanathan, Mahesh; Hou, Jennifer C.

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 IsaK: A Complete Semantics of K

IsaK: A Complete Semantics of K

Li, Liyi; Gunter, Elsa L.

Thumbnail for Maximal Causal Models for Sequentially Consistent Systems

Maximal Causal Models for Sequentially Consistent Systems

Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Testing, runtime verification, and analysis of concurrent programs

Testing, runtime verification, and analysis of concurrent programs

Luo, Qingzhou

Thumbnail for Evaluating machine-independent metrics for state-space exploration

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Monitoring Oriented Programming and Analysis

Monitoring Oriented Programming and Analysis

Chen, Feng

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

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 Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Derisavi, Salem

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures

Derisavi, Salem

Thumbnail for Taming implicit synchronizations in concurrent programs

Taming implicit synchronizations in concurrent programs

Xiong, Weiwei

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

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 An Equational Logic and a Coordination Language for Distributed Objects

An Equational Logic and a Coordination Language for Distributed Objects

Ziaei, Mahmood Reza

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 Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version

K: A Rewriting-Based Framework for Computations -- Preliminary version

Rosu, Grigore

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version --

K: A Rewriting-Based Framework for Computations -- Preliminary version --

Rosu, Grigore

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 6?

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