Concepedia

Hassan Hatefi

HH

2

Publications

71

Citations

2

H-Index

2014

Active since

Affiliations

Saarland University(Current)

Hassan Hatefi is an author at Saarland University specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringVerificationReal-time SystemsStochastic ProcessesQuantitative Analysis

Publications per year

2014–2024

2

Publications

2

Model Checking Algorithms for Markov Automata

Hassan Hatefi, Holger Hermanns · Technische Universität Berlin – Universitätsbibliothek · 2024 · 38 citations · Full text

Stable Approximation Scheme, Engineering, Reachability Problem +14

Analysis of Timed and Long-Run Objectives for Markov Automata

Dennis Guck, Hassan Hatefi, Holger Hermanns et al. · Logical Methods in Computer Science · 2014 · 33 citations · Full text

Engineering, Reachability Problem, Formal Verification +16

Rows per page

1–2 of 2