Ramtin Khosravi
Ramtin Khosravi
Assistant Prof., University of Tehran
Verified email at ut.ac.ir - Homepage
Title
Cited by
Cited by
Year
Modeling variability in business process models using UML
M Razavian, R Khosravi
Information Technology: New Generations, 2008. ITNG 2008. Fifth …, 2008
872008
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
E Khamespanah, M Sirjani, ZS Kaviani, R Khosravi, MJ Izadi
Science of Computer Programming 98, 184-204, 2015
382015
Formal analysis of policy-based self-adaptive systems
N Khakpour, R Khosravi, M Sirjani, S Jalili
Proceedings of the 2010 ACM Symposium on Applied Computing, 2536-2543, 2010
372010
Modeling and analysis of Reo connectors using Alloy
R Khosravi, M Sirjani, N Asoudeh, S Sahebi, H Iravanchi
International Conference on Coordination Languages and Models, 169-183, 2008
282008
Modeling variability in the component and connector view of architecture using UML
M Razavian, R Khosravi
Computer Systems and Applications, 2008. AICCSA 2008. IEEE/ACS International …, 2008
272008
Handling Database Schema Variability in Software Product Lines
N Khedri, R Khosravi
24*
Timed-Rebeca schedulability and deadlock-freedom analysis using floating-time transition system
E Khamespanah, Z Sabahi Kaviani, R Khosravi, M Sirjani, MJ Izadi
Proceedings of the 2nd edition on Programming systems, languages and …, 2012
222012
Modeling and efficient verification of wireless ad hoc networks
B Yousefi, F Ghassemi, R Khosravi
Formal Aspects of Computing 29 (6), 1051-1086, 2017
192017
Floating time transition system: more efficient analysis of timed actors
E Khamespanah, M Sirjani, M Viswanathan, R Khosravi
Formal Aspects of Component Software, 237-255, 2015
192015
Discrete time Markov chain families: modeling and verification of probabilistic software product lines
M Varshosaz, R Khosravi
Proceedings of the 17th International Software Product Line Conference Co …, 2013
192013
Synchronizing asynchronous conformance testing
N Noroozi, R Khosravi, MR Mousavi, TAC Willemse
International Conference on Software Engineering and Formal Methods, 334-349, 2011
172011
Delta modeling and model checking of product families
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 51-65, 2013
162013
Towards model-based testing of electronic funds transfer systems
HR Asaadi, R Khosravi, MR Mousavi, N Noroozi
International Conference on Fundamentals of Software Engineering, 253-267, 2011
152011
Towards model-based testing of electronic funds transfer systems
HR Asaadi, R Khosravi, MR Mousavi, N Noroozi
International Conference on Fundamentals of Software Engineering, 253-267, 2011
152011
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
E Khamespanah, R Khosravi, M Sirjani
Science of Computer Programming 153, 1-29, 2018
142018
Modeling and verification of probabilistic actor systems using pRebeca
M Varshosaz, R Khosravi
International Conference on Formal Engineering Methods, 135-150, 2012
142012
Formal semantics and analysis of timed rebeca in real-time maude
Z Sabahi-Kaviani, R Khosravi, M Sirjani, PC Ölveczky, E Khamespanah
International Workshop on Formal Techniques for Safety-Critical Systems, 178-194, 2013
122013
Efficient verification of evolving software product lines
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 351-358, 2011
122011
Synchrony and asynchrony in conformance testing
N Noroozi, R Khosravi, MR Mousavi, TAC Willemse
Software & Systems Modeling 14 (1), 149-172, 2015
112015
The fastest way to view a query point in simple polygons.
R Khosravi, M Ghodsi
EuroCG, 187-190, 2005
112005
The system can't perform the operation now. Try again later.
Articles 1–20