• Article  

      Brief announcement: Self-stabilizing virtual synchrony 

      Dolev, S.; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, E. M. (2015)
    • Article  

      Practically-self-stabilizing virtual synchrony 

      Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (2018)
      The virtual synchrony abstraction was proven to be extremely useful for asynchronous, large-scale, message-passing distributed systems. Self-stabilizing systems can automatically regain consistency after the occurrence of ...
    • Conference Object  

      Self-stabilizing Byzantine Tolerant Replicated State Machine Based on Failure Detectors 

      Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (Springer International Publishing, 2018)
      Byzantine Fault Tolerant (BFT) replication leverages highly available cloud services and can facilitate the implementation of distributed ledgers, e.g., the blockchain. Systems providing BFT State Machine Replication (SMR) ...
    • Article  

      Self-stabilizing reconfiguration 

      Dolev, S.; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, E. M. (2017)
      Current reconfiguration techniques depend on starting the system in a consistent configuration, in which all participating entities are in a predefined state. Starting from that state, the system must preserve consistency ...
    • Conference Object  

      Self-stabilizing reconfiguration 

      Dolev, S.; Marcoullis, Ioannis; Georgiou, Chryssis; Schiller, E. M. (Association for Computing Machinery, Inc, 2016)
    • Article  

      Self-stabilizing virtual synchrony 

      Dolev, S.; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, E. M. (2015)
      Virtual synchrony (VS) is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is critical for the ...