مقالات علمی چاپ شده در مجلات

1. "Efficient construction of family-based behavioral models from adaptively learned models"
   Shaghayegh Tavassoli, Ramtin Khosravi
   SOFTWARE AND SYSTEMS MODELING, Vol. 24, No 1, pp.225-251, 2024
2. "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
3. "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
4. "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
5. "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
6. "On the security of one-round meeting location determination protocol"
   Hoda Jannati, Ramtin Khosravi
   INFORMATION PROCESSING LETTERS, Vol. 146, pp.35-38, 2019
7. "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
8. "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
9. "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
10. "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
11. "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
12. "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
13. "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
14. "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
15. "Modeling and Verification of Reconfigurable Actor Families"
    Hamideh Sabouri, Ramtin Khosravi
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, Vol. 19, No 2, pp.207-232, 2013
16. "Synchrony and asynchrony in conformance testing"
    Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse
    SOFTWARE AND SYSTEMS MODELING, Vol. -, 2013
17. "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
18. "Query-point visibility constrained shortest paths in simple polygons"
    Ramtin Khosravi, Mohammad Ghodsi
    Theoretical Computer Science, Vol. 389, pp.1-11, 2007
19. "Shortest Paths with Single-Point Visibility Constraint"
    Ramtin Khosravi, Mohammad Ghodsi
    Scientia Iranica, Vol. 13, No 1, 2006
20. "Shortest paths in simple polygons with polygon-meet constraints"
    Ramtin Khosravi, Mohammad Ghodsi
    INFORMATION PROCESSING LETTERS, Vol. 91, No 4, pp.171-176, 2004
21. "تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده محور"
    علی حبیبی، رامتین خسروی
    نشریه مهندسی برق و مهندسی کامپیوتر ایران، نسخه 22، شماره 3، 1403

مقالات علمی ارائه شده در همایش‌ها

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. "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. "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
5. "Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications"
   Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
   Fundamentals of Software Engineering, 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"
   Zeinab Sharifi, 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. "Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique"
   Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi
   IFIP International Federation for Information Processing 2018, 2019
10. "Distributed Runtime Verification of LTL Properties Using Global Clock"
    M. Ali Dorosty, Fathiyeh Faghih, Ramtin Khosravi
    Fundamentals of Software Engineering, 2019
11. "Verification of Visibility-Based Properties on Multiple Moving Robots"
    Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi
    Towards Autonomous Robotic Systems (TAROS 2017), 2017
12. "LeeTL: LTL with quantifications over model objects"
    Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
    the 24th ACM SIGSOFT International SPIN Symposium, 2017
13. "Purpose-based Policy Enforcement in Actor-based Systems"
    Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi Esfahani
    7th International Conference on Fundamentals of Software Engineering, 2017
14. "Incremental Variability Management in Conceptual Data Models of Software Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    22nd Asia Pacific Software Engineering Conference, 2015
15. "Jacco: More Efficient Model Checking Toolset for Java Actor Programs"
    Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
    Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015, 2015
16. "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
17. "Modeling and Efficient Verification of Broadcasting Actors"
    Behnaz Yousefi, Fatemeh Ghassemi Esfahani, Ramtin Khosravi
    6 international on Fundamentals of Software Engineering 2015, 2015
18. "Towards Managing Data Variability in Multi Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    3rd International Conference on Model-Driven Engineering and Software Development(MODELSWARD-2015 ), 2015
19. "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
20. "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
21. "Formal Semantics and Analysis of Timed Rebeca in Real­Time Maude"
    Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Olveczky, Ehsan Khamespanah
    Formal Techniques for Safety­Critical Systems, 2013
22. "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
23. "Handling Database Schema Variability in Software Product Lines"
    Niloofar Khedri, Ramtin Khosravi
    Asia ­Pacific Software Engineering Conference, 2013
24. "Delta Modeling and Model Checking of Product Families"
    Hamideh Sabouri, Ramtin Khosravi
    Fundamentals of Software Engineering 2013, 2013
25. "Modeling and Verification of Probabilistic Actor Systems using pRebeca"
    Mahsa Varshosaz, Ramtin Khosravi
    14th International Conference on Formal Engineering Methods (ICFEM2012), 2012
26. "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, 2012
27. "Scheduling and Analysis of Real-Time Software Families"
    Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank de Boer, Ramtin Khosravi
    36th International Conference on Computer Software and Applications(2012 IEEE ), 2012
28. "Using Coordinated Actors to Model Families of Distributed Systems"
    Ramtin Khosravi, Hamideh Sabouri
    14th International Conference on Coordination Models and Languages, 2012
29. "Synchronizing Asynchronous Conformance Testing"
    Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A.C. Willemse
    Software Engineering and Formal Methods( SEFM 2011 ), 2011
30. "Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques"
    Hamideh Sabouri, Ramtin Khosravi
    8th International Symposium on Formal Aspects of Component Software, 2011
31. "Efficient Verification of Evolving Software Product Lines"
    Hamideh Sabouri, Ramtin Khosravi
    International Conference on Fundamentals of Software Engineering, 2011
32. "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
33. "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
34. "Architecture conformance checking of multi-language applications"
    Razieh Rahimi, Ramtin Khosravi
    AICCSA 2010, 2010
35. "Formal analysis of policy-based self-adaptive systems"
    Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
    ACM SAC 2010, 2010
36. "Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures"
    Amir Reza Yazdanshenas, Ramtin Khosravi
    Proceedings of the 14th International CSI Computer Conference (CSICC2009), 2009
37. "Modeling networking issues of network-on-chip a coloured petri nets approach"
    Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri
    SIMUTools 2009, 2009
38. "Alloy as a Language for Domain Modeling"
    Nesa Asoudeh, Ramtin Khosravi
    Malaysian Software Engineering Conference, 2008
39. "An Enhanced Similarity Measure for Utilizing Web Site Structure in Web Personalization Systems"
    Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi
    IEEE/WIC/ACM Iinternational Conference on Web Intelligence and Intelligent Agent Technology/2008, 2008
40. "Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems"
    Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi
    IADIS European Conference Data Mining 2008, 2008
41. "Visiting a Polygon on the Optimal Way to a Query Point"
    Ramtin Khosravi, Mohammad Ghodsi
    Frontiers of Algorithmics 2008, 2008
42. "Modeling and Analysis of Reo Connectors Using Alloy"
    Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi
    Coordination 2008, 2008
43. "Modeling Variability in Business Process Models Using UML"
    Maryam Razavian, Ramtin Khosravi
    Fifth International Conference on Information Technology: New Generations, 2008
44. "Modeling Variability in Component and Connector View of Architecture Using UML"
    Maryam Razavian, Ramtin Khosravi
    ACS/IEEE International Conference on Computer Systems and Applications, 2008