Shortest paths in simple polygons with polygon-meet constraints. - Ramtin Khosravi; Mohammad Ghodsi (Inf. Process. Lett., 2004)

The fastest way to view a query point in simple polygons. - Ramtin Khosravi; Mohammad Ghodsi (EuroCG, 2005)

Query-point visibility constrained shortest paths in simple polygons. - Ramtin Khosravi; Mohammad Ghodsi (Theor. Comput. Sci., 2007)

Modeling variability in the component and connector view of architecture using UML. - Maryam Razavian; Ramtin Khosravi (AICCSA, 2008)

Modeling and Analysis of Reo Connectors Using Alloy. - Ramtin Khosravi; Marjan Sirjani; Nesa Asoudeh; Shaghayegh Sahebi; Hamed Iravanchi (COORDINATION, 2008)

Visiting a Polygon on the Optimal Way to a Query Point. - Ramtin Khosravi; Mohammad Ghodsi (FAW, 2008)

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 Conf. Data Mining, 2008)

An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems. - Shaghayegh Sahebi; Farhad Oroumchian; Ramtin Khosravi (Web Intelligence/IAT Workshops, 2008)

Modeling Variability in Business Process Models Using UML. - Maryam Razavian; Ramtin Khosravi (ITNG, 2008)

Optimal point removal in closed-2PM labeling. - Farshad Rostamabadi; Iman Sadeghi; Mohammad Ghodsi; Ramtin Khosravi (Inf. Process. Lett., 2008)

Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures. - Amir Reza Yazdanshenas; Ramtin Khosravi (ITNG, 2009)

Modeling networking issues of network-on-chip: a coloured petri nets approach. - Hamid Hajabdolali Bazzaz; Marjan Sirjani; Ramtin Khosravi; Shamim Taheri (SimuTools, 2009)

Architecture conformance checking of multi-language applications. - Razieh Rahimi; Ramtin Khosravi (AICCSA, 2010)

Formal analysis of policy-based self-adaptive systems. - Narges Khakpour; Ramtin Khosravi; Marjan Sirjani; Saeed Jalili (SAC, 2010)

An Effective Approach for Verifying Product Lines in Presence of Variability Models. - Hamideh Sabouri; Ramtin Khosravi (SPLC Workshops, 2010)

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. - Hamideh Sabouri; Ramtin Khosravi (FACS, 2011)

Towards Model-Based Testing of Electronic Funds Transfer Systems. - Hamid Reza Asaadi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Neda Noroozi (FSEN, 2011)

Efficient Verification of Evolving Software Product Lines. - Hamideh Sabouri; Ramtin Khosravi (FSEN, 2011)

Synchronizing Asynchronous Conformance Testing. - Neda Noroozi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (SEFM, 2011)

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. - Ehsan Khamespanah; Zeynab Sabahi-Kaviani; Ramtin Khosravi; Marjan Sirjani; Mohammad-Javad Izadi (AGERE!@SPLASH, 2012)

Scheduling and Analysis of Real-Time Software Families. - Hamideh Sabouri; Mohammad Mahdi Jaghoori; Frank S. de Boer; Ramtin Khosravi (COMPSAC, 2012)

Using Coordinated Actors to Model Families of Distributed Systems. - Ramtin Khosravi; Hamideh Sabouri (COORDINATION, 2012)

Modeling and Verification of Probabilistic Actor Systems Using pRebeca. - Mahsa Varshosaz; Ramtin Khosravi (ICFEM, 2012)

Handling Database Schema Variability in Software Product Lines. - Niloofar Khedri; Ramtin Khosravi (APSEC (1), 2013)

Delta Modeling and Model Checking of Product Families. - Hamideh Sabouri; Ramtin Khosravi (FSEN, 2013)

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. - Zeynab Sabahi-Kaviani; Ramtin Khosravi; Marjan Sirjani; Peter Csaba Ölveczky; Ehsan Khamespanah (FTSCS, 2013)

Discrete time Markov chain families: modeling and verification of probabilistic software product lines. - Mahsa Varshosaz; Ramtin Khosravi (SPLC Workshops, 2013)

Modeling and Verification of Reconfigurable Actor Families. - Hamideh Sabouri; Ramtin Khosravi (J. Univers. Comput. Sci., 2013)

Efficient TCTL Model Checking Algorithm for Timed Actors. - Ehsan Khamespanah; Ramtin Khosravi; Marjan Sirjani (AGERE!@SPLASH, 2014)

Event-Based Analysis of Timed Rebeca Models using SQL. - Brynjar Magnusson; Ehsan Khamespanah; Ramtin Khosravi; Marjan Sirjani (AGERE!@SPLASH, 2014)

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. - Mahsa Varshosaz; Ramtin Khosravi (APSEC (1), 2014)

Reducing the verification cost of evolving product families using static analysis techniques. - Hamideh Sabouri; Ramtin Khosravi (Sci. Comput. Program., 2014)

Jacco: more efficient model checking toolset for Java actor programs. - Arvin Zakeriyan; Ehsan Khamespanah; Marjan Sirjani; Ramtin Khosravi (AGERE!@SPLASH, 2015)

Incremental Variability Management in Conceptual Data Models of Software Product Lines. - Niloofar Khedri; Ramtin Khosravi (APSEC, 2015)

Floating Time Transition System: More Efficient Analysis of Timed Actors. - Ehsan Khamespanah; Marjan Sirjani; Mahesh Viswanathan 001; Ramtin Khosravi (FACS, 2015)

Modeling and Efficient Verification of Broadcasting Actors. - Behnaz Yousefi; Fatemeh Ghassemi; Ramtin Khosravi (FSEN, 2015)

Towards Managing Data Variability in Multi Product Lines. - Niloofar Khedri; Ramtin Khosravi (MODELSWARD, 2015)

Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. - Ali Narenji Sheshkalani; Ramtin Khosravi; Mohammad K. Fallah (TAROS, 2015)

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 (Sci. Comput. Program., 2015)

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. - Zeynab Sabahi-Kaviani; Ramtin Khosravi; Peter Csaba Ölveczky; Ehsan Khamespanah; Marjan Sirjani (Sci. Comput. Program., 2015)

Synchrony and asynchrony in conformance testing. - Neda Noroozi; Ramtin Khosravi; Mohammad Reza Mousavi 001; Tim A. C. Willemse (Softw. Syst. Model., 2015)

Purpose-Based Policy Enforcement in Actor-Based Systems. - Shahrzad Riahi; Ramtin Khosravi; Fatemeh Ghassemi (FSEN, 2017)

LeeTL: LTL with quantifications over model objects. - Pouria Mellati; Ehsan Khamespanah; Ramtin Khosravi (SPIN, 2017)

Verification of Visibility-Based Properties on Multiple Moving Robots. - Ali Narenji Sheshkalani; Ramtin Khosravi; Mayssam Mohammadi (TAROS, 2017)

Modeling and efficient verification of wireless ad hoc networks. - Behnaz Yousefi; Fatemeh Ghassemi; Ramtin Khosravi (Formal Aspects Comput., 2017)

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. - Fahimeh Rahemi; Ehsan Khamespanah; Ramtin Khosravi (DAIS, 2018)

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. - Ehsan Khamespanah; Ramtin Khosravi; Marjan Sirjani (Sci. Comput. Program., 2018)

Verification of asynchronous systems with an unspecified component. - Rosa Abbasi; Fatemeh Ghassemi; Ramtin Khosravi (Acta Informatica, 2019)

On the security of one-round meeting location determination protocol. - Hoda Jannati; Ramtin Khosravi (Inf. Process. Lett., 2019)

Towards Formal Analysis of Vehicle Platoons Using Actor Model. - Zeinab Sharifi; Ramtin Khosravi; Marjan Sirjani; Ehsan Khamespanah (ETFA, 2020)

Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. - Mahboubeh Samadi; Fatemeh Ghassemi; Ramtin Khosravi (OPODIS, 2020)

Finite Interval-Time Transition System for Real-Time Actors. - Shaghayegh Tavassoli; Ramtin Khosravi; Ehsan Khamespanah (TTCS, 2020)

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. - Arvin Zakeriyan; Ramtin Khosravi; Hadi Safari; Ehsan Khamespanah (FSEN, 2021)

A benchmark for active learning of variability-intensive systems. - Shaghayegh Tavassoli; Carlos Diego Nascimento Damasceno; Mohammad Reza Mousavi 001; Ramtin Khosravi (SPLC (A), 2022)

Adaptive behavioral model learning for software product lines. - Shaghayegh Tavassoli; Carlos Diego Nascimento Damasceno; Ramtin Khosravi; Mohammad Reza Mousavi 001 (SPLC (A), 2022)

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. - Ehsan Khamespanah; Marjan Sirjani; Ramtin Khosravi (FSEN, 2023)

Automated testing of an industrial stock market trading platform based on functional specification. - Arvin Zakeriyan; Ramtin Khosravi; Hadi Safari; Ehsan Khamespanah; Seyede Mehrnaz Shamsabadi (Sci. Comput. Program., 2023)

Decentralized runtime verification of message sequences in message-based systems. - Mahboubeh Samadi; Fatemeh Ghassemi; Ramtin Khosravi (Acta Informatica, 2023)

Actors Upgraded for Variability, Adaptability, and Determinism. - Ramtin Khosravi; Ehsan Khamespanah; Fatemeh Ghassemi; Marjan Sirjani (Active Object Languages: Current Research Trends, 2024)

Decentralized deadlock-free enforcement of message orderings in message-based systems. - Mahboubeh Samadi; Fatemeh Ghassemi; Ramtin Khosravi (J. Comput. Syst. Sci., 2024)

Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. - Shahrzad Riahi; Ramtin Khosravi; Fatemeh Ghassemi (J. Univers. Comput. Sci., 2024)

Efficient construction of family-based behavioral models from adaptively learned models. - Shaghayegh Tavassoli; Ramtin Khosravi (Softw. Syst. Model., 2025)