All Stories

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

    Article • Computer Standards & Interfaces, August 2023, Elsevier

    Dr Seyed Morteza Babamir

  2. Anomaly detection of policies in distributed firewalls using data log analysis

    Article • The Journal of Supercomputing, May 2023, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  3. Federated Geo-Distributed Clouds: Optimizing Resource Allocation Based on Request Type Using Autonomous and Multi-objective Resource Sharing Model

    Article • Big Data Research, May 2021, Elsevier

    Dr Seyed Morteza Babamir

  4. Fast Duplicate Bug Reports Detector Training using Sampling for Dimension Reduction: Using Instance-based Learning for Continous Query in Real-World

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  5. IoT-Based Model in Smart Urban Traffic Control: Graph theory and Genetic Algorithm

    Article • December 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  6. Query processing optimization in broadcasting XML data in mobile communications

    Article • The Journal of Supercomputing, November 2020, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  7. A model driven and clustering method for service identification directed by metrics

    Article • Software Practice and Experience, October 2020, Wiley

    Dr Seyed Morteza Babamir

  8. Identification of Protein Complexes Based on Core-Attachment Structure and Combination of Centrality Measures and Biological Properties in PPI Weighted Networks

    Article • The Protein Journal, October 2020, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  9. Efficient feature extraction model for validation performance improvement of duplicate bug report detection in software bug triage systems

    Article • Information and Software Technology, October 2020, Elsevier

    Dr Seyed Morteza Babamir

  10. Autonomic task scheduling algorithm for dynamic workloads through a load balancing technique for the cloud-computing environment

    Article • Cluster Computing, September 2020, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  11. Scheduling scientific workflows on virtual machines using a Pareto and hypervolume based black hole optimization algorithm

    Article • The Journal of Supercomputing, February 2020, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  12. The clustering algorithm for efficient energy management in mobile ad-hoc networks

    Article • Computer Networks, January 2020, Elsevier

    Dr Seyed Morteza Babamir

  13. Estimating Bifurcating Consensus Phylogenetic Trees Using Evolutionary Imperialist Competitive Algorithm

    Article • Current Bioinformatics, December 2019, Bentham Science Publishers

    Dr Seyed Morteza Babamir

  14. New labeled dataset of interconnected lexical typos for automatic correction in the bug reports

    Article • SN Applied Sciences, October 2019, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  15. Test-data generation directed by program path coverage through imperialist competitive algorithm

    Article • Science of Computer Programming, October 2019, Elsevier

    Dr Seyed Morteza Babamir

  16. Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks

    Article • Wireless Personal Communications, August 2019, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  17. Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning‐based approach

    Article • Concurrency and Computation Practice and Experience, May 2019, Wiley

    Dr Seyed Morteza Babamir

  18. New Methodology for Contextual Features Usage in Duplicate Bug Reports Detection : Dimension Expansion based on Manhattan Distance Similarity of Topics

    Article • April 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  19. Improving Performance of Automatic Duplicate Bug Reports Detection using Longest Common Sequence : Introducing New Textual Features for Textual Similarity Detection

    Article • February 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

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

    Article • December 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  21. Moocart Compatiblety Building Strategy (For the College of Art - University of Baghdad)

    Article • November 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  22. A hierarchical structure for optimal resource allocation in geographically distributed clouds

    Article • Future Generation Computer Systems, August 2018, Elsevier

    Dr Seyed Morteza Babamir

  23. VM selection for task scheduling in geographically distributed clouds

    Article • Software Practice and Experience, July 2018, Wiley

    Dr Seyed Morteza Babamir

  24. Identification of essential proteins based on a new combination of topological and biological features in weighted protein-protein interaction networks

    Article • IET Systems Biology, June 2018, the Institution of Engineering and Technology (the IET)

    Dr Seyed Morteza Babamir, abdolkarim elahi

  25. A modified black hole-based multi-objective workflow scheduling improved using the priority queues for cloud computing environment

    Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  26. Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets

    Article • IEEE Transactions on Systems Man and Cybernetics Systems, January 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  27. Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling

    Article • Journal of Computational Science, January 2018, Elsevier

    Dr Seyed Morteza Babamir

  28. A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment

    Article • Concurrency and Computation Practice and Experience, December 2017, Wiley

    Dr Seyed Morteza Babamir

  29. Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems

    Article • Applied Intelligence, September 2017, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  30. An Innovative Model-Driven SlicingApproach for Testing Adaptive Software

    Article • Recent Patents on Computer Science, September 2017, Bentham Science Publishers

    Dr Seyed Morteza Babamir

  31. Modeling and verifying timed event-based systems

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  32. A GA based method for search-space reduction of chess game-tree

    Article • Applied Intelligence, April 2017, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  33. Optimizing multi objective based workflow scheduling in cloud computing using black hole algorithm

    Article • April 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  34. A method for the optimum selection of datacenters in geographically distributed clouds

    Article • The Journal of Supercomputing, March 2017, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  35. Optimal scheduling workflows in cloud computing environment using Pareto-based Grey Wolf Optimizer

    Article • Concurrency and Computation Practice and Experience, January 2017, Wiley

    Dr Seyed Morteza Babamir

  36. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets

    Article • Journal of Medical Systems, December 2016, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  37. A new data-intensive task scheduling in optorsim, an open source grid simulator

    Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  38. Toward extending apache thrift open source to alleviate SOAP service consumption

    Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  39. Indefinite block ciphering based on variable and great length key

    Article • Security and Communication Networks, December 2016, Wiley

    Dr Seyed Morteza Babamir

  40. A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids

    Article • November 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  41. A cryptography approach on security layer of web service

    Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  42. A new approach to detecting and preventing the Worm Hole attacks for secure routing in mobile ad-hoc networks based on the SPR protocol

    Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  43. Towards optimization of availability and cost in selection of geo-distributed clouds datacenter

    Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  44. Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior

    Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  45. A class-based link prediction using Distance Dependent Chinese Restaurant Process

    Article • Physica A Statistical Mechanics and its Applications, August 2016, Elsevier

    Dr Seyed Morteza Babamir

  46. A predictive framework for load balancing clustered web servers

    Article • The Journal of Supercomputing, December 2015, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  47. Automatic verification of uml state chart by bogor model checking tool: Automatic formal verification of network and distributed systems

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  48. Formal verification of UML statecharts using the LOTOS formal language

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  49. Runtime verification of pacemaker using fuzzy logic and colored Petri-nets

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  50. Predicting potential deadlocks in multithreaded programs

    Article • Concurrency and Computation Practice and Experience, June 2015, Wiley

    Dr Seyed Morteza Babamir

  51. Evaluating software architectural styles based on quality features through hierarchical analysis and Fuzzy Integral (FAHP)

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  52. Makespan improvement of PSO-based dynamic scheduling in cloud environment

    Article • May 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  53. Medical software runtime checking using Petri-nets & software agents

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  54. Mutation score evaluation in terms of object-oriented metrics

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  55. A new approach for test case generation by discrete particle swarm optimization algorithm

    Article • May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  56. Software test case generation & test oracle design using neural network

    Article • May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  57. A New Sparse Representation Algorithm for Semi-supervised Signal Classification

    Article • January 2014, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  58. Specification and simulation of behavior of the Continuous Infusion Insulin Pump system

    Article • Bio-Medical Materials and Engineering, January 2014, IOS Press

    Dr Seyed Morteza Babamir

  59. An ABC based approach to test case generation for BPEL processes

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  60. Achieving Key Privacy and Invisibility for Unattended Wireless Sensor Networks in Healthcare

    Article • The Computer Journal, May 2013, Oxford University Press (OUP)

    Dr Seyed Morteza Babamir

  61. Runtime verification of service-oriented systems: a well-rounded survey

    Article • International Journal of Web and Grid Services, January 2013, Inderscience Publishers

    Dr Seyed Morteza Babamir

  62. Specification and verification of reliability in dispatching multicast messages

    Article • The Journal of Supercomputing, November 2012, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  63. Improving Service Accessibility in Service-Oriented HIS

    Article • Journal of Medical Systems, August 2012, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  64. An artificial neural network based model for online prediction of potential deadlock in multithread programs

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  65. Real-Time Systems, Architecture, Scheduling, and Application

    Article • April 2012, IntechOpen

    Dr Seyed Morteza Babamir

  66. Construction of Real-Time Oracle Using Timed Automata

    Article • April 2012, IntechOpen

    Dr Seyed Morteza Babamir

  67. M2M Architecture: Can It Realize Ubiquitous Computing in Daily life?

    Article • KSII Transactions on Internet and Information Systems, January 2012, Korean Society for Internet Information (KSII)

    Dr Seyed Morteza Babamir

  68. Synthesizing a Composite Model for Runtime Monitoring and Adapting Goal Oriented Systems

    Article • Trends in Applied Sciences Research, September 2011, Science Alert

    Dr Seyed Morteza Babamir

  69. Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample

    Article • Journal of Medical Systems, June 2011, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  70. Design and evaluation of a broker for secure web service composition

    Article • February 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  71. Constructing formal rules to verify message communication in distributed systems

    Article • The Journal of Supercomputing, January 2011, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  72. Resolving Impassiveness in Service Oriented Architecture

    Article • January 2011, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  73. From UML State Machines to Verifiable Lotos Specifications

    Article • January 2011, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  74. A Straightforward Algorithm to Transform Robot Control State Machines into Verifiable Lotos Specifications

    Article • January 2011, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  75. A Framework for Specifying Safe Behavior of the CIIP Medical System

    Article • January 2011, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  76. An event based formal specification method to diabetic’s behavior monitor system

    Article • Procedia Computer Science, January 2011, Elsevier

    Dr Seyed Morteza Babamir

  77. A Broker-Based Architecture for Quality-Driven Web Services Composition

    Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  78. Constructing a Model-Based Software Monitor for the Insulin Pump Behavior

    Article • Journal of Medical Systems, July 2010, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  79. Mining Bluetooth Attacks in Smart Phones

    Article • January 2010, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  80. Application of Genetic Algorithm in Automatic Software Testing

    Article • January 2010, Springer Science + Business Media

    Dr Seyed Morteza Babamir

  81. Behavioral Specification of Real-Time Requirements

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Seyed Morteza Babamir

  82. Developing a Web-Based Cooperative Environment to Software Project Development

    Article • IGI Global

    Dr Seyed Morteza Babamir

  83. Developing a Web-Based Cooperative Environment to Software Project Development

    Article • IGI Global

    Dr Seyed Morteza Babamir