2015 (3)
Improving time bounded reachability computations in interactive Markov chains. Hatefi, H.; and Hermanns, H. Science of Computer Programming, . June 2015.
Improving time bounded reachability computations in interactive Markov chains [link]Paper   doi   bibtex   abstract
Optimal Continuous Time Markov Decisions. Butkova, Y.; Hatefi, H.; Hermanns, H.; and Krcal, J. arXiv:1507.02876 [cs], . July 2015. arXiv: 1507.02876
Optimal Continuous Time Markov Decisions [link]Paper   bibtex   abstract
Abstraction-Based Computation of Reward Measures for Markov Automata. Braitling, B.; Fioriti, L. M. F.; Hatefi, H.; Wimmer, R.; Becker, B.; and Hermanns, H. In D'Souza, D.; Lal, A.; and Larsen, K. G., editor(s), Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, volume 8931, of Lecture Notes in Computer Science, pages 172--189, 2015. Springer
doi   bibtex
  2014 (4)
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). Hashemi, V.; Hatefi, H.; and Krcal, J. In André, É.; and Frehse, G., editor(s), Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014, volume 145, of EPTCS, pages 19--33, 2014.
doi   bibtex
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Braitling, B.; Fioriti, L. M. F.; Hatefi, H.; Wimmer, R.; Becker, B.; and Hermanns, H. In Bertrand, N.; and Bortolussi, L., editor(s), Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014, volume 154, of EPTCS, pages 48--63, 2014.
doi   bibtex   2 downloads
Analysis of Timed and Long-Run Objectives for Markov Automata. Guck, D.; Hatefi, H.; Hermanns, H.; Katoen, J.; and Timmer, M. Logical Methods in Computer Science, 10(3). 2014.
doi   bibtex   4 downloads
Modelling and Analysis of Markov Reward Automata. Guck, D.; Timmer, M.; Hatefi, H.; Ruijters, E.; and Stoelinga, M. In Cassez, F.; and Raskin, J., editor(s), Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837, of Lecture Notes in Computer Science, pages 168--184, 2014. Springer
doi   bibtex
  2013 (2)
Improving Time Bounded Reachability Computations in Interactive Markov Chains. Hatefi, H.; and Hermanns, H. In Arbab, F.; and Sirjani, M., editor(s), Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, volume 8161, of Lecture Notes in Computer Science, pages 250--266, 2013. Springer
doi   bibtex   1 download
Modelling, Reduction and Analysis of Markov Automata. Guck, D.; Hatefi, H.; Hermanns, H.; Katoen, J.; and Timmer, M. In Joshi, K. R.; Siegle, M.; Stoelinga, M.; and D'Argenio, P. R., editor(s), Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8054, of Lecture Notes in Computer Science, pages 55--71, 2013. Springer
doi   bibtex
  2012 (2)
Model Checking Algorithms for Markov Automata. Hatefi, H.; and Hermanns, H. ECEASST, 53. 2012.
Model Checking Algorithms for Markov Automata [link]Paper   bibtex
A Tutorial on Interactive Markov Chains. Arnold, F.; Gebler, D.; Guck, D.; and Hatefi, H. In ROCKS, pages 26--66, 2012.
doi   bibtex