| 2022 | SPLC | A benchmark for active learning of variability-intensive systems. | Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi |
| 2022 | SPLC | Adaptive behavioral model learning for software product lines. | Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi |
| 2020 | ETFA | Towards Formal Analysis of Vehicle Platoons Using Actor Model. | Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah |
| 2020 | OPODIS | Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. | Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi |
| 2018 | DAIS | Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. | Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi |
| 2015 | APSEC | Incremental Variability Management in Conceptual Data Models of Software Product Lines. | Niloofar Khedri, Ramtin Khosravi |
| 2015 | MODELSWARD | Towards Managing Data Variability in Multi Product Lines. | Niloofar Khedri, Ramtin Khosravi |
| 2014 | APSEC | Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. | Mahsa Varshosaz, Ramtin Khosravi |
| 2013 | APSEC | Handling Database Schema Variability in Software Product Lines. | Niloofar Khedri, Ramtin Khosravi |
| 2013 | SPLC | Discrete time Markov chain families: modeling and verification of probabilistic software product lines. | Mahsa Varshosaz, Ramtin Khosravi |
| 2012 | COMPSAC | Scheduling and Analysis of Real-Time Software Families. | Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi |
| 2012 | Coordination | Using Coordinated Actors to Model Families of Distributed Systems. | Ramtin Khosravi, Hamideh Sabouri |
| 2012 | ICFEM | Modeling and Verification of Probabilistic Actor Systems Using pRebeca. | Mahsa Varshosaz, Ramtin Khosravi |
| 2011 | SEFM | Synchronizing Asynchronous Conformance Testing. | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
| 2010 | AICCSA | Architecture conformance checking of multi-language applications. | Razieh Rahimi, Ramtin Khosravi |
| 2010 | SAC | Formal analysis of policy-based self-adaptive systems. | Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili |
| 2010 | SPLC | An Effective Approach for Verifying Product Lines in Presence of Variability Models. | Hamideh Sabouri, Ramtin Khosravi |
| 2008 | AICCSA | Modeling variability in the component and connector view of architecture using UML. | Maryam Razavian, Ramtin Khosravi |
| 2008 | Coordination | Modeling and Analysis of Reo Connectors Using Alloy. | Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
| 2008 | FAW | Visiting a Polygon on the Optimal Way to a Query Point. | Ramtin Khosravi, Mohammad Ghodsi |