|
 |
| Seyed Morteza Babamir |
|---|
| University of Kashan, Kashan |
| Regular Member |
| Personal Web Site: |
| Main page: http://www.mirlabs.net/global/index.php?c=main&a=person&id=547 |
| Short Biography |
Seyed Morteza Babamir received BS degree in Software Engineering from Ferdowsi University of Meshhad and MS and PhD degrees in Software Engineering from Tarbiat Modares University in 2002 and 2007 respectively. He was a researcher at Iran Aircraft Industries, Tehran City, Iran, from 1987 to 1993, head of Computer Center in University of Kashan, Kashan, Iran, from 1997 to 1999 and haed of Computer Engineering Department in University of Kashan from 2002 to 2005. Since 2007, he has been an assistant professor of Department of Computer Engineering in University of Kashan, Kashan, Iran. He authored one book in Software Testing, four book chapters, fourteen journal papers and more than forty international and internal conference papers (http://ce.kashanu.ac.ir/babamir/Publication.htm). He is managing director of Soft Computing Journal published by supporting University of Kashan, Kashan, Iran. Dr. Babamir is a member of the ACM. |
| List of top 5 publications in the last 5 years |
|
Book Chapters: 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:2,020), In Arabnia and Tran (Eds.), pp. 637-644, ISBN: 978-1-4419-7045-9, Springer-Berlin, March 2011. 2. S.M. Babamir. Developing a Web-based Cooperative Environment to Software Project Development, Collaboration and the Semantic Web: Social Networks, Knowledge Networks and Knowledge Resources, In S. Bruggemann and C. d'Amato (Eds.), IGI-Global, to Be Published. Journals: 3. S.M. Babamir and M.Borhani. Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample, Journal of Medical Systems (ISI Journal), June 2011, Springer. 4. S.M. Babamir. Constructing Formal Rules to Verify Message Communication in Distributed Systems, The Journal of Supercomputing (ISI Journal), Springer. 5. S.M. Babamir. Constructing a Model-Based Software Monitor for the Insulin Pump Behavior, Journal of Medical Systems (ISI Journal), Springer. |
| List of top 5 academic activities during the last 5 years |
- Head of Department of Computer Engineering, University of Kashan, Iran - Managing Director of Journal of Soft Computing Certified by Ministry of Science and Technology of Iran - Faculty Member of Department of Computer Engineering, University of Kashan, Iran - Member of Publication Committee of University of Kashan
|