Ramtin Khosravi

67 papers B 3C 10Misc 2Journal 21Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Efficient construction of family-based behavioral models from adaptively learned models. Softw. Syst. Model. Shaghayegh Tavassoli, Ramtin Khosravi
2024	—	`ch.`	Actors Upgraded for Variability, Adaptability, and Determinism. Active Object Languages: Current Research Trends Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani
2024	J	`jnl`	Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2024	J	`jnl`	Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model. J. Univers. Comput. Sci. Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
2023	—	`conf`	Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
2023	J	`jnl`	Automated testing of an industrial stock market trading platform based on functional specification. Sci. Comput. Program. Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi
2023	J	`jnl`	Decentralized runtime verification of message sequences in message-based systems. Acta Informatica Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2022	J	`jnl`	A Benchmark for Active Learning of Variability-Intensive Systems. CoRR Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
2022	—	`conf`	A benchmark for active learning of variability-intensive systems. SPLC (A) Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Ramtin Khosravi
2022	J	`jnl`	Adaptive Behavioral Model Learning for Software Product Lines. CoRR Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
2022	—	`conf`	Adaptive behavioral model learning for software product lines. SPLC (A) Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi, Mohammad Reza Mousavi
2021	—	`conf`	Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
2020	B	`conf`	Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
2020	—	`conf`	Finite Interval-Time Transition System for Real-Time Actors. TTCS Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
2020	C	`conf`	Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
2019	J	`jnl`	On the security of one-round meeting location determination protocol. Inf. Process. Lett. Hoda Jannati, Ramtin Khosravi
2019	J	`jnl`	Verification of asynchronous systems with an unspecified component. Acta Informatica Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
2018	J	`jnl`	An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Sci. Comput. Program. Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2018	C	`conf`	Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. DAIS Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi
2017	—	`ed.`	Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers FACS Olga Kouchnarenko, Ramtin Khosravi
2017	—	`conf`	LeeTL: LTL with quantifications over model objects. SPIN Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
2017	J	`jnl`	Modeling and efficient verification of wireless ad hoc networks. Formal Aspects Comput. Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
2017	—	`conf`	Purpose-Based Policy Enforcement in Actor-Based Systems. FSEN Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi
2017	J	`jnl`	Verification of Asynchronous Systems with an Unspecified Component. CoRR Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
2017	—	`conf`	Verification of Visibility-Based Properties on Multiple Moving Robots. TAROS Ali Narenji Sheshkalani, Ramtin Khosravi, Mayssam Mohammadi
2016	J	`jnl`	Modeling and Efficient Verification of Wireless Ad hoc Networks. CoRR Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
2015	—	`conf`	Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. TAROS Ali Narenji Sheshkalani, Ramtin Khosravi, Mohammad K. Fallah
2015	—	`conf`	Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
2015	J	`jnl`	Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
2015	C	`conf`	Incremental Variability Management in Conceptual Data Models of Software Product Lines. APSEC Niloofar Khedri, Ramtin Khosravi
2015	—	`conf`	Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
2015	—	`conf`	Modeling and Efficient Verification of Broadcasting Actors. FSEN Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi
2015	J	`jnl`	Synchrony and asynchrony in conformance testing. Softw. Syst. Model. Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
2015	J	`jnl`	Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
2015	C	`conf`	Towards Managing Data Variability in Multi Product Lines. MODELSWARD Niloofar Khedri, Ramtin Khosravi
2014	—	`conf`	Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014	—	`conf`	Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014	—	`conf`	Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) Mahsa Varshosaz, Ramtin Khosravi
2014	J	`jnl`	Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. Hamideh Sabouri, Ramtin Khosravi
2013	—	`conf`	Delta Modeling and Model Checking of Product Families. FSEN Hamideh Sabouri, Ramtin Khosravi
2013	—	`conf`	Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops Mahsa Varshosaz, Ramtin Khosravi
2013	—	`conf`	Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
2013	—	`conf`	Handling Database Schema Variability in Software Product Lines. APSEC (1) Niloofar Khedri, Ramtin Khosravi
2013	J	`jnl`	Modeling and Verification of Reconfigurable Actor Families. J. Univers. Comput. Sci. Hamideh Sabouri, Ramtin Khosravi
2012	C	`conf`	Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM Mahsa Varshosaz, Ramtin Khosravi
2012	B	`conf`	Scheduling and Analysis of Real-Time Software Families. COMPSAC Hamideh Sabouri, Mohammad Mahdi Jaghoori, Frank S. de Boer, Ramtin Khosravi
2012	—	`conf`	Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
2012	C	`conf`	Using Coordinated Actors to Model Families of Distributed Systems. COORDINATION Ramtin Khosravi, Hamideh Sabouri
2011	—	`conf`	Efficient Verification of Evolving Software Product Lines. FSEN Hamideh Sabouri, Ramtin Khosravi
2011	—	`conf`	Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques. FACS Hamideh Sabouri, Ramtin Khosravi
2011	B	`conf`	Synchronizing Asynchronous Conformance Testing. SEFM Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse
2011	—	`conf`	Towards Model-Based Testing of Electronic Funds Transfer Systems. FSEN Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi
2010	—	`conf`	An Effective Approach for Verifying Product Lines in Presence of Variability Models. SPLC Workshops Hamideh Sabouri, Ramtin Khosravi
2010	C	`conf`	Architecture conformance checking of multi-language applications. AICCSA Razieh Rahimi, Ramtin Khosravi
2010	Misc	`conf`	Formal analysis of policy-based self-adaptive systems. SAC Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili
2009	—	`conf`	Modeling networking issues of network-on-chip: a coloured petri nets approach. SimuTools Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri
2009	—	`conf`	Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures. ITNG Amir Reza Yazdanshenas, Ramtin Khosravi
2008	—	`conf`	An Enhanced Similarity Measure for Utilizing Site Structure in Web Personalization Systems. Web Intelligence/IAT Workshops Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi
2008	—	`conf`	Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems. IADIS European Conf. Data Mining Shaghayegh Sahebi, Farhad Oroumchian, Ramtin Khosravi
2008	—	`conf`	Modeling Variability in Business Process Models Using UML. ITNG Maryam Razavian, Ramtin Khosravi
2008	C	`conf`	Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi
2008	C	`conf`	Modeling variability in the component and connector view of architecture using UML. AICCSA Maryam Razavian, Ramtin Khosravi
2008	J	`jnl`	Optimal point removal in closed-2PM labeling. Inf. Process. Lett. Farshad Rostamabadi, Iman Sadeghi, Mohammad Ghodsi, Ramtin Khosravi
2008	Misc	`conf`	Visiting a Polygon on the Optimal Way to a Query Point. FAW Ramtin Khosravi, Mohammad Ghodsi
2007	J	`jnl`	Query-point visibility constrained shortest paths in simple polygons. Theor. Comput. Sci. Ramtin Khosravi, Mohammad Ghodsi
2005	C	`conf`	The fastest way to view a query point in simple polygons. EuroCG Ramtin Khosravi, Mohammad Ghodsi
2004	J	`jnl`	Shortest paths in simple polygons with polygon-meet constraints. Inf. Process. Lett. Ramtin Khosravi, Mohammad Ghodsi