Papers in Conferences
- 1. Mohammad Shakournia و Saeid Pashazadeh،Byzantines Consensus Algorithm in Distributed Systems without assumption t<n/۳،۶th National conference on Distributed Computing and Big Data Processing (DCBDP ۲۰۲۱)،شماره صفحات ۲۳۴-۲۳۹،Tabriz, Iran،۲۰۲۱/۰۳/۰۳.
- 2. Leila Namvari , Tazehkand , Saeid Pashazadeh،Investigating the Reliability in Three RAID Storage Models and Effect of Ordering Replicas on Disks،۶th International Reliability and Safety Engineering Conference (IRSEC ۲۰۲۰)،شماره صفحات ۷ pages،Shiraz, Iran،۲۰۲۱/۰۲/۱۷-۱۸.
- 3. Zahra Eghbali و Saeid Pashazadeh،Formal modelling and performance evaluation of puzzle type computer game using colored petri net،۴th National Conference on Distributed Computing and Big Data Processing (DCBDP۰۴)،شماره صفحات ۱۰ pages،Tabriz, Iran،۲۰۱۸/۰۵/۱۶.
- 4. Leila Namvari Tazehkand ,& Saeid Pashazadeh ,Ⅿoⅾeⅼing anⅾ Verifying a Fuⅼⅼy Anonyⅿous Ⅿutuaⅼ Exⅽⅼusion Aⅼgorithⅿ Using Ⅽoⅼoreⅾ Petri Nets ,The Thirⅾ Internationaⅼ Ⅽonferenⅽe on Ⅾistributeⅾ Ⅽoⅿputing anⅾ High Perforⅿanⅽe Ⅽoⅿputing (ⅮⅭHPⅭ2024) ,Tehran, Iran ,2024/05/14-15.
- 5. Leila Namvari Tazehkand ,& Saeid Pashazadeh ,Ⅿoⅾeⅼing anⅾ Verifiⅽation of the Ⅽausaⅼ Broaⅾⅽast Aⅼgorithⅿ Using Ⅽoⅼoreⅾ Petri Nets ,The Thirⅾ Internationaⅼ Ⅽonferenⅽe on Ⅾistributeⅾ Ⅽoⅿputing anⅾ High Perforⅿanⅽe Ⅽoⅿputing (ⅮⅭHPⅭ2024) ,Tehran, Iran ,2024/05/14-15.
- 6. Saeid Pashazadeh ,& Maryam Pashazadeh ,Model Checking-Based Application-Dependent Quantitive Metrics to Drive the Fault Probability for the Discrete State System ,RSEP International Multidisciplinary Conference ,pp. 11-17 ,Dubai, UAE ,2024/02/08-09.
- 7. Rahim Abri Ligvan , Reza Soitani , Saeid Pashazadeh ,Distributed synchronization for charging sensors based on service priority in WSAN ,2020 10th International Conference on Computer and Knowledge Engineering (ICCKE) ,pp. 130-135 ,Mashhad, Iran ,2020/10/29-30.
- 8. Zahra Ebadi Ansaroudi ,& Saeid Pashazadeh ,Modeling and Formal Verification of the Ticket-based Handoff Authentication Protocol for Wireless Mesh Networks ,The 16th International Symposium on Pervasive Systems, Algorithms and Networks ,pp. 140-154 ,Naple, Italy ,2019/06/16-20.
- 9. Saeid Pashazadeh , Leila Namvari Tazehkand , Reza Soltani ,RSS_RAID a Novel Replicated Storage Schema for RAID System ,The International Conference on Contemporary Issues In Data Science (CiDas 2019) ,pp. 36-43 ,Zanjan, Iran ,2019/03/5-8.
- 10. Mousa Nazari ,& Saeid Pashazadeh ,Density Clustering Based Data Association Approach for Tracking Multiple Target in Cluttered Environment ,The International Conference on Contemporary Issues In Data Science (CiDas 2019) ,pp. 76-88 ,Zanjan, Iran ,2019/03/5-8.
- 11. Saeid Pashazadeh ,& Seyed Jamal Aldin Mojaveri ,Modeling, Verification and Evaluation of Multiprocessor Scheduling using Extended CBRLA Algorithm ,IEEE 4th International Conference on Knowledge-Based Engineering and Innovation (KBEI-2017) ,pp. 0544-0552 ,Tehran, Iran ,2017/12/22.
- 12. Mousa Nazari ,& Saeid Pashazadeh ,A Novel Data association algorithm for single target tracking in cluttered environment ,4th international conference on applied research in computer engineering and signal processing ,pp. 7 pages ,Tehran, Iran ,2016/12/7-8.
- 13. Yousef Mostafaei ,& Saeid Pashazadeh ,An Improved OLSR Routing Protocol for Reducing Packet Loss Ratio in Ad-hoc Networks ,2016 Eighth International Conference on Information and Knowledge Technology (IKT) ,pp. 12-17 ,Hamadan, Iran ,2016/09/7-8.
- 14. Ahmad Taghinezhad ,& Saeid Pashazadeh ,Modelling and Analysis of the Monotonic Read Consistent Distributed System using Coloured Petri Net ,2016 Eighth International Conference on Information and Knowledge Technology (IKT) ,pp. 85-90 ,Hamadan, Iran ,2016/09/7-8.
Showing 1-14 of 14 items.