Hassan Hatefi

According to our database, Hassan Hatefi authored at least 12 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Cost vs. time in stochastic games and Markov automata.

Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns

Formal Aspects Comput., 2017

2015

Improving time bounded reachability computations in interactive Markov chains.

Hassan Hatefi, Holger Hermanns

Sci. Comput. Program., 2015

Abstraction-Based Computation of Reward Measures for Markov Automata.

Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Optimal Continuous Time Markov Decisions.

Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version).

Vahid Hashemi, Hassan Hatefi, Jan Krcál

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

Analysis of Timed and Long-Run Objectives for Markov Automata.

Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

Log. Methods Comput. Sci., 2014

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.

Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Modelling and Analysis of Markov Reward Automata.

Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Modelling, Reduction and Analysis of Markov Automata (extended version)

Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

CoRR, 2013

Modelling, Reduction and Analysis of Markov Automata.

Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012

Model Checking Algorithms for Markov Automata.

Hassan Hatefi, Holger Hermanns

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

A Tutorial on Interactive Markov Chains.

Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012