Concepedia

Ramtin Khosravi

RK

13

Publications

289

Citations

11

H-Index

2008

Active since

Affiliations

University of Tehran(Current)

Reykjavík University

Ramtin Khosravi is an author at University of Tehran specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware AnalysisFormal MethodsFormal VerificationVerificationSoftware DesignProgram AnalysisComputer Engineering

Publications per year

2008–2022

13

Publications

13

Modeling Variability in Business Process Models Using UML

Maryam Razavian, Ramtin Khosravi · 2008 · 65 citations

Software Maintenance, Engineering, Business Intelligence +17

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi Kaviani et al. · Science of Computer Programming · 2014 · 43 citations

Real-time System, Engineering, Timed Rebeca Schedulability +14

Formal analysis of policy-based self-adaptive systems

Narges Khakpour, Ramtin Khosravi, Marjan Sirjani et al. · 2010 · 34 citations

Engineering, Verification, Software Engineering +22

Discrete time Markov chain families

Mahsa Varshosaz, Ramtin Khosravi · 2013 · 20 citations

Engineering, Discrete Probability, Systematic Reuse +23

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani · Science of Computer Programming · 2017 · 19 citations

Engineering, Automated Reasoning, Verification +13

Rows per page

1–5 of 13