| Modeling variability in business process models using UML M Razavian, R Khosravi Information Technology: New Generations, 2008. ITNG 2008. Fifth …, 2008 | 89 | 2008 |
| 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 | 39 | 2015 |
| 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 | 38 | 2010 |
| 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 | 29 | 2008 |
| 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 | 27 | 2008 |
| Handling Database Schema Variability in Software Product Lines N Khedri, R Khosravi | 27* | |
| Modeling and efficient verification of wireless ad hoc networks B Yousefi, F Ghassemi, R Khosravi Formal Aspects of Computing 29 (6), 1051-1086, 2017 | 22 | 2017 |
| 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 | 22 | 2012 |
| 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 | 20 | 2013 |
| 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 | 19 | 2015 |
| Synchronizing asynchronous conformance testing N Noroozi, R Khosravi, MR Mousavi, TAC Willemse International Conference on Software Engineering and Formal Methods, 334-349, 2011 | 17 | 2011 |
| Delta modeling and model checking of product families H Sabouri, R Khosravi International Conference on Fundamentals of Software Engineering, 51-65, 2013 | 16 | 2013 |
| 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 | 16 | 2011 |
| 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 | 16 | 2011 |
| 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 | 15 | 2018 |
| Modeling and verification of probabilistic actor systems using pRebeca M Varshosaz, R Khosravi International Conference on Formal Engineering Methods, 135-150, 2012 | 14 | 2012 |
| 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 | 12 | 2013 |
| Scheduling and analysis of real-time software families H Sabouri, MM Jaghoori, F de Boer, R Khosravi 2012 IEEE 36th Annual Computer Software and Applications Conference, 680-689, 2012 | 12 | 2012 |
| Scheduling and analysis of real-time software families H Sabouri, MM Jaghoori, F de Boer, R Khosravi 2012 IEEE 36th Annual Computer Software and Applications Conference, 680-689, 2012 | 12 | 2012 |
| Efficient verification of evolving software product lines H Sabouri, R Khosravi International Conference on Fundamentals of Software Engineering, 351-358, 2011 | 12 | 2011 |
