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

1. "Optimal point removal in closed 2PM labeling"
   Mohammad Ghodsi, Farshad Rostamabadi, Ramtin Khosravi, Iman Sadeghi
   INFORMATION PROCESSING LETTERS, Vol. 105, No 3, pp.108-113, 0036
2. "Modeling and Verification of Reconfigurable Actor Families"
   Ramtin Khosravi, Hamideh Sabouri
   JOURNAL OF UNIVERSAL COMPUTER SCIENCE, Vol. 19, No 2, pp.207-232, 0033
3. "Synchrony and asynchrony in conformance testing"
   Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi, Tim Willemse
   Software and Systems Modeling, Vol. -, 0030
4. "Decentralized runtime verification of message sequences in message-based systems"
   Ramtin Khosravi, Fatemeh Ghassemi Esfahani, Mahboubeh Samadi
   ACTA INFORMATICA, Vol. 60, No 2, pp.145-178, 0016
5. "Verification of visibility-based properties on multiple moving robots in an environment with obstacles"
   Ramtin Khosravi, Ali Narenji Sheshkalani
   International Journal of Advanced Robotic Systems, Vol. 15, No 4, 0007
6. "On the security of one-round meeting location determination protocol"
   Ramtin Khosravi, Hoda Jannati
   INFORMATION PROCESSING LETTERS, Vol. 146, pp.35-38, 0006
7. "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, 0006
8. "An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models"
   Ramtin Khosravi, Ehsan Khamespanah, Marjan Sirjani
   SCIENCE OF COMPUTER PROGRAMMING, Vol. 153, pp.1-29, 0006
9. "Automated testing of an industrial stock market trading platform based on functional specification"
   Ehsan Khamespanah, Ramtin Khosravi, Seyedeh mehrnaz Shamsabadi, Hadi Safari, Arvin Zakeriyan
   SCIENCE OF COMPUTER PROGRAMMING, Vol. 225, No 225, 0006
10. "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, 0006

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

1. "Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system"
   Ehsan Khamespanah, Mohammad-javad Izadi, Zeynab Sabahi Kaviani, Marjan Sirjani, Ramtin Khosravi
   Programming systems, languages and applications based on actors, agents, and decentralized control abstractions,
2. "Actors Upgraded for Variability, Adaptability, and Determinism"
   Fatemeh Ghassemi Esfahani, Marjan Sirjani, Ehsan Khamespanah, Ramtin Khosravi
   Fifth International ABS Workshop, 2023
3. "Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models"
   Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
   10th Fundamentals of Software Engineering (FSEN), 2023
4. "Adaptive Behavioral Model Learning for Software Product Lines"
   Mohamad Reza Mosavi, Ramtin Khosravi, Carlos Diego Damasceno, Shaghayegh Tavassoli
   26th ACM International Systems and Software Product Line Conference, 2022
5. "A Benchmark for Active Learning of Variability-Intensive Systems"
   Carlos Diego Damasceno, Shaghayegh Tavassoli, Ramtin Khosravi, Mohammad Reza Mousavi
   26th ACM International Systems and Software Product Line Conference, 2022
6. "Fundamentals of Software Engineering"
   Ehsan Khamespanah, Hadi Safari, Ramtin Khosravi, Arvin Zakeriyan
   Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications, 2021
7. "Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems"
   Fatemeh Ghassemi Esfahani, Ramtin Khosravi, Mahboubeh Samadi
   24th International Conference on Principles of Distributed Systems, 2020
8. "Towards Formal Analysis of Vehicle Platoons Using Actor Model"
   Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, [] []
   2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020
9. "Finite Interval-Time Transition System for Real-Time Actors"
   Ehsan Khamespanah, Ramtin Khosravi, Shaghayegh Tavassoli
   Topics in Theoretical Computer Science, 2020
10. "Distributed Runtime Verification of LTL Properties Using Global Clock"
    Ramtin Khosravi, Fathiyeh Faghih, M. Ali Dorosty
    Fundamentals of Software Engineering, 2019
11. "Verification of Visibility-Based Properties on Multiple Moving Robots"
    Mayssam Mohammadi, Ramtin Khosravi, Ali Narenji Sheshkalani
    Towards Autonomous Robotic Systems (TAROS 2017), 2017
12. "LeeTL: LTL with quantifications over model objects"
    Ramtin Khosravi, Ehsan Khamespanah, Pouria Mellati
    the 24th ACM SIGSOFT International SPIN Symposium, 2017
13. "Purpose-based Policy Enforcement in Actor-based Systems"
    Fatemeh Ghassemi Esfahani, Ramtin Khosravi, Shahrzad Riahi
    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"
    Marjan Sirjani, Ehsan Khamespanah, Arvin Zakeriyan, Ramtin Khosravi
    Programming based on Actors, Agents, and Decentralized Control, 2015
16. "Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties"
    Ramtin Khosravi, Mohammad Kazem Fallah, Ali Narenji Sheshkalani
    Towards Autonomous Robotic Systems, 2015
17. "Modeling and Efficient Verification of Broadcasting Actors"
    Ramtin Khosravi, Fatemeh Ghassemi Esfahani, Behnaz Yousefi
    6 international on Fundamentals of Software Engineering 2015, 2015
18. "Towards Managing Data Variability in Multi Product Lines"
    Ramtin Khosravi, Niloofar Khedri
    Third International Conference on Model-Driven Engineering and Software Development, 2015
19. "Efficient TCTL Model Checking Algorithm for Timed Actors"
    Ramtin Khosravi, Ehsan Khamespanah, 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, Ramtin Khosravi, Ehsan Khamespanah, 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"
    Marjan Sirjani, Peter Olveczky, Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi
    Formal Techniques for Safety­Critical Systems, 2013
22. "Formal Techniques for Safety-Critical Systems"
    Ehsan Khamespanah, Peter Csaba Olveczky, Marjan Sirjani, Ramtin Khosravi, Zeynab Sabahi Kaviani
    Formal Techniques for Safety-Critical Systems, 2013
23. "Discrete time Markov chain families: modeling and verification of probabilistic software product lines"
    Ramtin Khosravi, Mahsa Varshosaz
    International Workshop on Formal Methods in Software Product Line Engineering, 2013
24. "Handling Database Schema Variability in Software Product Lines"
    Ramtin Khosravi, Niloofar Khedri
    Asia ­Pacific Software Engineering Conference, 2013
25. "Delta Modeling and Model Checking of Families of Actor Systems"
    Ramtin Khosravi, Hamideh Sabouri
    Fundamentals of Software Engineering 2013, 2013
26. "Modeling and Verification of Probabilistic Actor Systems using pRebeca"
    Ramtin Khosravi, مهسا ورشوساز
    14th International Conference on Formal Engineering Methods (ICFEM, 2012
27. "Timed-Rebeca Schedulability and Deadlock Freedom Analysis using Floating-Time Transition System"
    Zeynab Sabahi Kaviani, Ehsan Khamespanah, Mohammad Javad Izadi, Ramtin Khosravi, Marjan Sirjani
    AGERE! 2012, 2012
28. "Scheduling and Analysis of Real-Time Software Families"
    Ramtin Khosravi, محمد مهدی جاقوری, Frank de Boer, حمیده صبوری
    COMPSAC 2012, 2012
29. "Using Coordinated Actors to Model Families of Distributed Systems"
    Ramtin Khosravi, حمیده صبوری
    14th International Conference on Coordination Models and Languages, 2012
30. "Synchronizing Asynchronous Conformance Testing"
    Ramtin Khosravi, محمد رضا موسوی, ندا نوروزی, Tim Willemse
    Software Engineering and Formal Methods, 2011
31. "Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques"
    Ramtin Khosravi, حمیده صبوری قمی
    8th International Symposium on Formal Aspects of Component Software, 2011
32. "Towards Model­Based Testing of Electronic Funds Transfer Systems"
    Mohammad Reza Mousavi, Neda Noroozi, Ramtin Khosravi, Hamdireza Asaadi
    International Conference on Fundamentals of Software Engineering, 2011
33. "Efficient Verification of Evolving Software Product Lines"
    Hamideh Sabouri, Ramtin Khosravi
    International Conference on Fundamentals of Software Engineering, 2011
34. "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
35. "Architecture conformance checking of multi-language applications"
    Ramtin Khosravi, راضیه رحیمی
    AICCSA 2010, 2010
36. "Formal analysis of policy-based self-adaptive systems"
    Marjan Sirjani, Ramtin Khosravi, سعید جلیلی, نرگس خاکپور
    ACM SAC 2010, 2010
37. "Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures"
    امیر یزدان شناس, Ramtin Khosravi
    CSICC 2009, 2009
38. "Modeling networking issues of network-on-chip a coloured petri nets approach"
    Marjan Sirjani, Ramtin Khosravi, حمید حاجعبدالعلی, شمیم طاهری
    SimuTools 2009, 2009
39. "Alloy as a Language for Domain Modeling"
    Ramtin Khosravi, نسا اسوده
    Malaysian Software Engineering Conference, 2008
40. "An Enhanced Similarity Measure for Utilizing Web Site Structure in Web Personalization Systems"
    شقایق صاحبی, Farhad Aromchiyan, Ramtin Khosravi
    Web Intelligence and Intelligent Agent Technology, 2008
41. "Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems"
    شقایق صاحبی, Farhad Aromchiyan, Ramtin Khosravi
    IADIS European Conference on Data Mining 2008, 2008
42. "Visiting a Polygon on the Optimal Way to a Query Point"
    Ramtin Khosravi, محمد قدسی
    Frontiers of Algorithmics, 2008
43. "Modeling and Analysis of Reo Connectors Using Alloy"
    Shaghayegh Sahebi, Marjan Sirjani, Ramtin Khosravi, Nesa Asoudeh, Hamed Iravanchi
    Coordination 2008, 2008
44. "Modeling Variability in Business Process Models Using UML"
    Ramtin Khosravi, مریم رضویان
    International Conference on Information Technology: New Generations, 2008
45. "Modeling Variability in Component and Connector View of Architecture Using UML"
    Ramtin Khosravi, مریم رضویان
    ACS/IEEE International Conference on Computer Systems and Applications, 2008