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