Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dealing with Zero Density Using Piecewise Phase-Type Approximation., , and . EPEW, volume 8721 of Lecture Notes in Computer Science, page 119-134. Springer, (2014)Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis., , , , and . CoRR, (2014)Synthesis of Optimal Resilient Control Strategies., , , and . CoRR, (2017)Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms., , , , and . ACM Trans. Model. Comput. Simul., 29 (4): 28:1-28:26 (2019)On time-average limits in deterministic and stochastic petri nets., , , , and . ICPE, page 421-422. ACM, (2013)Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration., , and . MASCOTS, page 367-372. IEEE Computer Society, (2016)Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms., , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 190-206. Springer, (2017)Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis., , , , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 141-159. Springer, (2015)Synthesis of Optimal Resilient Control Strategies., , , , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 417-434. Springer, (2017)Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals., , , , , , and . IEEE Wirel. Commun., 26 (6): 164-171 (2019)