• A Fast Timing Separation of Events Algorithm for Concurrent Systems 

      Aimoniotis P., Xiromeritis N., Sotiriou C. (2019)
      In this work, we present a fast, polynomial time implementation of the Timing Separation of Events (TSE) Algorithm, with complexity O(E × (V+E). TSE computation is a fundamental problem in the analysis of event-driven, ...