Cited By
View all- Rodríguez GCastañeda A(2024)Towards Efficient Runtime Verified Linearizable AlgorithmsRuntime Verification10.1007/978-3-031-74234-7_17(262-281)Online publication date: 14-Oct-2024
- Castañeda ARodríguez GOshman RNolin AHalldorsson MBalliu A(2023)Asynchronous Wait-Free Runtime Verification and Enforcement of LinearizabilityProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594563(90-101)Online publication date: 19-Jun-2023
- Alquraan ATakruri HAlfatafta MAl-Kiswany SArpaci-Dusseau AVoelker G(2018)An analysis of network-partitioning failures in cloud systemsProceedings of the 13th USENIX conference on Operating Systems Design and Implementation10.5555/3291168.3291173(51-68)Online publication date: 8-Oct-2018
- Show More Cited By