Saeed Doostali - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2023

Using a process algebra interface for verification and validation of UML statechartsSaeed Doostali, Seyed Morteza Babamir, Mohammad Javani. csi, 86:103739, August 2023. [doi]

Workflow Scheduling With Guaranteed Responsiveness and Minimal CostMohammad Javad Nadjafi-Arani, Saeed Doostali, Mohamed F. Younis. tsc, 16(4):3075-3087, July - August 2023. [doi]

2021

CP-PGWO: multi-objective workflow scheduling for cloud computing using critical pathSaeed Doostali, Seyed Morteza Babamir, Maryam Eini. cluster, 24(4):3607-3627, 2021. [doi]

The application of hypergroups in symbolic executions and finite automataDariush Heidari, Saeed Doostali. soco, 25(11):7247-7256, 2021. [doi]

2020

An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinksSaeed Doostali, Seyed Morteza Babamir. comcom, 164:188-200, 2020. [doi]

2018

A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation AnalysesFatemeh Ebadifard, Saeed Doostali, Seyed Morteza Babamir. istel 2018: 664-669 [doi]

2012

ASM2Bogor: An approach for verification of models specified through Asmeta languageVahid Rafe, Saeed Doostali. JCL (JVLC), 23(5):287-298, 2012. [doi]

Sign in or sign up to see more results.

runs on WebDSL