رامتین خسروی

رامتین خسروی

مرتبه علمی : استادیار
دانشکدگان فنی / دانشکده مهندسی برق و کامپیوتر
نرم افزار
شماره تماس : ۸۲۰۸۴۹۱۸
اتاق : ۲-۵۰۸
Scopus
  • ۳۹۰ ارجاعات
  • ۱۱ h-Index
تا تاریخ : ۱۴۰۳/۱۲/۱۱
Google Scholar
  • ۷۴۳ ارجاعات
  • ۱۵ h-Index
تا تاریخ : ۱۴۰۳/۱۲/۱۲

فعالیت های علمی
۱۳۸۳۱۴۰۳

  • ۳۹۰ارجاعات
  • ۱۱ h-Index
  • ۲۰ مقاله
  • ۱۸ کنفرانس
۱۴۰۳
حبیبی علی، خسروی رامتین (۱۴۰۳).، نشریه مهندسی برق و مهندسی کامپیوتر ایران، ۲۲(۳).
Riahi Shahrzad، Khosravi Ramtin، Ghassemi Esfahani Fatemeh (2024)., JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 30(4), 462-501.
۱۴۰۲

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.
۱۴۰۱
Zakeriyan Arvin، Khosravi Ramtin، Safari Hadi، Khamespanah Ehsan، Shamsabadi Seyedeh mehrnaz (2023)., SCIENCE OF COMPUTER PROGRAMMING, 225(225), 102908.

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.
۱۳۹۸
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.
۱۳۹۷
Narenji Sheshkalani Ali، Khosravi Ramtin (2018)., International Journal of Advanced Robotic Systems, 15(4), 172988141878665.
۱۳۹۶
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.
Yousefi Behnaz، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2017)., FORMAL ASPECTS OF COMPUTING, 30(2), 1-36.
۱۳۹۴
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.