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
862008
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
362010
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
332015
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
252008
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
252008
Handling Database Schema Variability in Software Product Lines
N Khedri, R Khosravi
21*
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
202012
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
182013
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
182011
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
182011
Synchronizing asynchronous conformance testing
N Noroozi, R Khosravi, MR Mousavi, TAC Willemse
International Conference on Software Engineering and Formal Methods, 334-349, 2011
172011
Modeling and efficient verification of wireless ad hoc networks
B Yousefi, F Ghassemi, R Khosravi
Formal Aspects of Computing 29 (6), 1051-1086, 2017
162017
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
132015
Delta modeling and model checking of product families
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 51-65, 2013
132013
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
Modeling and verification of probabilistic actor systems using pRebeca
M Varshosaz, R Khosravi
International Conference on Formal Engineering Methods, 135-150, 2012
112012
The fastest way to view a query point in simple polygons.
R Khosravi, M Ghodsi
EuroCG, 187-190, 2005
102005
Shortest paths in simple polygons with polygon-meet constraints
R Khosravi, M Ghodsi
Information processing letters 91 (4), 171-176, 2004
102004
The system can't perform the operation now. Try again later.
Articles 1–20