4 citations · 12 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.DC2019★ 4 cited
Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems
Antonio Casimiro, Emelie Ekenstedt, Elad Michael Schiller
A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties.…
cs.DC2019
Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems
Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller
A snapshot object simulates the behavior of an array of single-writer/multi-reader shared registers that can be read atomically. Delporte-Gallet et al. proposed two fault-tolerant…