پروفایل اساتید - ece- دانشکده مهندسی برق و کامپیوتر
مقالات علمی چاپ شده در مجلات
-
"Optimal point removal in closed 2PM labeling"
Mohammad Ghodsi,
Farshad Rostamabadi,
Ramtin Khosravi,
Iman Sadeghi
INFORMATION PROCESSING LETTERS,
Vol. 105,
No 3,
pp.108-113,
0036
-
"Modeling and Verification of Reconfigurable Actor Families"
Ramtin Khosravi,
Hamideh Sabouri
JOURNAL OF UNIVERSAL COMPUTER SCIENCE,
Vol. 19,
No 2,
pp.207-232,
0033
-
"Synchrony and asynchrony in conformance testing"
Ramtin Khosravi,
Mohammad Reza Mousavi,
Neda Noroozi,
Tim Willemse
Software and Systems Modeling,
Vol. -,
0030
-
"Decentralized runtime verification of message sequences in message-based systems"
Ramtin Khosravi,
Fatemeh Ghassemi Esfahani,
Mahboubeh Samadi
ACTA INFORMATICA,
Vol. 60,
No 2,
pp.145-178,
0016
-
"Verification of visibility-based properties on multiple moving robots in an environment with obstacles"
Ramtin Khosravi,
Ali Narenji Sheshkalani
International Journal of Advanced Robotic Systems,
Vol. 15,
No 4,
0007
-
"On the security of one-round meeting location determination protocol"
Ramtin Khosravi,
Hoda Jannati
INFORMATION PROCESSING LETTERS,
Vol. 146,
pp.35-38,
0006
-
"Reducing the verification cost of evolving product families using static analysis techniques"
Hamideh Sabouri,
Ramtin Khosravi
SCIENCE OF COMPUTER PROGRAMMING,
Vol. 83,
No 83,
pp.35-55,
0006
-
"An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models"
Ramtin Khosravi,
Ehsan Khamespanah,
Marjan Sirjani
SCIENCE OF COMPUTER PROGRAMMING,
Vol. 153,
pp.1-29,
0006
-
"Automated testing of an industrial stock market trading platform based on functional specification"
Ehsan Khamespanah,
Ramtin Khosravi,
Seyedeh mehrnaz Shamsabadi,
Hadi Safari,
Arvin Zakeriyan
SCIENCE OF COMPUTER PROGRAMMING,
Vol. 225,
No 225,
0006
-
"Optimal point removal in closed - 2PM labeling"
Farshad Rostamabadi ,
Iman Sadeghi ,
Mohammad Ghodsi ,
Ramtin Khosravi
INFORMATION PROCESSING LETTERS,
Vol. 105,
No 3,
pp.108-113,
0006
مقالات علمی ارائه شده در همایشها
-
"Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system"
Ehsan Khamespanah,
Mohammad-javad Izadi,
Zeynab Sabahi Kaviani,
Marjan Sirjani,
Ramtin Khosravi
Programming systems, languages and applications based on actors, agents, and decentralized control abstractions,
-
"Actors Upgraded for Variability, Adaptability, and Determinism"
Fatemeh Ghassemi Esfahani,
Marjan Sirjani,
Ehsan Khamespanah,
Ramtin Khosravi
Fifth International ABS Workshop,
2023
-
"Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models"
Ehsan Khamespanah,
Ramtin Khosravi,
Marjan Sirjani
10th Fundamentals of Software Engineering (FSEN),
2023
-
"Adaptive Behavioral Model Learning for Software Product Lines"
Mohamad Reza Mosavi,
Ramtin Khosravi,
Carlos Diego Damasceno,
Shaghayegh Tavassoli
26th ACM International Systems and Software Product Line Conference,
2022
-
"A Benchmark for Active Learning of Variability-Intensive Systems"
Carlos Diego Damasceno,
Shaghayegh Tavassoli,
Ramtin Khosravi,
Mohammad Reza Mousavi
26th ACM International Systems and Software Product Line Conference,
2022
-
"Fundamentals of Software Engineering"
Ehsan Khamespanah,
Hadi Safari,
Ramtin Khosravi,
Arvin Zakeriyan
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications,
2021
-
"Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems"
Fatemeh Ghassemi Esfahani,
Ramtin Khosravi,
Mahboubeh Samadi
24th International Conference on Principles of Distributed Systems,
2020
-
"Towards Formal Analysis of Vehicle Platoons Using Actor Model"
Ehsan Khamespanah,
Marjan Sirjani,
Ramtin Khosravi,
[] []
2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
2020
-
"Finite Interval-Time Transition System for Real-Time Actors"
Ehsan Khamespanah,
Ramtin Khosravi,
Shaghayegh Tavassoli
Topics in Theoretical Computer Science,
2020
-
"Distributed Runtime Verification of LTL Properties Using Global Clock"
Ramtin Khosravi,
Fathiyeh Faghih,
M. Ali Dorosty
Fundamentals of Software Engineering,
2019
-
"Verification of Visibility-Based Properties on Multiple Moving Robots"
Mayssam Mohammadi,
Ramtin Khosravi,
Ali Narenji Sheshkalani
Towards Autonomous Robotic Systems (TAROS 2017),
2017
-
"LeeTL: LTL with quantifications over model objects"
Ramtin Khosravi,
Ehsan Khamespanah,
Pouria Mellati
the 24th ACM SIGSOFT International SPIN Symposium,
2017
-
"Purpose-based Policy Enforcement in Actor-based Systems"
Fatemeh Ghassemi Esfahani,
Ramtin Khosravi,
Shahrzad Riahi
7th International Conference on Fundamentals of Software Engineering,
2017
-
"Incremental Variability Management in Conceptual Data Models of Software Product Lines"
Niloofar Khedri,
Ramtin Khosravi
22nd Asia Pacific Software Engineering Conference,
2015
-
"Jacco: More Efficient Model Checking Toolset for Java Actor Programs"
Marjan Sirjani,
Ehsan Khamespanah,
Arvin Zakeriyan,
Ramtin Khosravi
Programming based on Actors, Agents, and Decentralized Control,
2015
-
"Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties"
Ramtin Khosravi,
Mohammad Kazem Fallah,
Ali Narenji Sheshkalani
Towards Autonomous Robotic Systems,
2015
-
"Modeling and Efficient Verification of Broadcasting Actors"
Ramtin Khosravi,
Fatemeh Ghassemi Esfahani,
Behnaz Yousefi
6 international on Fundamentals of Software Engineering 2015,
2015
-
"Towards Managing Data Variability in Multi Product Lines"
Ramtin Khosravi,
Niloofar Khedri
Third International Conference on Model-Driven Engineering and Software Development,
2015
-
"Efficient TCTL Model Checking Algorithm for Timed Actors"
Ramtin Khosravi,
Ehsan Khamespanah,
Marjan Sirjani
Programming systems, languages and applications based on actors, agents, and decentralized control abstractions,
2014
-
"Event-based Analysis of Timed Rebeca Models using SQL"
Brynjar Magnusson,
Ramtin Khosravi,
Ehsan Khamespanah,
Marjan Sirjani
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control,
2014
-
"Formal Semantics and Analysis of Timed Rebeca in RealTime Maude"
Marjan Sirjani,
Peter Olveczky,
Ehsan Khamespanah,
Zeynab Sabahi Kaviani,
Ramtin Khosravi
Formal Techniques for SafetyCritical Systems,
2013
-
"Formal Techniques for Safety-Critical Systems"
Ehsan Khamespanah,
Peter Csaba Olveczky,
Marjan Sirjani,
Ramtin Khosravi,
Zeynab Sabahi Kaviani
Formal Techniques for Safety-Critical Systems,
2013
-
"Discrete time Markov chain families: modeling and verification of probabilistic software product lines"
Ramtin Khosravi,
Mahsa Varshosaz
International Workshop on Formal Methods in Software Product Line Engineering,
2013
-
"Handling Database Schema Variability in Software Product Lines"
Ramtin Khosravi,
Niloofar Khedri
Asia Pacific Software Engineering Conference,
2013
-
"Delta Modeling and Model Checking of Families of Actor Systems"
Ramtin Khosravi,
Hamideh Sabouri
Fundamentals of Software Engineering 2013,
2013
-
"Modeling and Verification of Probabilistic Actor Systems using pRebeca"
Ramtin Khosravi,
مهسا ورشوساز
14th International Conference on Formal Engineering Methods (ICFEM,
2012
-
"Timed-Rebeca Schedulability and Deadlock Freedom Analysis using Floating-Time Transition System"
Zeynab Sabahi Kaviani,
Ehsan Khamespanah,
Mohammad Javad Izadi,
Ramtin Khosravi,
Marjan Sirjani
AGERE! 2012,
2012
-
"Scheduling and Analysis of Real-Time Software Families"
Ramtin Khosravi,
محمد مهدی جاقوری,
Frank de Boer,
حمیده صبوری
COMPSAC 2012,
2012
-
"Using Coordinated Actors to Model Families of Distributed Systems"
Ramtin Khosravi,
حمیده صبوری
14th International Conference on Coordination Models and Languages,
2012
-
"Synchronizing Asynchronous Conformance Testing"
Ramtin Khosravi,
محمد رضا موسوی,
ندا نوروزی,
Tim Willemse
Software Engineering and Formal Methods,
2011
-
"Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques"
Ramtin Khosravi,
حمیده صبوری قمی
8th International Symposium on Formal Aspects of Component Software,
2011
-
"Towards ModelBased Testing of Electronic Funds Transfer Systems"
Mohammad Reza Mousavi,
Neda Noroozi,
Ramtin Khosravi,
Hamdireza Asaadi
International Conference on Fundamentals of Software Engineering,
2011
-
"Efficient Verification of Evolving Software Product Lines"
Hamideh Sabouri,
Ramtin Khosravi
International Conference on Fundamentals of Software Engineering,
2011
-
"An effective approach for verifying product lines in presence of variability models"
Hamideh Sabouri,
Ramtin Khosravi
First International Workshop on Formal Methods in Software Product Line Engineering,
2010
-
"Architecture conformance checking of multi-language applications"
Ramtin Khosravi,
راضیه رحیمی
AICCSA 2010,
2010
-
"Formal analysis of policy-based self-adaptive systems"
Marjan Sirjani,
Ramtin Khosravi,
سعید جلیلی,
نرگس خاکپور
ACM SAC 2010,
2010
-
"Using Domain-Specific Languages to Describe the Development Viewpoint of Software Architectures"
امیر یزدان شناس,
Ramtin Khosravi
CSICC 2009,
2009
-
"Modeling networking issues of network-on-chip a coloured petri nets approach"
Marjan Sirjani,
Ramtin Khosravi,
حمید حاجعبدالعلی,
شمیم طاهری
SimuTools 2009,
2009
-
"Alloy as a Language for Domain Modeling"
Ramtin Khosravi,
نسا اسوده
Malaysian Software Engineering Conference,
2008
-
"An Enhanced Similarity Measure for Utilizing Web Site Structure in Web Personalization Systems"
شقایق صاحبی,
Farhad Aromchiyan,
Ramtin Khosravi
Web Intelligence and Intelligent Agent Technology,
2008
-
"Applying and Comparing Hidden Markov Model and Fuzzy Clustering Algorithms to Web Usage Data for Recommender Systems"
شقایق صاحبی,
Farhad Aromchiyan,
Ramtin Khosravi
IADIS European Conference on Data Mining 2008,
2008
-
"Visiting a Polygon on the Optimal Way to a Query Point"
Ramtin Khosravi,
محمد قدسی
Frontiers of Algorithmics,
2008
-
"Modeling and Analysis of Reo Connectors Using Alloy"
Shaghayegh Sahebi,
Marjan Sirjani,
Ramtin Khosravi,
Nesa Asoudeh,
Hamed Iravanchi
Coordination 2008,
2008
-
"Modeling Variability in Business Process Models Using UML"
Ramtin Khosravi,
مریم رضویان
International Conference on Information Technology: New Generations,
2008
-
"Modeling Variability in Component and Connector View of Architecture Using UML"
Ramtin Khosravi,
مریم رضویان
ACS/IEEE International Conference on Computer Systems and Applications,
2008