
Dr Seyed Morteza Babamir
Current affiliation: University of Kashan
Subject: Computer Science
Primary location: Iran
Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample
Published in:Journal of Medical Systems
Publication date:2011-06-17
Behavioral Specification of Real-Time Requirements
Published in:2008 15th Asia-Pacific Software Engineering Conference
Publication date:2008-01-01
Real-Time Systems, Architecture, Scheduling, and Application
Published in:Not available
Publication date:2012-04-11
Design and evaluation of a broker for secure web service composition
Published in:2011 International Symposium on Computer Networks and Distributed Systems (CNDS)
Publication date:2011-02-01
Medical software runtime checking using Petri-nets & software agents
Published in:2014 4th International Conference on Computer and Knowledge Engineering (ICCKE)
Publication date:2014-10-01
A new approach for test case generation by discrete particle swarm optimization algorithm
Published in:2014 22nd Iranian Conference on Electrical Engineering (ICEE)
Publication date:2014-05-01
Software test case generation & test oracle design using neural network
Published in:2014 22nd Iranian Conference on Electrical Engineering (ICEE)
Publication date:2014-05-01
Developing a Web-Based Cooperative Environment to Software Project Development
Published in:Social Networks, Knowledge Networks, and Knowledge Resources
Publication date:Not available
Developing a Web-Based Cooperative Environment to Software Project Development
Published in:Concepts, Methodologies, Tools, and Applications
Publication date:Not available
Improving Service Accessibility in Service-Oriented HIS
Published in:Journal of Medical Systems
Publication date:2012-08-17
Runtime verification of service-oriented systems: a well-rounded survey
Published in:International Journal of Web and Grid Services
Publication date:2013-01-01
Mining Bluetooth Attacks in Smart Phones
Published in:Networked Digital Technologies
Publication date:2010-01-01
Resolving Impassiveness in Service Oriented Architecture
Published in:Communications in Computer and Information Science
Publication date:2011-01-01
From UML State Machines to Verifiable Lotos Specifications
Published in:Communications in Computer and Information Science
Publication date:2011-01-01
Specification and verification of reliability in dispatching multicast messages
Published in:The Journal of Supercomputing
Publication date:2012-11-01
Constructing formal rules to verify message communication in distributed systems
Published in:The Journal of Supercomputing
Publication date:2011-01-27
M2M Architecture: Can It Realize Ubiquitous Computing in Daily life?
Published in:KSII Transactions on Internet and Information Systems
Publication date:2012-01-01
Constructing a Model-Based Software Monitor for the Insulin Pump Behavior
Published in:Journal of Medical Systems
Publication date:2010-07-13
A Straightforward Algorithm to Transform Robot Control State Machines into Verifiable Lotos Specifications
Published in:Lecture Notes in Electrical Engineering
Publication date:2011-01-01
Synthesizing a Composite Model for Runtime Monitoring and Adapting Goal Oriented Systems
Published in:Trends in Applied Sciences Research
Publication date:2011-09-01
An artificial neural network based model for online prediction of potential deadlock in multithread programs
Published in:The 16th CSI International Symposium on Artificial Intelligence and Signal Processing (AISP 2012)
Publication date:2012-05-01
A New Sparse Representation Algorithm for Semi-supervised Signal Classification
Published in:Artificial Intelligence and Signal Processing
Publication date:2014-01-01
A Framework for Specifying Safe Behavior of the CIIP Medical System
Published in:Advances in Experimental Medicine and Biology
Publication date:2011-01-01
An ABC based approach to test case generation for BPEL processes
Published in:ICCKE 2013
Publication date:2013-10-01
A class-based link prediction using Distance Dependent Chinese Restaurant Process
Published in:Physica A Statistical Mechanics and its Applications
Publication date:2016-08-01
Mutation score evaluation in terms of object-oriented metrics
Published in:2014 4th International Conference on Computer and Knowledge Engineering (ICCKE)
Publication date:2014-10-01
A GA based method for search-space reduction of chess game-tree
Published in:Applied Intelligence
Publication date:2017-04-21
A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids
Published in:2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops)
Publication date:2016-11-01
A method for the optimum selection of datacenters in geographically distributed clouds
Published in:The Journal of Supercomputing
Publication date:2017-03-11
A new data-intensive task scheduling in optorsim, an open source grid simulator
Published in:2016 2nd International Conference on Open Source Software Computing (OSSCOM)
Publication date:2016-12-01
Optimal scheduling workflows in cloud computing environment using Pareto-based Grey Wolf Optimizer
Published in:Concurrency and Computation Practice and Experience
Publication date:2017-01-03Optimal Scheduling Workflows
Optimizing multi objective based workflow scheduling in cloud computing using black hole algorithm
Published in:2017 3th International Conference on Web Research (ICWR)
Publication date:2017-04-01
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets
Published in:Journal of Medical Systems
Publication date:2016-12-22
Toward extending apache thrift open source to alleviate SOAP service consumption
Published in:2016 2nd International Conference on Open Source Software Computing (OSSCOM)
Publication date:2016-12-01
A predictive framework for load balancing clustered web servers
Published in:The Journal of Supercomputing
Publication date:2015-12-09
Automatic verification of uml state chart by bogor model checking tool: Automatic formal verification of network and distributed systems
Published in:2015 2nd International Conference on Knowledge-Based Engineering and Innovation (KBEI)
Publication date:2015-11-01
Formal verification of UML statecharts using the LOTOS formal language
Published in:2015 2nd International Conference on Knowledge-Based Engineering and Innovation (KBEI)
Publication date:2015-11-01
Indefinite block ciphering based on variable and great length key
Published in:Security and Communication Networks
Publication date:2016-12-01IBVGLK
Runtime verification of pacemaker using fuzzy logic and colored Petri-nets
Published in:2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS)
Publication date:2015-09-01
Evaluating software architectural styles based on quality features through hierarchical analysis and Fuzzy Integral (FAHP)
Published in:2015 7th Conference on Information and Knowledge Technology (IKT)
Publication date:2015-05-01
Makespan improvement of PSO-based dynamic scheduling in cloud environment
Published in:2015 23rd Iranian Conference on Electrical Engineering
Publication date:2015-05-01
Predicting potential deadlocks in multithreaded programs
Published in:Concurrency and Computation Practice and Experience
Publication date:2015-06-25Predicting Potential Deadlocks
Achieving Key Privacy and Invisibility for Unattended Wireless Sensor Networks in Healthcare
Published in:The Computer Journal
Publication date:2013-05-08
An event based formal specification method to diabetic’s behavior monitor system
Published in:Procedia Computer Science
Publication date:2011-01-01
A Broker-Based Architecture for Quality-Driven Web Services Composition
Published in:2010 International Conference on Computational Intelligence and Software Engineering
Publication date:2010-12-01
Application of Genetic Algorithm in Automatic Software Testing
Published in:Networked Digital Technologies
Publication date:2010-01-01