Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarRamtin Khosravi
Refine list
refinements active!
zoomed in on ?? of ?? records
showing all ?? records
2010 – today
- 2017
[c33]Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi:
Verification of Visibility-Based Properties on Multiple Moving Robots. TAROS 2017: 51-65- [e1]
BibTeX
RIS
RDF N-Triples
XML
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
FacebookOlga 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]
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]
[i2]
Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi:
Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR abs/1604.07179 (2016)
Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR abs/1604.07179 (2016)
[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)
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)
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)
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
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
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
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
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
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
Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. TAROS 2015: 186-191
[j5]
Hamideh Sabouri, Ramtin Khosravi:
Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. 83: 35-55 (2014)
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
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
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
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) 2014: 63-70
[j4]
Hamideh Sabouri, Ramtin Khosravi:
Modeling and Verification of Reconfigurable Actor Families. J. UCS 19(2): 207-232 (2013)
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
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
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
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
Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops 2013: 34-41
[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
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
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
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
Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM 2012: 135-150
[c15]
Hamideh Sabouri, Ramtin Khosravi:
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. FACS 2011: 296-312
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
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
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
Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349
[c11]
Razieh Rahimi, Ramtin Khosravi:
Architecture conformance checking of multi-language applications. AICCSA 2010: 1-8
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
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
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 2017-07-20 19:31 CEST by the dblp team