Hassan Hatefi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2015
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ATVA | Optimal Continuous Time Markov Decisions. | Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcl |
| 2015 | SETTA | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | VMCAI | Abstraction-Based Computation of Reward Measures for Markov Automata. | Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2014 | ATVA | Modelling and Analysis of Markov Reward Automata. | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga |