رامتین خسروی

2. Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model

Riahi Shahrzad، Khosravi Ramtin، Ghassemi Esfahani Fatemeh (2024)., JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 30(4), 462-501.

3. Decentralized deadlock-free enforcement of message orderings in message-based systems

Samadi Mahboubeh، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2024)., JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 144(1).

1. Actors Upgraded for Variability, Adaptability, and Determinism

Khosravi Ramtin، Khamespanah Ehsan، Ghassemi Esfahani Fatemeh، Sirjani Marjan (2023)., Fifth International ABS Workshop, 4-6 October, Lyon, France.

2. Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models

Khamespanah Ehsan، Sirjani Marjan، Khosravi Ramtin (2023)., 10th Fundamentals of Software Engineering (FSEN), 4-5 May, Tehran, Iran.

1. Automated testing of an industrial stock market trading platform based on functional specification

Zakeriyan Arvin، Khosravi Ramtin، Safari Hadi، Khamespanah Ehsan، Shamsabadi Seyedeh mehrnaz (2023)., SCIENCE OF COMPUTER PROGRAMMING, 225(225), 102908.

2. Decentralized runtime verification of message sequences in message-based systems

Samadi Mahboubeh، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2022)., ACTA INFORMATICA, 60(2), 145-178.

3. A Benchmark for Active Learning of Variability-Intensive Systems

Tavassoli Shaghayegh، Damasceno Carlos Diego، Mousavi Mohammad Reza، Khosravi Ramtin (2022)., 26th ACM International Systems and Software Product Line Conference, 12-16 September, Graz, Austria.

4. Adaptive Behavioral Model Learning for Software Product Lines

Tavassoli Shaghayegh، Damasceno Carlos Diego، Khosravi Ramtin، Mosavi Mohamad Reza (2022)., 26th ACM International Systems and Software Product Line Conference, 12-16 September, Graz, Austria.

1. Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems

Samadi Mahboubeh، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2020)., 24th International Conference on Principles of Distributed Systems, 14-16 December, Strasbourg, France.

2. Towards Formal Analysis of Vehicle Platoons Using Actor Model

Sharifi Zeinab، Khosravi Ramtin، Sirjani Marjan، Khamespanah Ehsan (2020)., 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 8-11 September, Vienna, Austria.

1. On the security of one-round meeting location determination protocol

Jannati Hoda، Khosravi Ramtin (2019)., INFORMATION PROCESSING LETTERS, 146(-), 35-38.

2. Distributed Runtime Verification of LTL Properties Using Global Clock

Dorosty M. Ali، Faghih Fathiyeh، Khosravi Ramtin (2019)., Fundamentals of Software Engineering, 17-19 April, Tehran, Iran.

1. Verification of visibility-based properties on multiple moving robots in an environment with obstacles

Narenji Sheshkalani Ali، Khosravi Ramtin (2018)., INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 15(4), 172988141878665.

1. Verification of asynchronous systems with an unspecified component

Abbasi Boroujeni Rosa، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2018)., ACTA INFORMATICA, 56(1), 1-43.

2. An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

Khamespanah Ehsan، Khosravi Ramtin، Sirjani Marjan (2018)., SCIENCE OF COMPUTER PROGRAMMING, 153(-), 1-29.

3. LeeTL: LTL with quantifications over model objects

Mellati Pouria، Khamespanah Ehsan، Khosravi Ramtin (2017)., the 24th ACM SIGSOFT International SPIN Symposium, 13-14 July, Santa Barbara, United States Of America (USA).

4. Purpose-based Policy Enforcement in Actor-based Systems

Riahi Shahrzad، Khosravi Ramtin، Ghassemi Esfahani Fatemeh (2017)., 7th International Conference on Fundamentals of Software Engineering, 26-28 April, Tehran, Iran.

5. Modeling and efficient verification of wireless ad hoc networks

Yousefi Behnaz، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2017)., FORMAL ASPECTS OF COMPUTING, 30(2), 1-36.

1. Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude

Sabahi Kaviani Zeynab، Khosravi Ramtin، Olveczky Peter، Khamespanah Ehsan، Sirjani Marjan (2015)., SCIENCE OF COMPUTER PROGRAMMING, 113(2), 85-118.

2. Modeling and Efficient Verification of Broadcasting Actors

Yousefi Behnaz، Ghassemi Esfahani Fatemeh، Khosravi Ramtin (2015)., 6 international on Fundamentals of Software Engineering 2015, 22-24 April, Tehran, Iran.

1. Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Khamespanah Ehsan، Sirjani Marjan، Sabahi Kaviani Zeynab، Khosravi Ramtin، Izadi Mohammad Javad (2015)., SCIENCE OF COMPUTER PROGRAMMING, 98(1), 184-204.

2. An Incremental Approach to Manage Variability in Software Product Line Requirements

Zamanifard Samaneh، Khosravi Ramtin، Sabouri Hamideh (2015)., International Journal of Computer and Electrical Engineering, 7(1), 47-69.

3. Event-based Analysis of Timed Rebeca Models using SQL

Magnusson Brynjar، Khamespanah Ehsan، Khosravi Ramtin، Sirjani Marjan (2014)., Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 20 October, Portland, United States Of America (USA).

4. Reducing the verification cost of evolving product families using static analysis techniques

Sabouri Hamideh، Khosravi Ramtin (2014)., SCIENCE OF COMPUTER PROGRAMMING, 83(83), 35-55.