# Lubos Korenciak

According to our database

Collaborative distances:

^{1}, Lubos Korenciak authored at least 8 papers between 2012 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Synthesis of Optimal Resilient Control Strategies.

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2014

Dealing with Zero Density Using Piecewise Phase-Type Approximation.

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013

On time-average limits in deterministic and stochastic petri nets.

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

2012

Sequence Chart Studio.

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012