Qi Wang

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Read Only Transactions

Concurrency Control

Payment Protocol

Formal Analysis

Top Venues

Formal Aspects Comput.

Publications

Kunal Mukherjee, Joshua Wiedemeier, Qi Wang, Junpei Kamimura, Junghwan John Rhee, James Wei, Zhichun Li, Xiao Yu, Lu-An Tang, Jiaping Gui, Kangkook Jee
ProvIoT : Detecting Stealthy Attacks in IoT through Federated Edge-Cloud Security. ACNS (3) (2024)
Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM (2020)
Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Aspects Comput. 31 (5) (2019)
Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS (2) (2019)
Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. FASE (2018)
Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer
Formal Modeling and Analysis of the Walter Transactional Data Store. WRLA@ETAPS (2018)