Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarRamtin Khosravi
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 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)- 2017
- [j9]Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and efficient verification of wireless ad hoc networks. Formal Asp. 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. Software and System Modeling 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. UCS 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
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-03-07 10:47 CET by the dblp team