Concepedia

Zeynab Sabahi Kaviani

ZS

2

Publications

55

Citations

2

H-Index

2012

Active since

Affiliations

Reykjavík University(Current)

University of Tehran

Zeynab Sabahi Kaviani is an author at Reykjavík University specializing in systems engineering, computer science, and real-time systems.

Top concepts

EngineeringFormal MethodsComputer ScienceReal-time SystemsParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel ProgrammingComputer Architecture

Publications per year

2012–2014

2

Publications

2

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

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system

Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi et al. · 2012 · 12 citations

Engineering, Real-time System Design, Verification +21

Rows per page

1–2 of 2