Details
Title
Yabandeh, Maysam
Sciper ID
179583
Publications
Almost-Invariants: From Bugs in Distributed Systems to Invariants
Consensus Inside
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems
DPOR-DS: Dynamic Partial Order Reduction in Distributed Systems
Model Checking a Networked System Without the Network
Model Checking of Distributed Algorithm Implementations
One Acceptor is Enough
Reducing Buffer Space in Multipath Schemes
Simplifying Distributed System Development
Trustful Cumulus Clouds
See complete list of publications (19)
Consensus Inside
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems
DPOR-DS: Dynamic Partial Order Reduction in Distributed Systems
Model Checking a Networked System Without the Network
Model Checking of Distributed Algorithm Implementations
One Acceptor is Enough
Reducing Buffer Space in Multipath Schemes
Simplifying Distributed System Development
Trustful Cumulus Clouds
See complete list of publications (19)
Link to search
All resources
Record appears in
Authorities > People