Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Hassan Hatefi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
H. Hatefi and H. Hermanns, “Model Checking Algorithms for Markov Automata”, ECEASST, vol. 53, 2012.
H. Hatefi and H. Hermanns, “Improving Time Bounded Reachability Computations in Interactive Markov Chains”, in Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, 2013.