A Simple Sum of Products Formula to Compute the Reliability of the KooN System. - Saeid Pashazadeh; Leila Namvari Tazeh-Kand (IEEE Access, 2021)

Investigating the Reliability in Three RAID Storage Models and Effect of Ordering Replicas on Disks. - Leila Namvari Tazeh-Kand; Saeid Pashazadeh (CoRR, 2021)

BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems. - Leila Namvari Tazeh-Kand; Saied Pashazadeh; Ali Ebnenasir (CoRR, 2024)

Modeling, simulation, and evaluation of causal order assurance techniques in causal broadcast algorithms using timed colored petri nets. - Leila Namvari Tazeh-Kand; Saeid Pashazadeh (J. Supercomput., 2025)

Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast. - Leila NamvariTazehkand; Saeid Pashazadeh; Ali Ebnenasir (Theory Comput. Syst., 2026)