Ramtin Khosravi

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 32

Top Topics

Formal Analysis

Temporal Properties

Top Venues

Sci. Comput. Program.

Publications

Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. J. Univers. Comput. Sci. 30 (4) (2024)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. 144 (2024)
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi
Automated testing of an industrial stock market trading platform based on functional specification. Sci. Comput. Program. 225 (2023)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60 (2) (2023)
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN (2023)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
Adaptive behavioral model learning for software product lines. SPLC (A) (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
A Benchmark for Active Learning of Variability-Intensive Systems. CoRR (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
A benchmark for active learning of variability-intensive systems. SPLC (A) (2022)
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
Adaptive Behavioral Model Learning for Software Product Lines. CoRR (2022)
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN (2021)
Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA (2020)
Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
Finite Interval-Time Transition System for Real-Time Actors. TTCS (2020)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS (2020)
Hoda Jannati, Ramtin Khosravi
On the security of one-round meeting location determination protocol. Inf. Process. Lett. 146 (2019)
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Verification of asynchronous systems with an unspecified component. Acta Informatica 56 (2) (2019)
Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi
Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. DAIS (2018)
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Sci. Comput. Program. 153 (2018)
Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
Purpose-Based Policy Enforcement in Actor-Based Systems. FSEN (2017)
Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
LeeTL: LTL with quantifications over model objects. SPIN (2017)
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
Verification of Asynchronous Systems with an Unspecified Component. CoRR (2017)
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Modeling and efficient verification of wireless ad hoc networks. Formal Aspects Comput. 29 (6) (2017)
Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi
Verification of Visibility-Based Properties on Multiple Moving Robots. TAROS (2017)
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR (2016)
Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98 (2015)
Ali Narenji Sheshkalani, Ramtin Khosravi, Mohammad K. Fallah
Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. TAROS (2015)
Niloofar Khedri, Ramtin Khosravi
Incremental Variability Management in Conceptual Data Models of Software Product Lines. APSEC (2015)
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS (2015)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113 (2015)
Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH (2015)
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14 (1) (2015)
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
Modeling and Efficient Verification of Broadcasting Actors. FSEN (2015)
Niloofar Khedri, Ramtin Khosravi
Towards Managing Data Variability in Multi Product Lines. MODELSWARD (2015)
Hamideh Sabouri, Ramtin Khosravi
Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. 83 (2014)
Mahsa Varshosaz, Ramtin Khosravi
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) (2014)
Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH (2014)
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH (2014)
Hamideh Sabouri, Ramtin Khosravi
Delta Modeling and Model Checking of Product Families. FSEN (2013)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS (2013)
Hamideh Sabouri, Ramtin Khosravi
Modeling and Verification of Reconfigurable Actor Families. J. Univers. Comput. Sci. 19 (2) (2013)
Niloofar Khedri, Ramtin Khosravi
Handling Database Schema Variability in Software Product Lines. APSEC (1) (2013)
Mahsa Varshosaz, Ramtin Khosravi
Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops (2013)
Ramtin Khosravi, Hamideh Sabouri
Using Coordinated Actors to Model Families of Distributed Systems. COORDINATION (2012)
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH (2012)
Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
Scheduling and Analysis of Real-Time Software Families. COMPSAC (2012)
Mahsa Varshosaz, Ramtin Khosravi
Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM (2012)
Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi
Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN (2011)
Hamideh Sabouri, Ramtin Khosravi
Efficient Verification of Evolving Software Product Lines. FSEN (2011)
Hamideh Sabouri, Ramtin Khosravi
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. FACS (2011)
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
Synchronizing Asynchronous Conformance Testing. SEFM (2011)
Hamideh Sabouri, Ramtin Khosravi
An Effective Approach for Verifying Product Lines in Presence of Variability Models. SPLC Workshops (2010)
Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
Formal analysis of policy-based self-adaptive systems. SAC (2010)
Razieh Rahimi, Ramtin Khosravi
Architecture conformance checking of multi-language applications. AICCSA (2010)
Amir Reza Yazdanshenas, Ramtin Khosravi
Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures. ITNG (2009)
Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri
Modeling networking issues of network-on-chip: a coloured petri nets approach. SimuTools (2009)
Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi
Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems. IADIS European Conf. Data Mining (2008)
Ramtin Khosravi, Mohammad Ghodsi
Visiting a Polygon on the Optimal Way to a Query Point. FAW (2008)
Farshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, Ramtin Khosravi
Optimal point removal in closed-2PM labeling. Inf. Process. Lett. 105 (3) (2008)
Maryam Razavian, Ramtin Khosravi
Modeling Variability in Business Process Models Using UML. ITNG (2008)
Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi
An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems. Web Intelligence/IAT Workshops (2008)
Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi
Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION (2008)
Maryam Razavian, Ramtin Khosravi
Modeling variability in the component and connector view of architecture using UML. AICCSA (2008)
Ramtin Khosravi, Mohammad Ghodsi
Query-point visibility constrained shortest paths in simple polygons. Theor. Comput. Sci. 389 (1-2) (2007)
Ramtin Khosravi, Mohammad Ghodsi
The fastest way to view a query point in simple polygons. EuroCG (2005)
Ramtin Khosravi, Mohammad Ghodsi
Shortest paths in simple polygons with polygon-meet constraints. Inf. Process. Lett. 91 (4) (2004)