![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ramtin Khosravi
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Mahboubeh Samadi, Fatemeh Ghassemi
, Ramtin Khosravi:
Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. 144: 103544 (2024) - [j15]Shahrzad Riahi
, Ramtin Khosravi
, Fatemeh Ghassemi
:
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. J. Univers. Comput. Sci. 30(4): 462-501 (2024) - [p1]Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani:
Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends 2024: 226-260 - 2023
- [j14]Mahboubeh Samadi, Fatemeh Ghassemi
, Ramtin Khosravi:
Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60(2): 145-178 (2023) - [j13]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: 102908 (2023) - [c43]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: 72-87 - 2022
- [c42]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi:
Adaptive behavioral model learning for software product lines. SPLC (A) 2022: 142-153 - [c41]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi:
A benchmark for active learning of variability-intensive systems. SPLC (A) 2022: 245-249 - [i5]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi:
A Benchmark for Active Learning of Variability-Intensive Systems. CoRR abs/2203.05215 (2022) - [i4]Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi:
Adaptive Behavioral Model Learning for Software Product Lines. CoRR abs/2207.04823 (2022) - 2021
- [c40]Arvin Zakeriyan, Ramtin Khosravi
, Hadi Safari
, Ehsan Khamespanah:
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN 2021: 199-214 - 2020
- [c39]Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah:
Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA 2020: 1820-1827 - [c38]Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi:
Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS 2020: 21:1-21:18 - [c37]Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah:
Finite Interval-Time Transition System for Real-Time Actors. TTCS 2020: 85-100
2010 – 2019
- 2019
- [j12]Rosa Abbasi
, Fatemeh Ghassemi, Ramtin Khosravi:
Verification of asynchronous systems with an unspecified component. Acta Informatica 56(2): 161-203 (2019) - [j11]Hoda Jannati
, Ramtin Khosravi:
On the security of one-round meeting location determination protocol. Inf. Process. Lett. 146: 35-38 (2019) - 2018
- [j10]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: 1-29 (2018) - [c36]Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi:
Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. DAIS 2018: 122-136 - 2017
- [j9]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and efficient verification of wireless ad hoc networks. Formal Aspects Comput. 29(6): 1051-1086 (2017) - [c35]Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi:
Purpose-Based Policy Enforcement in Actor-Based Systems. FSEN 2017: 196-211 - [c34]Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi:
LeeTL: LTL with quantifications over model objects. SPIN 2017: 41-49 - [c33]Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi:
Verification of Visibility-Based Properties on Multiple Moving Robots. TAROS 2017: 51-65 - [e1]Olga Kouchnarenko, Ramtin Khosravi:
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10231, 2017, ISBN 978-3-319-57665-7 [contents] - [i3]Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi:
Verification of Asynchronous Systems with an Unspecified Component. CoRR abs/1709.03245 (2017) - 2016
- [i2]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR abs/1604.07179 (2016) - 2015
- [j8]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: 184-204 (2015) - [j7]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: 85-118 (2015) - [j6]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi
, Tim A. C. Willemse
:
Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14(1): 149-172 (2015) - [c32]Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi:
Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH 2015: 37-44 - [c31]Niloofar Khedri, Ramtin Khosravi:
Incremental Variability Management in Conceptual Data Models of Software Product Lines. APSEC 2015: 222-229 - [c30]Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi:
Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS 2015: 237-255 - [c29]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and Efficient Verification of Broadcasting Actors. FSEN 2015: 69-83 - [c28]Niloofar Khedri, Ramtin Khosravi:
Towards Managing Data Variability in Multi Product Lines. MODELSWARD 2015: 523-530 - [c27]Ali Narenji Sheshkalani, Ramtin Khosravi, Mohammad K. Fallah:
Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. TAROS 2015: 186-191 - 2014
- [j5]Hamideh Sabouri, Ramtin Khosravi:
Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. 83: 35-55 (2014) - [c26]Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani:
Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH 2014: 43-54 - [c25]Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani:
Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH 2014: 55-66 - [c24]Mahsa Varshosaz, Ramtin Khosravi:
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) 2014: 63-70 - 2013
- [j4]Hamideh Sabouri, Ramtin Khosravi:
Modeling and Verification of Reconfigurable Actor Families. J. Univers. Comput. Sci. 19(2): 207-232 (2013) - [c23]Niloofar Khedri, Ramtin Khosravi:
Handling Database Schema Variability in Software Product Lines. APSEC (1) 2013: 331-338 - [c22]Hamideh Sabouri, Ramtin Khosravi:
Delta Modeling and Model Checking of Product Families. FSEN 2013: 51-65 - [c21]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: 178-194 - [c20]Mahsa Varshosaz, Ramtin Khosravi:
Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops 2013: 34-41 - 2012
- [c19]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: 23-34 - [c18]Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi:
Scheduling and Analysis of Real-Time Software Families. COMPSAC 2012: 680-689 - [c17]Ramtin Khosravi, Hamideh Sabouri:
Using Coordinated Actors to Model Families of Distributed Systems. COORDINATION 2012: 74-88 - [c16]Mahsa Varshosaz, Ramtin Khosravi:
Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM 2012: 135-150 - 2011
- [c15]Hamideh Sabouri, Ramtin Khosravi:
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. FACS 2011: 296-312 - [c14]Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi
, Neda Noroozi:
Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN 2011: 253-267 - [c13]Hamideh Sabouri, Ramtin Khosravi:
Efficient Verification of Evolving Software Product Lines. FSEN 2011: 351-358 - [c12]Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi
, Tim A. C. Willemse
:
Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349 - 2010
- [c11]Razieh Rahimi, Ramtin Khosravi:
Architecture conformance checking of multi-language applications. AICCSA 2010: 1-8 - [c10]Narges Khakpour
, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
:
Formal analysis of policy-based self-adaptive systems. SAC 2010: 2536-2543 - [c9]Hamideh Sabouri, Ramtin Khosravi:
An Effective Approach for Verifying Product Lines in Presence of Variability Models. SPLC Workshops 2010: 113-120
2000 – 2009
- 2009
- [c8]Amir Reza Yazdanshenas, Ramtin Khosravi:
Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures. ITNG 2009: 1595-1596 - [c7]Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri:
Modeling networking issues of network-on-chip: a coloured petri nets approach. SimuTools 2009: 22 - 2008
- [j3]Farshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, Ramtin Khosravi:
Optimal point removal in closed-2PM labeling. Inf. Process. Lett. 105(3): 108-113 (2008) - [c6]Maryam Razavian, Ramtin Khosravi:
Modeling variability in the component and connector view of architecture using UML. AICCSA 2008: 801-809 - [c5]Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi:
Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183 - [c4]Ramtin Khosravi, Mohammad Ghodsi:
Visiting a Polygon on the Optimal Way to a Query Point. FAW 2008: 245-251 - [c3]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: 179-181 - [c2]Shaghayegh Sahebi, Farhad Oroumchian
, Ramtin Khosravi:
An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems. Web Intelligence/IAT Workshops 2008: 82-85 - [c1]Maryam Razavian, Ramtin Khosravi:
Modeling Variability in Business Process Models Using UML. ITNG 2008: 82-87 - 2007
- [j2]Ramtin Khosravi, Mohammad Ghodsi:
Query-point visibility constrained shortest paths in simple polygons. Theor. Comput. Sci. 389(1-2): 1-11 (2007) - 2005
- [i1]Ramtin Khosravi, Mohammad Ghodsi:
The fastest way to view a query point in simple polygons. EuroCG 2005: 187-190 - 2004
- [j1]Ramtin Khosravi, Mohammad Ghodsi:
Shortest paths in simple polygons with polygon-meet constraints. Inf. Process. Lett. 91(4): 171-176 (2004)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint