Ramtin Khosravi

发表

Purpose-Based Policy Enforcement in Actor-Based Systems

Fatemeh Ghassemi, Shahrzad Riahi, Ramtin Khosravi, 2017, FSEN.

On the security of one-round meeting location determination protocol

Ramtin Khosravi, Hoda Jannati, 2019, Inf. Process. Lett..

Modeling Variability in Business Process Models Using UML

Ramtin Khosravi, Maryam Razavian, M. Razavian, 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

Efficient Verification of Evolving Software Product Lines

Ramtin Khosravi, Hamideh Sabouri, R. Khosravi, 2011, FSEN.

Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems

Shaghayegh Sahebi, Ramtin Khosravi, Farhad Oroumchian, 2008, IADIS European Conf. Data Mining.

Modeling and Analysis of Reo Connectors Using Alloy

Shaghayegh Sahebi, Marjan Sirjani, Ramtin Khosravi, 2008, COORDINATION.

Event-Based Analysis of Timed Rebeca Models using SQL

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2014, AGERE!@SPLASH.

Modeling and Efficient Verification of Broadcasting Actors

Fatemeh Ghassemi, Ramtin Khosravi, Behnaz Yousefi, 2015, FSEN.

Verification of visibility-based properties on multiple moving robots in an environment with obstacles

Ramtin Khosravi, Ali Narenji Sheshkalani, 2018 .

Cross-validation of HIRDLS and COSMIC radio-occultation retrievals, particularly in relation to fine vertical structure

John C. Gille, John J. Barnett, Ramtin Khosravi, 2008, Optical Engineering + Applications.

Modeling variability in the component and connector view of architecture using UML

Ramtin Khosravi, Maryam Razavian, M. Razavian, 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities

Mahsa Varshosaz, Ramtin Khosravi, R. Khosravi, 2014, 2014 21st Asia-Pacific Software Engineering Conference.

Shortest Point-Visible Paths on Polyhedral Surfaces

Mohammad Ghodsi, Mana Taghdiri, Ramtin Khosravi, 2001 .

Modeling and Verification of Reconfigurable Actor Families

Ramtin Khosravi, Hamideh Sabouri, 2013, J. Univers. Comput. Sci..

Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Ramtin Khosravi, Olga Kouchnarenko, 2017, FACS.

Shortest paths in simple polygons with polygon-meet constraints

Mohammad Ghodsi, Ramtin Khosravi, 2004, Inf. Process. Lett..

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique

Ehsan Khamespanah, Ramtin Khosravi, Fahimeh Rahemi, 2018, DAIS.

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques

Ramtin Khosravi, Hamideh Sabouri, R. Khosravi, 2011, FACS.

Towards Model-Based Testing of Electronic Funds Transfer Systems

Mohammad Reza Mousavi, Ramtin Khosravi, Neda Noroozi, 2011, FSEN.

Delta Modeling and Model Checking of Product Families

Ramtin Khosravi, Hamideh Sabouri, R. Khosravi, 2013, FSEN.

Optimal point removal in closed-2PM labeling

Mohammad Ghodsi, Ramtin Khosravi, Iman Sadeghi, 2008, Inf. Process. Lett..

Architecture conformance checking of multi-language applications

Ramtin Khosravi, Razieh Rahimi, 2010, ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010.

Modeling networking issues of network-on-chip: a coloured petri nets approach

Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, 2009, SimuTools.

Modeling and efficient verification of wireless ad hoc networks

Fatemeh Ghassemi, Ramtin Khosravi, Behnaz Yousefi, 2016, Formal Aspects of Computing.

Incremental Variability Management in Conceptual Data Models of Software Product Lines

Ramtin Khosravi, Niloofar Khedri, R. Khosravi, 2015, 2015 Asia-Pacific Software Engineering Conference (APSEC).

Using Coordinated Actors to Model Families of Distributed Systems

Ramtin Khosravi, Hamideh Sabouri, R. Khosravi, 2012, COORDINATION.

Jacco: more efficient model checking toolset for Java actor programs

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2015, AGERE!@SPLASH.

Visiting a Polygon on the Optimal Way to a Query Point

Mohammad Ghodsi, Ramtin Khosravi, 2008, FAW.

Using domain-specific languages to describe the development viewpoint of software architectures

Ramtin Khosravi, Amir Reza Yazdanshenas, R. Khosravi, 2009, 2009 14th International CSI Computer Conference.

LeeTL: LTL with quantifications over model objects

Ehsan Khamespanah, Ramtin Khosravi, Pouria Mellati, 2017, SPIN.

Modeling and Verification of Probabilistic Actor Systems Using pRebeca

Mahsa Varshosaz, Ramtin Khosravi, 2012, ICFEM.

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2018, Sci. Comput. Program..

Scheduling and Analysis of Real-Time Software Families

Frank S. de Boer, Mohammad Mahdi Jaghoori, Ramtin Khosravi, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference.

Using domain-specific languages to describe the development viewpoint of software architectures

Ramtin Khosravi, Amir Reza Yazdanshenas, 2009 .

Towards managing data variability in multi product lines

Ramtin Khosravi, Niloofar Khedri, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Formal analysis of policy-based self-adaptive systems

Saeed Jalili, Marjan Sirjani, Ramtin Khosravi, 2010, SAC '10.

Synchronizing Asynchronous Conformance Testing

Mohammad Reza Mousavi, Ramtin Khosravi, Tim A. C. Willemse, 2011, SEFM.

Shaghayegh Sahebi, Ramtin Khosravi, Farhad Oroumchian, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Verification of asynchronous systems with an unspecified component

Fatemeh Ghassemi, Ramtin Khosravi, Rosa Abbasi, 2017, Acta Informatica.

Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties

Ramtin Khosravi, Ali Narenji Sheshkalani, Mohammad K. Fallah, 2015, TAROS.

Modeling networking issues of network-on-chip: a coloured petri nets approach

Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, 2009, SIMUTools 2009.

Handling Database Schema Variability in Software Product Lines

Ramtin Khosravi, Niloofar Khedri, R. Khosravi, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

HIRDLS Level 1 to 2 Pre and Post Retrieval Data Processing

John C. Gille, Ramtin Khosravi, Joseph McInerney, 2005 .

Discrete time Markov chain families: modeling and verification of probabilistic software product lines

Mahsa Varshosaz, Ramtin Khosravi, R. Khosravi, 2013, SPLC '13 Workshops.

The fastest way to view a query point in simple polygons

Mohammad Ghodsi, Ramtin Khosravi, 2005, EuroCG.

Efficient TCTL Model Checking Algorithm for Timed Actors

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2014, AGERE!@SPLASH.

Query-point visibility constrained shortest paths in simple polygons

Mohammad Ghodsi, Ramtin Khosravi, 2007, Theor. Comput. Sci..

Verification of Visibility-Based Properties on Multiple Moving Robots

Ramtin Khosravi, Ali Narenji Sheshkalani, Mayssam Mohammadi, 2017, TAROS.

Synchrony and asynchrony in conformance testing

Mohammad Reza Mousavi, Ramtin Khosravi, Tim A. C. Willemse, 2012, Software & Systems Modeling.

Floating Time Transition System: More Efficient Analysis of Timed Actors

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2015, FACS.

An Incremental Approach to Manage Variability in Software Product Line Requirements

Ramtin Khosravi, Hamideh Sabouri, Samaneh Zamanifard, 2015 .

An Effective Approach for Verifying Product Lines in Presence of Variability Models

Ramtin Khosravi, Hamideh Sabouri, R. Khosravi, 2010, SPLC Workshops.

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications

Ehsan Khamespanah, Ramtin Khosravi, Arvin Zakeriyan, 2021, FSEN.

Shortest Paths in Polygonal Domains with Polygon-Meet Constraints ( Extended Abstract )

Mohammad Ghodsi, Ramtin Khosravi, 2003 .

Alloy as a Language for Domain Modeling

Ramtin Khosravi, Nesa Asoudeh, 2009 .