- دوشنبه، ۲۷ اسفند ۱۴۰۳
EN
FA
ورود
راهنما
Toggle navigation
صفحه اصلی
اساتید
پردیس و دانشکده ها
فعالیت های علمی
طرح های کاربردی
پایان نامه ها
افتخارات
رامتین خسروی
مرتبه علمی : استادیار
دانشکدگان فنی / دانشکده مهندسی برق و کامپیوتر
نرم افزار
شماره تماس : ۸۲۰۸۴۹۱۸
اتاق : ۲-۵۰۸
پست الکترونیکی
رزومه
دانلود
۳۹۰
ارجاعات
۱۱
h-Index
تا تاریخ :
۱۴۰۳/۱۲/۱۱
۷۴۳
ارجاعات
۱۵
h-Index
تا تاریخ :
۱۴۰۳/۱۲/۱۲
نمای کلی
کلمات کلیدی
شبکه همکاری
فعالیت های علمی
طرح های کاربردی
افتخارات
پایان نامه ها و رساله ها
آزمایشگاه ها/آتلیه ها
دروس ارائه شده
فعالیت های علمی
۱۳۸۳
۱۴۰۳
۳۹۰
ارجاعات
۱۱
h-Index
۲۰
مقاله
۱۸
کنفرانس
نمودار فعالیت های علمی بر حسب سال
۱ - ۲۵ از ۳۸ نتیجه
تاریخ انتشار (نزولی)
تاریخ انتشار (نزولی)
عنوان (صعودی)
نوع (صعودی)
تاریخ انتشار (نزولی)
عنوان (صعودی)
نوع (صعودی)
۱۴۰۳
۱. تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده محور
حبیبی علی،
خسروی رامتین
(۱۴۰۳).، نشریه مهندسی برق و مهندسی کامپیوتر ایران، ۲۲(۳).
2. Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model
Riahi Shahrzad،
Khosravi Ramtin
،
Ghassemi Esfahani Fatemeh
(2024)., JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 30(4), 462-501.
3. Decentralized deadlock-free enforcement of message orderings in message-based systems
Samadi Mahboubeh،
Ghassemi Esfahani Fatemeh
،
Khosravi Ramtin
(2024)., JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 144(1).
۱۴۰۲
1. Actors Upgraded for Variability, Adaptability, and Determinism
Khosravi Ramtin
،
Khamespanah Ehsan
،
Ghassemi Esfahani Fatemeh
، Sirjani Marjan (2023)., Fifth International ABS Workshop, 4-6 October, Lyon, France.
2. Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
Khamespanah Ehsan
، Sirjani Marjan،
Khosravi Ramtin
(2023)., 10th Fundamentals of Software Engineering (FSEN), 4-5 May, Tehran, Iran.
۱۴۰۱
1. Automated testing of an industrial stock market trading platform based on functional specification
Zakeriyan Arvin،
Khosravi Ramtin
، Safari Hadi،
Khamespanah Ehsan
، Shamsabadi Seyedeh mehrnaz (2023)., SCIENCE OF COMPUTER PROGRAMMING, 225(225), 102908.
2. Decentralized runtime verification of message sequences in message-based systems
Samadi Mahboubeh،
Ghassemi Esfahani Fatemeh
،
Khosravi Ramtin
(2022)., ACTA INFORMATICA, 60(2), 145-178.
3. A Benchmark for Active Learning of Variability-Intensive Systems
Tavassoli Shaghayegh، Damasceno Carlos Diego، Mousavi Mohammad Reza،
Khosravi Ramtin
(2022)., 26th ACM International Systems and Software Product Line Conference, 12-16 September, Austria.
4. Adaptive Behavioral Model Learning for Software Product Lines
Tavassoli Shaghayegh، Damasceno Carlos Diego،
Khosravi Ramtin
، Mosavi Mohamad Reza (2022)., 26th ACM International Systems and Software Product Line Conference, 12-16 September, Austria.
۱۴۰۰
1. Fundamentals of Software Engineering
Zakeriyan Arvin،
Khosravi Ramtin
، Safari Hadi،
Khamespanah Ehsan
(2021)., Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications, 19-21 May, Tehran, Iran.
۱۳۹۹
1. Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems
Samadi Mahboubeh،
Ghassemi Esfahani Fatemeh
،
Khosravi Ramtin
(2020)., 24th International Conference on Principles of Distributed Systems, 14-16 December, Strasbourg, France.
2. Towards Formal Analysis of Vehicle Platoons Using Actor Model
[] []،
Khosravi Ramtin
، Sirjani Marjan،
Khamespanah Ehsan
(2020)., 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 8-11 September.
3. Finite Interval-Time Transition System for Real-Time Actors
Tavassoli Shaghayegh،
Khosravi Ramtin
،
Khamespanah Ehsan
(2020)., Topics in Theoretical Computer Science, 1-2 July.
۱۳۹۸
1. On the security of one-round meeting location determination protocol
Jannati Hoda،
Khosravi Ramtin
(2019)., INFORMATION PROCESSING LETTERS, 146(-), 35-38.
2. Distributed Runtime Verification of LTL Properties Using Global Clock
Dorosty M. Ali،
Faghih Fathiyeh
،
Khosravi Ramtin
(2019)., Fundamentals of Software Engineering, 17-19 April, Tehran, Iran.
۱۳۹۷
1. Verification of visibility-based properties on multiple moving robots in an environment with obstacles
Narenji Sheshkalani Ali،
Khosravi Ramtin
(2018)., International Journal of Advanced Robotic Systems, 15(4), 172988141878665.
۱۳۹۶
1. Verification of asynchronous systems with an unspecified component
Abbasi Boroujeni Rosa،
Ghassemi Esfahani Fatemeh
،
Khosravi Ramtin
(2018)., ACTA INFORMATICA, 56(1), 1-43.
2. An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
Khamespanah Ehsan،
Khosravi Ramtin
، Sirjani Marjan (2018)., SCIENCE OF COMPUTER PROGRAMMING, 153(-), 1-29.
3. Verification of Visibility-Based Properties on Multiple Moving Robots
Narenji Sheshkalani Ali،
Khosravi Ramtin
، Mohammadi Mayssam (2017)., Towards Autonomous Robotic Systems (TAROS 2017), 19-21 July, England.
4. LeeTL: LTL with quantifications over model objects
Mellati Pouria، Khamespanah Ehsan،
Khosravi Ramtin
(2017)., the 24th ACM SIGSOFT International SPIN Symposium, 13-14 July, United States Of America (USA).
5. Purpose-based Policy Enforcement in Actor-based Systems
Riahi Shahrzad،
Khosravi Ramtin
،
Ghassemi Esfahani Fatemeh
(2017)., 7th International Conference on Fundamentals of Software Engineering, 26-28 April, Tehran, Iran.
6. Modeling and efficient verification of wireless ad hoc networks
Yousefi Behnaz،
Ghassemi Esfahani Fatemeh
،
Khosravi Ramtin
(2017)., FORMAL ASPECTS OF COMPUTING, 30(2), 1-36.
۱۳۹۴
1. Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Sabahi Kaviani Zeynab،
Khosravi Ramtin
، Olveczky Peter، Khamespanah Ehsan، Sirjani Marjan (2015)., SCIENCE OF COMPUTER PROGRAMMING, 113(2), 85-118.
2. Modeling and Efficient Verification of Broadcasting Actors
Yousefi Behnaz،
Ghassemi Esfahani Fatemeh
،
Khosravi Ramtin
(2015)., 6 international on Fundamentals of Software Engineering 2015, 22-24 April, Tehran, Iran.
۱۳۹۳
1. Towards Managing Data Variability in Multi Product Lines
Khedri Niloofar،
Khosravi Ramtin
(2015)., Third International Conference on Model-Driven Engineering and Software Development, 9-11 February, France.
۱
۲
»
×
فایل مقاله