Saeed Doostali

According to our database, Saeed Doostali authored at least 10 papers between 2012 and 2025.

Collaborative distances:

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

2025

Network Analysis for Organized Fraud Detection in Automobile Insurance With Graph Theory and Poisson Process.

Saeed Doostali, Mohammad Javad Nadjafi-Arani, Asma Hamzeh

IEEE Trans. Syst. Man Cybern. Syst., September, 2025

2023

Using a process algebra interface for verification and validation of UML statecharts.

Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani

Comput. Stand. Interfaces, August, 2023

Workflow Scheduling With Guaranteed Responsiveness and Minimal Cost.

Mohammad Javad Nadjafi-Arani, Saeed Doostali, Mohamed F. Younis

IEEE Trans. Serv. Comput., 2023

2021

The application of hypergroups in symbolic executions and finite automata.

Dariush Heidari, Saeed Doostali

Soft Comput., 2021

CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path.

Saeed Doostali, Seyed Morteza Babamir, Maryam Eini

Clust. Comput., 2021

2020

An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinks.

Saeed Doostali, Seyed Morteza Babamir

Comput. Commun., 2020

2019

Combining topology control and network coding to optimize lifetime in wireless-sensor networks.

Mohammad Khalily Dermany, Mohammad J. Nadjafi-Arani, Saeed Doostali

Comput. Networks, 2019

2018

A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses.

Fatemeh Ebadifard, Saeed Doostali, Seyed Morteza Babamir

Proceedings of the 9th International Symposium on Telecommunications, 2018

2014

An Efficient Solution for Model Checking Abstract State Machine Using Bogor.

Saeed Doostali

CoRR, 2014

2012

ASM2Bogor: An approach for verification of models specified through Asmeta language.

Vahid Rafe, Saeed Doostali

J. Vis. Lang. Comput., 2012