Ramtin Khosravi

Ramtin Khosravi

Academic Rank : Assistant Professor
College of Engineering / School of Electrical and Computer Engineering
Software
Contact Number : 82084918
Room : 2-508
Scopus
  • 427 Citations
  • 12 h-Index
as of : 2025-08-01
Google Scholar
  • 771 Citations
  • 15 h-Index
as of : 2025-06-29

Scholarly Works
20042024

  • 427Citations
  • 12 h-Index
  • 21 Article
  • 44 Conference
2024
حبیبی علی, Khosravi Ramtin (2024)., Iranian Journal of Electrical and Computer Engineering, 22(3).
Tavassoli Shaghayegh, Khosravi Ramtin (2024)., SOFTWARE AND SYSTEMS MODELING, 24(1), 225-251.
Riahi Shahrzad, Khosravi Ramtin, Ghassemi Esfahani Fatemeh (2024)., JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 30(4), 462-501.
2023

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.
2022

2. 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, Graz, Austria.

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, Graz, Austria.
2021

1. Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications

Zakeriyan Arvin, Khosravi Ramtin, Safari Hadi, Khamespanah Ehsan (2021)., Fundamentals of Software Engineering, 19-21 May, Tehran, Iran.
2020

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

Sharifi Zeinab, Khosravi Ramtin, Sirjani Marjan, Khamespanah Ehsan (2020)., 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 8-11 September, Vienna, Austria.

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, Tehran, Iran.
2019

1. Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique

Rahemi Fahimeh, Khamespanah Ehsan, Khosravi Ramtin (2019)., IFIP International Federation for Information Processing 2018, 17-21 June, Majorca, Spain.
Jannati Hoda, Khosravi Ramtin (2019)., INFORMATION PROCESSING LETTERS, 146(-), 35-38.

3. 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.
2018
Narenji Sheshkalani Ali, Khosravi Ramtin (2018)., INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 15(4), 172988141878665.
2017

1. 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, Guildford, England.

2. LeeTL: LTL with quantifications over model objects

Mellati Pouria, Khamespanah Ehsan, Khosravi Ramtin (2017)., the 24th ACM SIGSOFT International SPIN Symposium, 13-14 July, Santa Barbara, United States Of America (USA).

3. 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.
2015
Sabahi Kaviani Zeynab, Khosravi Ramtin, Olveczky Peter, Khamespanah Ehsan, Sirjani Marjan (2015)., SCIENCE OF COMPUTER PROGRAMMING, 113(2), 85-118.