Saeed Doostali

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Sensor Networks

Cloud Computing

Formal Verification

Scheduling Algorithm

Top Venues

IEEE Trans. Serv. Comput.

Publications

Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani
Using a process algebra interface for verification and validation of UML statecharts. Comput. Stand. Interfaces 86 (2023)
Mohammad Javad Nadjafi-Arani, Saeed Doostali, Mohamed F. Younis
Workflow Scheduling With Guaranteed Responsiveness and Minimal Cost. IEEE Trans. Serv. Comput. 16 (4) (2023)
Saeed Doostali, Seyed Morteza Babamir, Maryam Eini
CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path. Clust. Comput. 24 (4) (2021)
Dariush Heidari, Saeed Doostali
The application of hypergroups in symbolic executions and finite automata. Soft Comput. 25 (11) (2021)
Saeed Doostali, Seyed Morteza Babamir
An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinks. Comput. Commun. 164 (2020)
Fatemeh Ebadifard, Saeed Doostali, Seyed Morteza Babamir
A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses. IST (2018)
Saeed Doostali
An Efficient Solution for Model Checking Abstract State Machine Using Bogor. CoRR (2014)
Vahid Rafe, Saeed Doostali
ASM2Bogor: An approach for verification of models specified through Asmeta language. J. Vis. Lang. Comput. 23 (5) (2012)