Journal Paper

1. "On the security of one-round meeting location determination protocol"
   Hoda Jannati, Ramtin Khosravi
   INFORMATION PROCESSING LETTERS, Vol. 146, pp.35-38, 2019
2. "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
3. "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
4. "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
5. "An Incremental Approach to Manage Variability in Software Product Line Requirements"
   Samaneh Zamanifard, Ramtin Khosravi, Hamideh Sabouri Ghomi
   International Journal of Computer and Electrical Engineering, Vol. 7, No 1, pp.47-69, 2015
6. "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
7. "Modeling and Verification of Reconfigurable Actor Families"
   Hamideh Sabouri, Ramtin Khosravi
   JOURNAL OF UNIVERSAL COMPUTER SCIENCE, Vol. 19, No 2, pp.207-232, 2013
8. "Synchrony and asynchrony in conformance testing"
   Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse
   SOFTWARE AND SYSTEMS MODELING, Vol. -, 2013
9. "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
10. "Modeling and Analysis of Reo Connectors using Alloy"
    Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh , Shaghayegh Saheb , Hamed Iravanchi
    Coordination Models and Languages, Vol. 5052, pp.169-183, 2008
11. "Query-point visibility constrained shortest paths in simple polygons"
    Ramtin Khosravi, Mohammad Ghodsi
    Theoretical Computer Science, Vol. 389, pp.1-11, 2007
12. "Shortest Paths with Single-Point Visibility Constraint"
    Ramtin Khosravi, Mohammad Ghodsi
    Scientia Iranica, Vol. 13, No 1, 2006
13. "Shortest paths in simple polygons with polygon-meet constraints"
    Ramtin Khosravi, Mohammad Ghodsi
    INFORMATION PROCESSING LETTERS, Vol. 91, No 4, pp.171-176, 2004

Conference Paper

1. "Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system"
   Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-javad Izadi
   Programming systems, languages and applications based on actors, agents, and decentralized control abstractions,
2. "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
3. "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
4. "Verification of Visibility-Based Properties on Multiple Moving Robots"
   Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi
   Towards Autonomous Robotic Systems (TAROS 2017), 2017
5. "LeeTL: LTL with quantifications over model objects"
   Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
   the 24th ACM SIGSOFT International SPIN Symposium, 2017
6. "Incremental Variability Management in Conceptual Data Models of Software Product Lines"
   Niloofar Khedri, Ramtin Khosravi
   22nd Asia Pacific Software Engineering Conference, 2015
7. "Jacco: More Efficient Model Checking Toolset for Java Actor Programs"
   Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
   Programming based on Actors, Agents, and Decentralized Control, 2015
8. "Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties"
   Ali Narenji Sheshkalani, Ramtin Khosravi, Mohammad Kazem Fallah
   Towards Autonomous Robotic Systems, 2015
9. "Modeling and Efficient Verification of Broadcasting Actors"
   Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
   6 international on Fundamentals of Software Engineering 2015, 2015
10. "Towards Managing Data Variability in Multi Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    Third International Conference on Model-Driven Engineering and Software Development, 2015
11. "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
12. "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
13. "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
14. "Discrete time Markov chain families: modeling and verification of probabilistic software product lines"
    Mahsa Varshosaz, Ramtin Khosravi
    International Workshop on Formal Methods in Software Product Line Engineering, 2013
15. "Handling Database Schema Variability in Software Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    Asia ­Pacific Software Engineering Conference, 2013
16. "Delta Modeling and Model Checking of Families of Actor Systems"
    Hamideh Sabouri, Ramtin Khosravi
    Fundamentals of Software Engineering 2013, 2013
17. "Timed-Rebeca Schedulability and Deadlock Freedom Analysis using Floating-Time Transition System"
    Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad Javad Izadi
    AGERE! 2012, 2012
18. "Towards Model­Based Testing of Electronic Funds Transfer Systems"
    Hamdireza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi
    International Conference on Fundamentals of Software Engineering, 2011
19. "Efficient Verification of Evolving Software Product Lines"
    Ramtin Khosravi, Hamideh Sabouri
    International Conference on Fundamentals of Software Engineering, 2011
20. "An effective approach for verifying product lines in presence of variability models"
    Hamideh Sabouri, Ramtin Khosravi
    First International Workshop on Formal Methods in Software Product Line Engineering, 2010
21. "Architecture conformance checking of multi-language applications"
    Ramtin Khosravi, راضیه رحیمی
    AICCSA 2010, 2010
22. "Formal analysis of policy-based self-adaptive systems"
    نرگس خاکپور, Ramtin Khosravi, Marjan Sirjani, سعید جلیلی
    ACM SAC 2010, 2010
23. "Modeling and Analysis of Reo Connectors Using Alloy"
    Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi
    Coordination 2008, 2008