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
  • 390 Citations
  • 11 h-Index
as of : 2025-03-15
Google Scholar
  • 743 Citations
  • 15 h-Index
as of : 2025-03-02

Scholarly Works
20042024

  • 390Citations
  • 11 h-Index
  • 20 Article
  • 18 Conference
2024
حبیبی علی, Khosravi Ramtin (2024)., Iranian Journal of Electrical and Computer Engineering, 22(3).
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. 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.

3. 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.
2021

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

[] [], 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.
2019
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.
2018
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.
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, 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, 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.

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.

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