University of Illinois Urbana-Champaign

IDEALS

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 3
Dept. of Computer Science 3
Graduate Dissertations and Theses at Illinois 1

Collection

Research and Tech Reports - Computer Science 2
Dissertations and Theses - Computer Science 1
Graduate Dissertations and Theses at Illinois 1

Author(s)

Gupta, Indranil 2
Liu, Si 2
Ganhotra, Jatin 1
Ghosh, Mainak 1
Meseguer, José 1
Olveczky, Peter C. 1
Rahman, Muntasir Raihan 1
Shin, Yosub 1

Keyword(s)

Distributed Transactional Systems 1
Maude 1
Model Checking 1
Model Checking, Distributed Transaction Systems, Consistency Model, Maude, Fo... 1
RAMP 1
cassandra 1
reconfiguration, ring-based database 1

Type of Resource

text 3

↑ ↓

Showing 1–3 of 3 items

Parqua: Online Reconfigurations in Virtual Ring-Based NoSQL Systems

Shin, Yosub; Ghosh, Mainak; Gupta, Indranil

Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

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

Liu, Si

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 2?

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.

Password

(I forgot my password)