Ramtin Khosravi
Ramtin Khosravi
Assistant Prof., University of Tehran
Zweryfikowany adres z ut.ac.ir - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
402015
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
25*
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
202017
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
202015
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
202013
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
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
152018
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
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
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
122012
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
122012
Efficient verification of evolving software product lines
H Sabouri, R Khosravi
International Conference on Fundamentals of Software Engineering, 351-358, 2011
122011
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20