ASM2Bogor: An approach for verification of models specified through Asmeta language. - Vahid Rafe; Saeed Doostali (J. Vis. Lang. Comput., 2012)

An Efficient Solution for Model Checking Abstract State Machine Using Bogor. - Saeed Doostali (CoRR, 2014)

A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses. - Fatemeh Ebadifard; Saeed Doostali; Seyed Morteza Babamir (IST, 2018)

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)

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)

CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path. - Saeed Doostali; Seyed Morteza Babamir; Maryam Eini (Clust. Comput., 2021)

The application of hypergroups in symbolic executions and finite automata. - Dariush Heidari; Saeed Doostali (Soft Comput., 2021)

Workflow Scheduling With Guaranteed Responsiveness and Minimal Cost. - Mohammad Javad Nadjafi-Arani; Saeed Doostali; Mohamed F. Younis (IEEE Trans. Serv. Comput., 2023)

Using a process algebra interface for verification and validation of UML statecharts. - Saeed Doostali; Seyed Morteza Babamir; Mohammad Javani (Comput. Stand. Interfaces, 2023)

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