Leila NamvariTazehkand

According to our database, Leila NamvariTazehkand authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Cutoff Theorems for the Model Checking of Crash-Tolerant Causal Broadcast.

Leila NamvariTazehkand, Saeid Pashazadeh, Ali Ebnenasir

Theory Comput. Syst., June, 2026

2025

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., January, 2025

2024

BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems.

Leila Namvari Tazeh-Kand, Saied Pashazadeh, Ali Ebnenasir

CoRR, 2024

2021

Investigating the Reliability in Three RAID Storage Models and Effect of Ordering Replicas on Disks.

Leila Namvari Tazeh-Kand, Saeid Pashazadeh

CoRR, 2021

A Simple Sum of Products Formula to Compute the Reliability of the KooN System.

Saeid Pashazadeh, Leila Namvari Tazeh-Kand

IEEE Access, 2021