Consistency model

Environment rematching: Toward dependability improvement for self-adaptive applications

Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lü

Citations: 12 • 2013

A General Approach to Derive Uncontrolled Reversible Semantics

Ivan Lanese, Doriana Medić

Citations: 11 • 2020

Supporting real-time concurrency

Victor Fay Wolfe, Susan Davidson, Insup Lee

Citations: 8 • 1991

Verification of logical consistency in robotic reasoning

Hongyang Qu, Sándor M. Veres

Citations: 7 • 2016

Spatial-temporal consistency knowledge distillation for real-time semantic segmentation

Dongli Wang, Zhitian Yuan, Yan Zhou, Zhiqiang Wang

Citations: 3 • 2022

On efficient consistency checks by robots

Hongyang Qu, Sándor M. Veres

Citations: 2 • 2014

Efficient Verification of Periodic Programs using Sequential Consistency and Snapshots

Sagar Chaki, Arie Gurfinkel, Nishant Sinha

Citations: 2 • 2014