Publications
Filters: Author is Lubos Korenciak [Clear All Filters]
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis”, in QEST 2015, In Press.
, “ Dealing with Zero Density Using Piecewise Phase-Type Approximation”, in Computer Performance Engineering - 11th European Workshop, {EPEW} 2014, Florence, Italy, September 11-12, 2014. Proceedings, 2014.
, “