Ramtin Khosravi

According to our database, Ramtin Khosravi authored at least 59 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Actors Upgraded for Variability, Adaptability, and Determinism.

Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Decentralized runtime verification of message sequences in message-based systems.

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

Acta Informatica, June, 2023

Automated testing of an industrial stock market trading platform based on functional specification.

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi

Sci. Comput. Program., 2023

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Adaptive behavioral model learning for software product lines.

Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

A benchmark for active learning of variability-intensive systems.

Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

2021

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

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Finite Interval-Time Transition System for Real-Time Actors.

Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah

Proceedings of the Topics in Theoretical Computer Science, 2020

Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems.

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

Towards Formal Analysis of Vehicle Platoons Using Actor Model.

Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

On the security of one-round meeting location determination protocol.

Hoda Jannati, Ramtin Khosravi

Inf. Process. Lett., 2019

Verification of asynchronous systems with an unspecified component.

Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi

Acta Informatica, 2019

2018

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

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Sci. Comput. Program., 2018

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

Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi

Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017

Modeling and efficient verification of wireless ad hoc networks.

Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi

Formal Aspects Comput., 2017

Verification of Visibility-Based Properties on Multiple Moving Robots.

Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi

Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

LeeTL: LTL with quantifications over model objects.

Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Purpose-Based Policy Enforcement in Actor-Based Systems.

Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2015

Synchrony and asynchrony in conformance testing.

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Softw. Syst. Model., 2015

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani

Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi

Sci. Comput. Program., 2015

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

Ali Narenji Sheshkalani, Ramtin Khosravi, Mohammad K. Fallah

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Towards Managing Data Variability in Multi Product Lines.

Niloofar Khedri, Ramtin Khosravi

Proceedings of the MODELSWARD 2015, 2015

Modeling and Efficient Verification of Broadcasting Actors.

Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Floating Time Transition System: More Efficient Analysis of Timed Actors.

Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Incremental Variability Management in Conceptual Data Models of Software Product Lines.

Niloofar Khedri, Ramtin Khosravi

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.

Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

Reducing the verification cost of evolving product families using static analysis techniques.

Hamideh Sabouri, Ramtin Khosravi

Sci. Comput. Program., 2014

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

Mahsa Varshosaz, Ramtin Khosravi

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Event-Based Analysis of Timed Rebeca Models using SQL.

Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Modeling and Verification of Reconfigurable Actor Families.

Hamideh Sabouri, Ramtin Khosravi

J. Univers. Comput. Sci., 2013

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

Mahsa Varshosaz, Ramtin Khosravi

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Delta Modeling and Model Checking of Product Families.

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Handling Database Schema Variability in Software Product Lines.

Niloofar Khedri, Ramtin Khosravi

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Modeling and Verification of Probabilistic Actor Systems Using pRebeca.

Mahsa Varshosaz, Ramtin Khosravi

Proceedings of the Formal Methods and Software Engineering, 2012

Using Coordinated Actors to Model Families of Distributed Systems.

Ramtin Khosravi, Hamideh Sabouri

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Scheduling and Analysis of Real-Time Software Families.

Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi

Proceedings of the 2nd edition on Programming systems, 2012

2011

Synchronizing Asynchronous Conformance Testing.

Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Efficient Verification of Evolving Software Product Lines.

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Towards Model-Based Testing of Electronic Funds Transfer Systems.

Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

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

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

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

Hamideh Sabouri, Ramtin Khosravi

Proceedings of the Software Product Lines - 14th International Conference, 2010

Formal analysis of policy-based self-adaptive systems.

Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Architecture conformance checking of multi-language applications.

Razieh Rahimi, Ramtin Khosravi

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

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

Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures.

Amir Reza Yazdanshenas, Ramtin Khosravi

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

Optimal point removal in closed-2PM labeling.

Farshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, Ramtin Khosravi

Inf. Process. Lett., 2008

Modeling Variability in Business Process Models Using UML.

Maryam Razavian, Ramtin Khosravi

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems.

Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

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

Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi

Proceedings of the IADIS European Conference on Data Mining 2008, 2008

Visiting a Polygon on the Optimal Way to a Query Point.

Ramtin Khosravi, Mohammad Ghodsi

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

Modeling and Analysis of Reo Connectors Using Alloy.

Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

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

Maryam Razavian, Ramtin Khosravi

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

Query-point visibility constrained shortest paths in simple polygons.

Ramtin Khosravi, Mohammad Ghodsi

Theor. Comput. Sci., 2007

2005

The fastest way to view a query point in simple polygons.

Ramtin Khosravi, Mohammad Ghodsi

Proceedings of the (Informal) Proceedings of the 21st European Workshop on Computational Geometry, 2005

2004

Shortest paths in simple polygons with polygon-meet constraints.

Ramtin Khosravi, Mohammad Ghodsi

Inf. Process. Lett., 2004