مقالات چاپ شده در نشریات بینالمللی
- Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh , Shaghayegh Saheb , and Hamed Iravanchi . "Modeling and Analysis of Reo Connectors using Alloy." Coordination Models and Languages 5052, no. --- (2008): 169-183.
- Farshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, and Ramtin Khosravi. "Optimal point removal in closed 2PM labeling." INFORMATION PROCESSING LETTERS 105, no. 3 (2008): 108-113.
- Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, and Tim Willemse. "Synchrony and asynchrony in conformance testing." Software and Systems Modeling -, no. - (2013): -.
- Hamideh Sabouri, and Ramtin Khosravi. "Modeling and Verification of Reconfigurable Actor Families." JOURNAL OF UNIVERSAL COMPUTER SCIENCE 19, no. 2 (2013): 207-232.
- Hamideh Sabouri, and Ramtin Khosravi. "Reducing the verification cost of evolving product families using static analysis techniques." SCIENCE OF COMPUTER PROGRAMMING 83, no. 83 (2014): 35-55.
- Zeynab Sabahi Kaviani, Ramtin Khosravi, Peter Olveczky, Ehsan Khamespanah, and Marjan Sirjani. "Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude." SCIENCE OF COMPUTER PROGRAMMING 113, no. 2 (2015): 85-118.
- Ehsan Khamespanah, Ramtin Khosravi, and Marjan Sirjani. "An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models." SCIENCE OF COMPUTER PROGRAMMING 153, no. - (2018): 1-29.
- Ali Narenji Sheshkalani, and Ramtin Khosravi. "Verification of visibility-based properties on multiple moving robots in an environment with obstacles." International Journal of Advanced Robotic Systems 15, no. 4 (2018): 172988141878665.
- Hoda Jannati, and Ramtin Khosravi. "On the security of one-round meeting location determination protocol." INFORMATION PROCESSING LETTERS 146, no. - (2019): 35-38.
همایشهای بینالمللی
- Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, and Hamed Iravanchi. "Modeling and Analysis of Reo Connectors Using Alloy." Coordination 2008,.
- , Ramtin Khosravi, Marjan Sirjani, and . "Formal analysis of policy-based self-adaptive systems." ACM SAC 2010,.
- Ramtin Khosravi, and . "Architecture conformance checking of multi-language applications." AICCSA 2010, Hammamet.
- Hamideh Sabouri, and Ramtin Khosravi. "An effective approach for verifying product lines in presence of variability models." First International Workshop on Formal Methods in Software Product Line Engineering,.
- Ramtin Khosravi, and Hamideh Sabouri. "Efficient Verification of Evolving Software Product Lines." International Conference on Fundamentals of Software Engineering,.
- Hamdireza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, and Neda Noroozi. "Towards ModelBased Testing of Electronic Funds Transfer Systems." International Conference on Fundamentals of Software Engineering,.
- Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, and Mohammad Javad Izadi. "Timed-Rebeca Schedulability and Deadlock Freedom Analysis using Floating-Time Transition System." AGERE! 2012, Tehran.
- Hamideh Sabouri, and Ramtin Khosravi. "Delta Modeling and Model Checking of Families of Actor Systems." Fundamentals of Software Engineering 2013, Tehran.
- Niloofar Khedri, and Ramtin Khosravi. "Handling Database Schema Variability in Software Product Lines." Asia Pacific Software Engineering Conference,.
- Mahsa Varshosaz, and Ramtin Khosravi. "Discrete time Markov chain families: modeling and verification of probabilistic software product lines." International Workshop on Formal Methods in Software Product Line Engineering,.
- Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Olveczky, and Ehsan Khamespanah. "Formal Semantics and Analysis of Timed Rebeca in RealTime Maude." Formal Techniques for SafetyCritical Systems,.
- Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, and Marjan Sirjani. "Event-based Analysis of Timed Rebeca Models using SQL." Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, Portland.
- Ehsan Khamespanah, Ramtin Khosravi, and Marjan Sirjani. "Efficient TCTL Model Checking Algorithm for Timed Actors." Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, Portland.
- Niloofar Khedri, and Ramtin Khosravi. "Towards Managing Data Variability in Multi Product Lines." Third International Conference on Model-Driven Engineering and Software Development,.
- Behnaz Yousefi, Fatemeh Ghassemi Esfahani, and Ramtin Khosravi. "Modeling and Efficient Verification of Broadcasting Actors." 6 international on Fundamentals of Software Engineering 2015, Tehran.
- Ali Narenji Sheshkalani, Ramtin Khosravi, and Mohammad Kazem Fallah. "Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties." Towards Autonomous Robotic Systems, Liverpool.
- Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, and Ramtin Khosravi. "Jacco: More Efficient Model Checking Toolset for Java Actor Programs." Programming based on Actors, Agents, and Decentralized Control, Pittsburgh.
- Niloofar Khedri, and Ramtin Khosravi. "Incremental Variability Management in Conceptual Data Models of Software Product Lines." 22nd Asia Pacific Software Engineering Conference, New Delhi.
- Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi. "LeeTL: LTL with quantifications over model objects." the 24th ACM SIGSOFT International SPIN Symposium,.
- Ali Narenji Sheshkalani, Ramtin Khosravi, and Mayssam Mohammadi. "Verification of Visibility-Based Properties on Multiple Moving Robots." Towards Autonomous Robotic Systems (TAROS 2017),.
- Fahimeh Rahemi, Ehsan Khamespanah, and Ramtin Khosravi. "Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique." IFIP International Conference on Distributed Applications and Interoperable Systems,.
- Shaghayegh Tavassoli, Carlos Diego Damasceno, Ramtin Khosravi, and Mohamad Reza Mosavi. "Adaptive Behavioral Model Learning for Software Product Lines." 26th ACM International Systems and Software Product Line Conference,.
- Shaghayegh Tavassoli, Carlos Diego Damasceno, Mohammad Reza Mousavi, and Ramtin Khosravi. "A Benchmark for Active Learning of Variability-Intensive Systems." 26th ACM International Systems and Software Product Line Conference,.
- Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, and Mohammad-javad Izadi. "Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system." Programming systems, languages and applications based on actors, agents, and decentralized control abstractions,.