Publications
Filters: Author is Marjan Sirjani [Clear All Filters]
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors”, {ECEASST}, vol. 70, 2014.
, “ 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.
, “