Book Chapter:

  1. S.M. Babamir. A Framework for Specification and Verification of the CIIP Medical System Behavior, Software Tools and Algorithms for Biological  Systems, Vol. 696 of Advances in Experimental Medicine and Biology Series (Impact Factor:0,663), In Arabnia, Tran, Quoc-Nam (Eds.), 550 pp., ISBN: 978-1-4419-7045-9, Springer-Berlin, Release Date: November 29, 2010.

Journals:

  1. S.M. Babamir. Constructing a Model-Based Software Monitor for the Insulin Pump Behavior, Journal of Medical Systems (ISI Journal), Springer, DOI: 10.1007/s10916-010-9547-3, July, 2010. PDF

  2. S.M. Babamir and S. Jalili. Synthesizing a Specification-based Monitor for Safety Requirements, Iranian Journal of Science and Technology, Transaction B, Engineering (ISI Journal), 34(B3), 2010.

  3. S.M. Babamir and S. Jalili. Making real-time systems fault tolerant: a specification-based approach, Journal of Scientific & Industrial Research, 69(7), July 2010, pp. 501-509, (ISI Journal), PDF.

  4. S.M.Babamir and S. Jalili. SRG, An Approach to Generate Verification Rules for Reactive Systems, Modares Technical and Engineering Journal (ISC Journal), Accepted for Publication in Summer 2010.

  5. S.M. Babamir. Synthesizing Behavioral Model of Event-Based Requirements, Journal of Computer Science, 4(7): 530-537, 2008.

  6. S.M. Babamir and S. Jalili. EVB, An Approach to Automatic Construction of Run-time Verifier of Safety-Critical Software, Journal of Sharif (ISC Journal), 38: 81-101, 2007.

  7. S.M. Babamir and M. Mazloum Ardekani. Identification and Determination of Some Environment Contaminant Metals by Expert System, Journal of Applied Sciences, 1(4): 516-521,2001.

 

Conferences: 

  1. S.M. Babamir, R. Nowrouzi , H. Naseri. Mining Bluetooth Attacks in Smart Phones, F. Zavoral et al. (Eds.): NDT 2010, Part I, Communications in Computer and Information Science 87 (CCIS 87), pp. 241--253. Springer, Heidelberg, 2010. PDF

  2. S.M. Babamir, H.Seyedi. Modeling Timed Elaborate Requirements in Service-Oriented,   WORLDCOMP'09 - The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing, USA, LasVegas (PDF).

  3. S.M. Babamir and F.S. Babamir. Test Case Generation for Path Coverage Testing Using Genetic Algorithms,14th National Conference CSI Computer Conference, 2009.

  4. S.M. Babamir, M. Borhani Dehkordi, M. Aminee. Generating Verification Rules from Timed Automata Specifications, 14th National Conference CSI Computer Conference, 2009.

  5. H.R. Yousofian, S.M. Babamir. An Approach to Verify Behavior of Real-Time Software ,14th National Conference CSI Computer Conference, 2009.

  6. S.M. Babamir and F.S. Babamir. Behavioral Specification of Real-time Requirements, 15th Asia-Pacific Software Engineering Conference, China, IEEE Society Digital Library, 2008, China, Beijing (PDF).

  7. S.M. Babamir and F.S. Babamir. Verifying Real-time Software using Event-Calculus, 39th Mathematics Conference(AIMTH39), Kerman, 2008.

  8. S.M Babamir and S.Jalili. An Approached Based on Petri-Nets to Specify and Design of Security Policies Monitor, 13th Annual Conference of Computer Society(CSICC2008), 2008.

  9. S.M. Babamir and S.Jalili. An Approach Based on Petri-Nets and Temporal Logic to Design of a Specification-based Monitor for Reliable Messaging Communication, 16th Conference on Electrical Engineering (ICEE2008), Tehran, 2008.

  10. S.M. Babamir and S. Khabazian. Evaluating methods of qualities analysis of software architecture, 3rd International Conference on Information and Knowledge Technology, Mashad, 2007.

  11. S.M. Babamir and S.Jalili. An approach Based on Petri-Nets and Event-Calculus to analyze the Safety of Software Behavior, 3rd International Conference on Information and Knowledge Technology, Mashad, 2007.

  12. S.M.Babamir and S.Jalili. A Logical Based Approach to Detection of Intrusions against Programs, 2nd International Conference on Global E-Security, London, 2006.

  13. S.M.Babamir and S.Jalili. An Approach to Dynamic Verification and Logical Based of Distributed Systems, 11th Annual Conference of Iranian Computer Society (CSICC,2006), Tehran, 2006.

  14. S.M.Babamir and S.Jalili. An Approach to Dynamic Verification of Program Intrusion Detection Using the Event Calculus, 14th Conference on Electrical Engineering (ICEE2006), Tehran, 2006.

  15. S.M. Babamir and S.Jalili. Dynamic Analysis of Object-Oriented Programs Using State Machines and ECA Rules. 14th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-200S), Toronto, 2005.

  16. S.M.Babamir and S.Jalili. Monitoring Message Ordering in Group Communication Using Runtime Verification. 3rd international symposium on Telecommunication (IST2005) Shiraz, 2005.

  17. S.M. Babamir and S.jalili. Runtime Monitoring and Verifying of Reactive Systems Using Interval Temporal Logic, 13th Conference on Electrical Engineering, Zanjan, 2005.

  18. S.Jalili and S.M. Babamir. Design of Testing Evaluation of Reactive Systems, 2nd International Conference on Information and Knowledge Technology, Amirkabir University, Tehran, 2005.

  19. S.Jalili and S.M.Babamir. Increasing Exploitation in Project Defining, Designing and Development Based on Virtual Environments, The 1st Conference on Prevention of Wasting National Resources, The Academy of Sciences of IR, Iran, 2004.

  20. S.Jalili and S.M.Babamir. Analysis and Evaluation of Design of Software Architectural Production Line, The 1st International Conference on Information & Knowledge Technology, Tehran, 2004.

  21. S.Jalil and S.M.Babamir. Formal-based Test Generation Approach for Correctness Verification of Software, The 11th International Conference on Electrical Engineering, Shiraz, 2003.

  22. S.Jalili and S.M.Babamir. Information Management in Industrial Environments by Open Hypermedia System, The 1st Conference on Technology Management, Ministry of Energy, 2003.

  23. S.M.Babamir. Approches and Facilities for Development of Virtual University, The 1st Conference on Development of Virtual University, Kashan, 2002.

  24. S.M.Babamir and J.Habibi. Comparison and Evaluation of Reliability Estimation Models in Software Testing, The 8th Annual Conference of Computer Society, Mashad, 2001.

  25. S.jalil and S.M.Babamir. Supporting and Organizing Collaborative Information, The Armed Forces' Global Conference, Tehran, 2001.

  26. S.Jalili and S.M.Babamir. Supporting Virtual Enterprise in WWW, The International Conference on Electronic & Internet Cities, Kish Island, 2000.

  27. S.Jalil and S.M.Babamir. Construction and Generation of Program Using Persistent Hyperprogramming Environment, The 8th International Conference on Electrical Engineering, Tehran, 2000.

  28. S.M.Babamir and M.Mazloum Ardekani. Voltametric Measurement of metal Ions using Expert Systems, 10th Iranian Conference on Analytical Chemistry, Tehran, 2000.