• Conference Object  

      Performance and stability bounds for dynamic networks 

      Koukopoulos, D.; Mavronicolas, Marios; Spirakis, Paul G. (2004)
      In this work, we study the impact of dynamically changing link capacities on the delay bounds of LIS (Longest-In-System) and SIS (Shortest-In-System) protocols on specific networks (that can be modelled as Directed Acyclic ...
    • Article  

      Periodic and non-concurrent error detection and identification in one-hot encoded FSMs 

      Hadjicostis, Christoforos N. (2004)
      State-transition faults in digital sequential systems, such as finite-state logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution ...
    • Article  

      Probabilistic approaches to fault detection in networked discrete event systems 

      Athanasopoulou, E.; Hadjicostis, Christoforos N. (2005)
      In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves ...
    • 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 ...
    • Article  

      Two-phase commit optimizations in a commercial distributed environment 

      Samaras, George S.; Britton, K.; Citron, A.; Mohan, C. (1995)
      An atomic commit protocol can ensure that all participants in a distributed transaction reach consistent states, whether or not system or network failures occur. The atomic commit protocol used in industry and academia is ...