رزومه وب سایت شخصی
QR


سیدمرتضی بابامیر

سیدمرتضی بابامیر

استاد

دانشکده: دانشکده مهندسی برق و کامپیوتر

گروه: مهندسی نرم افزار

مقطع تحصیلی: دکترای تخصصی

رزومه وب سایت شخصی
QR
سیدمرتضی بابامیر

استاد سیدمرتضی بابامیر

دانشکده: دانشکده مهندسی برق و کامپیوتر - گروه: مهندسی نرم افزار مقطع تحصیلی: دکترای تخصصی |

Please see the following link
http://se.kashanu.ac.ir/babamir

My affiliation

مرتبه علمی: استاد

دکتری تخصصی مهندسی نرم افزار: دانشگاه تربیت مدرس

کارشناسی ارشد مهندسی نرم افزار: دانشگاه تربیت مدرس

کارشناسی مهندسی نرم افزار: دانشگاه فردوسی مشهد

مدیر گروه مهندسی کامپیوتر: از بهمن 99 تا کنون

نمایش بیشتر

مقالات در نشریات

#عنوان مقالهنویسندگاننشریهتاریخ انتشار
 
۶۱Specification and Verification of Medical Monitoring System Using Petri-netsN.Majma and S.M.BabamirJournal of Medical Signals and Sensors2014-07-12
۶۲Run-time Verification of Service-oriented Systems: A Well-rounded SurveyR. Babaee and S.M. BabamirInternational Journal of Web and Grid Services2013-08-06
۶۳Specification and verification of reliability in dispatching multicast messagesسید مرتضی بابامیرJournal of Supercomputing2013-02-09
۶۴Improving Service Accessibility in Service-Oriented HISسید مرتضی بابامیر,مسعود عرب فردJournal of Medical Systems2012-12-10
۶۵Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architectureهدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتیJournal of Information Systems and Telecommunication2012-10-10
۶۶Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sampleسید مرتضی بابامیر,مهدی برهانیJournal of Medical Systems2012-08-10
۶۷تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزارسید مرتضی بابامیر,ویدا احمدی ثابتنشریه مهندسی برق و مهندسی کامپیوتر ایران2012-06-08
۶۸Active Program Analysis Using Rule-Based Modification and AspectationS.M. BabamirُStudies in Informatics and Control2011-11-11
۶۹A Framework for Specifying Safe Behavior of the CIIP Medical SystemS.M. BabamirAdvances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems2011-03-15
۷۰Constructing Formal Rules to verify Message Communication in Distributed SystemsS.M. BabamirThe Journal of Supercomputing2011-01-27
۷۱Constructing a Model-Based Software Monitor for the Insulin Pump BehaviorS.M. BabamirJournal of Medical Systems2010-07-13
۷۲Making real-time systems fault tolerant: a specification-based approachS.M. Babamir and S.JaliliJournal of Scientific and Industrial Research2010-07-11
۷۳Synthesizing A Specification-Based Monitor For Safety RequirementsS.M. Babamir and S.JaliliIranian Journal of Science & Technology, Transaction B: Engineering2010-06-01
۷۴Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Softwareمینا چاوشی,سید مرتضی بابامیرCAII transactions on intelligent technology1970-01-01
۷۵Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Softwareمینا چاوشی,سید مرتضی بابامیرCAII transactions on intelligent technology0000-00-00
۷۶Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systemsساناز شیخی-سید مرتضی بابامیرAPPL INTELL2017-9-01
۷۷Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testingمحمد علی سعادت جو-سید مرتضی بابامیر2017-9-01
۷۸Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based schedulingمهشید هلالی مقدم-سید مرتضی بابامیر2017-9-01
۷۹Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizerازاده خلیلی اردلی-سید مرتضی بابامیرCONCURR COMP-PRACT E2017-6-01
۸۰An Innovative Model-Driven Slicing Approach for Testing Adaptive Softwareساناز شیخی-سید مرتضی بابامیر2017-6-01
نمایش ۶۱ تا ۸۰ مورد از کل ۹۸ مورد.