Modeling variability in business process models using UML M Razavian, R Khosravi Information Technology: New Generations, 2008. ITNG 2008. Fifth
, 2008 | 101 | 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 | 50 | 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 | 45 | 2010 |
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 | 33 | 2008 |
Modeling and analysis of Reo connectors using Alloy R Khosravi, M Sirjani, N Asoudeh, S Sahebi, H Iravanchi Coordination Models and Languages: 10th International Conference
, 2008 | 29 | 2008 |
Handling Database Schema Variability in Software Product Lines N Khedri, R Khosravi | 28* | |
Floating time transition system: more efficient analysis of timed actors E Khamespanah, M Sirjani, M Viswanathan, R Khosravi Formal Aspects of Component Software: 12th International Conference, FACS
, 2016 | 25 | 2016 |
Modeling and efficient verification of wireless ad hoc networks B Yousefi, F Ghassemi, R Khosravi Formal Aspects of Computing 29, 1051-1086, 2017 | 24 | 2017 |
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 | 23 | 2013 |
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 | 22 | 2018 |
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 | 21 | 2012 |
Delta modeling and model checking of product families H Sabouri, R Khosravi Fundamentals of Software Engineering: 5th International Conference, FSEN
, 2013 | 19 | 2013 |
Modeling and verification of probabilistic actor systems using pRebeca M Varshosaz, R Khosravi Formal Methods and Software Engineering: 14th International Conference on
, 2012 | 19 | 2012 |
Synchronizing asynchronous conformance testing N Noroozi, R Khosravi, MR Mousavi, TAC Willemse Software Engineering and Formal Methods: 9th International Conference, SEFM
, 2011 | 18 | 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 | 17 | 2011 |
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 | 14 | 2012 |
The fastest way to view a query point in simple polygons. R Khosravi, M Ghodsi EuroCG, 187-190, 2005 | 14 | 2005 |
Modeling and efficient verification of broadcasting actors B Yousefi, F Ghassemi, R Khosravi Fundamentals of Software Engineering: 6th International Conference, FSEN
, 2015 | 13 | 2015 |
Reducing the verification cost of evolving product families using static analysis techniques H Sabouri, R Khosravi Science of Computer Programming 83, 35-55, 2014 | 13 | 2014 |
Efficient verification of evolving software product lines H Sabouri, R Khosravi International Conference on Fundamentals of Software Engineering, 351-358, 2011 | 13 | 2011 |