Ramtin Khosravi Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga 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
2016
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBehnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi: Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR abs/1604.07179 (2016)
2015
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhsan 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)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZeynab 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)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeda 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)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi: Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH 2015: 37-44
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiloofar Khedri, Ramtin Khosravi: Incremental Variability Management in Conceptual Data Models of Software Product Lines. APSEC 2015: 222-229
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi: Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS 2015: 237-255
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBehnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi: Modeling and Efficient Verification of Broadcasting Actors. FSEN 2015: 69-83
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiloofar Khedri, Ramtin Khosravi: Towards Managing Data Variability in Multi Product Lines. MODELSWARD 2015: 523-530
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Narenji Sheshkalani, Ramtin Khosravi, Mohammad K. Fallah: Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. TAROS 2015: 186-191
2014
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Ramtin Khosravi: Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. 83: 35-55 (2014)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani: Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH 2014: 43-54
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhsan Khamespanah, Ramtin Khosravi, Marjan Sirjani: Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH 2014: 55-66
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahsa Varshosaz, Ramtin Khosravi: Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) 2014: 63-70
2013
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Ramtin Khosravi: Modeling and Verification of Reconfigurable Actor Families. J. UCS 19(2): 207-232 (2013)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiloofar Khedri, Ramtin Khosravi: Handling Database Schema Variability in Software Product Lines. APSEC (1) 2013: 331-338
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Ramtin Khosravi: Delta Modeling and Model Checking of Product Families. FSEN 2013: 51-65
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZeynab 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
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahsa Varshosaz, Ramtin Khosravi: Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops 2013: 34-41
2012
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhsan 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
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi: Scheduling and Analysis of Real-Time Software Families. COMPSAC 2012: 680-689
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamtin Khosravi, Hamideh Sabouri: Using Coordinated Actors to Model Families of Distributed Systems. COORDINATION 2012: 74-88
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahsa Varshosaz, Ramtin Khosravi: Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM 2012: 135-150
2011
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Ramtin Khosravi: Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. FACS 2011: 296-312
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi: Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN 2011: 253-267
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Ramtin Khosravi: Efficient Verification of Evolving Software Product Lines. FSEN 2011: 351-358
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse: Synchronizing Asynchronous Conformance Testing. SEFM 2011: 334-349
2010
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRazieh Rahimi, Ramtin Khosravi: Architecture conformance checking of multi-language applications. AICCSA 2010: 1-8
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili: Formal analysis of policy-based self-adaptive systems. SAC 2010: 2536-2543
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamideh Sabouri, Ramtin Khosravi: An Effective Approach for Verifying Product Lines in Presence of Variability Models. SPLC Workshops 2010: 113-120
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Reza Yazdanshenas, Ramtin Khosravi: Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures. ITNG 2009: 1595-1596
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri: Modeling networking issues of network-on-chip: a coloured petri nets approach. SimuTools 2009: 22
2008
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, Ramtin Khosravi: Optimal point removal in closed-2PM labeling. Inf. Process. Lett. 105(3): 108-113 (2008)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaryam Razavian, Ramtin Khosravi: Modeling variability in the component and connector view of architecture using UML. AICCSA 2008: 801-809
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi: Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamtin Khosravi, Mohammad Ghodsi: Visiting a Polygon on the Optimal Way to a Query Point. FAW 2008: 245-251
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaghayegh 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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi: An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems. Web Intelligence/IAT Workshops 2008: 82-85
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaryam Razavian, Ramtin Khosravi: Modeling Variability in Business Process Models Using UML. ITNG 2008: 82-87
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamtin Khosravi, Mohammad Ghodsi: Query-point visibility constrained shortest paths in simple polygons. Theor. Comput. Sci. 389(1-2): 1-11 (2007)
2005
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamtin Khosravi, Mohammad Ghodsi: The fastest way to view a query point in simple polygons. EuroCG 2005: 187-190
2004
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamtin Khosravi, Mohammad Ghodsi: Shortest paths in simple polygons with polygon-meet constraints. Inf. Process. Lett. 91(4): 171-176 (2004)

Coauthor Index

1Hamid Reza Asaadi[c14]
2Nesa Asoudeh[c5]
3Hamid Hajabdolali Bazzaz[c7]
4Frank S. de Boer[c18]
5Mohammad K. Fallah[c27]
6Fatemeh Ghassemi[i2] [c29]
7Mohammad Ghodsi[j3] [c4] [j2] [i1] [j1]
8Hamed Iravanchi[c5]
9Mohammad-Javad Izadi[j8] [c19]
10Mohammad Mahdi Jaghoori[c18]
11Saeed Jalili[c10]
12Narges Khakpour[c10]
13Ehsan Khamespanah[j8] [j7] [c32] [c30] [c26] [c25] [c21] [c19]
14Niloofar Khedri[c31] [c28] [c23]
15Olga Kouchnarenko[e1]
16Brynjar Magnusson[c26]
17Mohammad Reza Mousavi[j6] [c14] [c12]
18Neda Noroozi[j6] [c14] [c12]
19Peter Csaba Ölveczky[j7] [c21]
20Farhad Oroumchian[c3] [c2]
21Razieh Rahimi[c11]
22Maryam Razavian[c6] [c1]
23Farshad Rostamabadi[j3]
24Zeynab Sabahi-Kaviani[j8] [j7] [c21] [c19]
25Hamideh Sabouri[j5] [j4] [c22] [c18] [c17] [c15] [c13] [c9]
26Iman Sadeghi[j3]
27Shaghayegh Sahebi[c5] [c3] [c2]
28Ali Narenji Sheshkalani[c27]
29Marjan Sirjani[j8] [j7] [c32] [c30] [c26] [c25] [c21] [c19] [c10] [c7] [c5]
30Shamim Taheri[c7]
31Mahsa Varshosaz[c24] [c20] [c16]
32Mahesh Viswanathan[c30]
33Tim A. C. Willemse[j6] [c12]
34Amir Reza Yazdanshenas[c8]
35Behnaz Yousefi[i2] [c29]
36Arvin Zakeriyan[c32]

 

Last update 2017-05-26 00:13 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page