Saeed Doostali

According to our database, Saeed Doostali authored at least 8 papers between 2012 and 2023.

Collaborative distances:

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

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

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