BOOKS

 

  1. Activity Diagram Testing Using Colored Petri Net Theory. ISBN No.9789673540051, 2009 (In English) Publisher: UTM
  2. Testing and Verification of UML Activity Diagram via Petri Net Theory. ISBN No. 9789835206207, 2009 (In English) Publisher: UTM

 

 

RESEARCH PROJECTS

 

  1. Structural Comparison Between BPEL and eflow to Propose a Tool for Qualitative Evaluation Based on Colored Petri Net, Employer: IAU, Status: Finished

 

INTERNATIONAL CONFERENCES

 

  1. Learning Flexible Neural Networks for Pattern Recognition. Proc of International Conference on Computer, Information and System Science, Bangkok, Thailand, January 29-31, 2007 [PRESENTED]
  2. Reliability Testing of UML Activity Diagram Using Fuzzy Petri Net. World Congress on Science, Engineering and Technology, (WCSET), Rome, Italy, 2009[PRESENTED]
  3. Evaluating Reliability of System Sequence Diagram Using Fuzzy Petri Net. International Joint Journal Conference in Engineering, 1(1), 142-147, 2009
  4. Towards Evaluation of Service Oriented Architecture Using Petri Net Theory. Asia-Pacific Software Engineering Conference, (APSEC), Penang, Malaysia, 2009[PRESENTED]
  5. Towards Validation of E-Services Composition: Transforming eFlow to Petri-Nets. In the Proceedings of the International Conference on Software Engineering Research and Practice (SERP'10). Las Vegas, Nevada, USA, June 2010[PRESENTED]
  6. Transforming Polymorphic Process Model to Petri Net: A Formal Way for Validating Workflow-Based Web Service Composition.2nd International Conference on Software Engineering and Service Science, (ICSESS), IEEE, Beijing, China, 2011[PRESENTED]
  7. Evaluating The Reliability of Communication Diagram Using Fuzzy Petri Net. 2nd International Conference on Software Engineering and Service Science, (ICSESS), IEEE, Beijing, China, 2011[PRESENTED]
  8. Designing and Analysis of Mobile Agent in Network Management Using Petri Net. 3rd International Conference on Machine Learning and Computing (ICMLC), Singapore, 2011 [PRESENTED] 
  9. Evaluating Throughput of System Sequence Diagram Using Fuzzy Petri Net. International Conference on Recent Trends in Computer and Information Engineering, (ICRTCIE'2012), April, 13-15, Pattaya, Thailand, 2012
  10. Model-checking of Hierarchical Predicate Transition Nets using Modere, Fundamentals of Software Engineering FSEN, Tehran, Iran, 2015 

 

JOURNALS: ISI, ISC

 

  1. Mapping to Convert Activity Diagram in Fuzzy UML to Fuzzy Petri Net. World Applied Science Journal, Volume 3, Number 3, 2008
  2. Transforming Fuzzy State Diagram to Fuzzy Petri Net. Journal of Computer Engineering, Volume 1, Number 1 , July 2009
  3. Comparison of Decision Tree and SVM Methods in Classification of Researcher's Cognitive Styles in Academic Environment. Indian Journal of Automation and Artificial Intelligence, Volume 1, Issue 1, January 2013
  4. Selection of Appropriate Software Architecture Style with Square Spline in Style based Systems. Indian Journal of Science and Technology, Vol 7(6), 804–808, June 2014
  5. QoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net. The Scientific World Journal, vol. 2014, Article ID 847930, 14 pages, July 2014
  6. License Plate Detection Using Sobel Operator. Journal of Advances in Computer Research, Journal of Advances in Computer Research,(Vol. 6, No. 3, August 2015, Pages: 1-8 
  7. Prediction of Air Pollution in Tehran based on Evolutionary Models, Indian Journal of Science and Technology, Vol 8(35), December 2015
  8. Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow, IJE TRANSACTIONS A: Basics Vol. 28, No. 10, October 2015, 1439-1446
  9. Comparsion of Decision Tree Methods in classification of researcher's cognitive styles in Academic Environment,  74:1, 2015, 223–231
  10. Predicting air pollution in Tehran: Genetic algorithm and back propagation neural network, Vol 4, No 1, 2016, 49-54

 

SCIENTIFIC LECTURES

 

  1. How to Write a Research Proposal?, December 2013, Islamic Azad University, Sari Branch
  2. Selection of Appropriate Software Architecture Style with Square Spline as Interpolation Functions, February 2013, Islamic Azad University, Sari Branch
  3. Anticipation Using Fuzzy Logic, December 2014, Islamic Azad University, Sari Branch