Journal Paper

1. "Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model"
   Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
   JOURNAL OF UNIVERSAL COMPUTER SCIENCE, Vol. 30, No 4, pp.462-501, 2024
2. "Decentralized deadlock-free enforcement of message orderings in message-based systems"
   Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   JOURNAL OF COMPUTER AND SYSTEM SCIENCES, Vol. 144, No 1, 2024
3. "Automated testing of an industrial stock market trading platform based on functional specification"
   Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyedeh mehrnaz Shamsabadi
   SCIENCE OF COMPUTER PROGRAMMING, Vol. 225, No 225, 2023
4. "Decentralized runtime verification of message sequences in message-based systems"
   Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   ACTA INFORMATICA, Vol. 60, No 2, pp.145-178, 2022
5. "On the security of one-round meeting location determination protocol"
   Hoda Jannati, Ramtin Khosravi
   INFORMATION PROCESSING LETTERS, Vol. 146, pp.35-38, 2019
6. "Verification of visibility-based properties on multiple moving robots in an environment with obstacles"
   Ali Narenji Sheshkalani, Ramtin Khosravi
   International Journal of Advanced Robotic Systems, Vol. 15, No 4, 2018
7. "Verification of asynchronous systems with an unspecified component"
   Rosa Abbasi Boroujeni, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   ACTA INFORMATICA, Vol. 56, No 1, pp.1-43, 2018
8. "An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models"
   Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
   SCIENCE OF COMPUTER PROGRAMMING, Vol. 153, pp.1-29, 2018
9. "Modeling and efficient verification of wireless ad hoc networks"
   Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   FORMAL ASPECTS OF COMPUTING, Vol. 30, No 2, pp.1-36, 2017
10. "Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude"
    Zeynab Sabahi Kaviani, Ramtin Khosravi, Peter Olveczky, Ehsan Khamespanah, Marjan Sirjani
    SCIENCE OF COMPUTER PROGRAMMING, Vol. 113, No 2, pp.85-118, 2015
11. "Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system"
    Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi Kaviani, Ramtin Khosravi, Mohammad Javad Izadi
    SCIENCE OF COMPUTER PROGRAMMING, Vol. 98, No 1, pp.184-204, 2015
12. "An Incremental Approach to Manage Variability in Software Product Line Requirements"
    Samaneh Zamanifard, Ramtin Khosravi, Hamideh Sabouri
    International Journal of Computer and Electrical Engineering, Vol. 7, No 1, pp.47-69, 2015
13. "Reducing the verification cost of evolving product families using static analysis techniques"
    Hamideh Sabouri, Ramtin Khosravi
    SCIENCE OF COMPUTER PROGRAMMING, Vol. 83, No 83, pp.35-55, 2014
14. "Modeling and Verification of Reconfigurable Actor Families"
    Hamideh Sabouri, Ramtin Khosravi
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, Vol. 19, No 2, pp.207-232, 2013
15. "Synchrony and asynchrony in conformance testing"
    Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse
    SOFTWARE AND SYSTEMS MODELING, Vol. -, 2013
16. "Optimal point removal in closed-2PM labeling☆"
    Farshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, Ramtin Khosravi
    INFORMATION PROCESSING LETTERS, Vol. 105, No 3, pp.108-113, 2008
17. "Query-point visibility constrained shortest paths in simple polygons"
    Ramtin Khosravi, Mohammad Ghodsi
    Theoretical Computer Science, Vol. 389, pp.1-11, 2007
18. "Shortest Paths with Single-Point Visibility Constraint"
    Ramtin Khosravi, Mohammad Ghodsi
    Scientia Iranica, Vol. 13, No 1, 2006
19. "Shortest paths in simple polygons with polygon-meet constraints"
    Ramtin Khosravi, Mohammad Ghodsi
    INFORMATION PROCESSING LETTERS, Vol. 91, No 4, pp.171-176, 2004
20. "Automatic Test-Case Generation Based on Rule-Based Behavioral Specification"
    علی حبیبی, Ramtin Khosravi
    Iranian Journal of Electrical and Computer Engineering, Vol. 22, No 3, 2024

Conference Paper

1. "Actors Upgraded for Variability, Adaptability, and Determinism"
   Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, Marjan Sirjani
   Fifth International ABS Workshop, 2023
2. "Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models"
   Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
   10th Fundamentals of Software Engineering (FSEN), 2023
3. "Adaptive Behavioral Model Learning for Software Product Lines"
   Shaghayegh Tavassoli, Carlos Diego Damasceno, Ramtin Khosravi, Mohamad Reza Mosavi
   26th ACM International Systems and Software Product Line Conference, 2022
4. "A Benchmark for Active Learning of Variability-Intensive Systems"
   Shaghayegh Tavassoli, Carlos Diego Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
   26th ACM International Systems and Software Product Line Conference, 2022
5. "Fundamentals of Software Engineering"
   Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
   Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications, 2021
6. "Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems"
   Mahboubeh Samadi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   24th International Conference on Principles of Distributed Systems, 2020
7. "Towards Formal Analysis of Vehicle Platoons Using Actor Model"
   [] [], Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
   2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020
8. "Finite Interval-Time Transition System for Real-Time Actors"
   Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
   Topics in Theoretical Computer Science, 2020
9. "Distributed Runtime Verification of LTL Properties Using Global Clock"
   M. Ali Dorosty, Fathiyeh Faghih, Ramtin Khosravi
   Fundamentals of Software Engineering, 2019
10. "Verification of Visibility-Based Properties on Multiple Moving Robots"
    Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi
    Towards Autonomous Robotic Systems (TAROS 2017), 2017
11. "LeeTL: LTL with quantifications over model objects"
    Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
    the 24th ACM SIGSOFT International SPIN Symposium, 2017
12. "Purpose-based Policy Enforcement in Actor-based Systems"
    Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
    7th International Conference on Fundamentals of Software Engineering, 2017
13. "Modeling and Efficient Verification of Broadcasting Actors"
    Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    6 international on Fundamentals of Software Engineering 2015, 2015
14. "Towards Managing Data Variability in Multi Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    Third International Conference on Model-Driven Engineering and Software Development, 2015
15. "Event-based Analysis of Timed Rebeca Models using SQL"
    Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
    Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014
16. "Efficient TCTL Model Checking Algorithm for Timed Actors"
    Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
    Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, 2014
17. "Formal Semantics and Analysis of Timed Rebeca in Real­Time Maude"
    Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Olveczky, Ehsan Khamespanah
    Formal Techniques for Safety­Critical Systems, 2013
18. "Handling Database Schema Variability in Software Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    Asia ­Pacific Software Engineering Conference, 2013