Lubos Korenciak

According to our database1, Lubos Korenciak authored at least 8 papers between 2012 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...