Lubos Korenciak

According to our database, Lubos Korenciak authored at least 10 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals.

Wenbo Wang, Jukka Talvitie, Eva Josth Adamova, Thilo Fath, Lubos Korenciak, Mikko Valkama, Elena Simona Lohan

IEEE Wirel. Commun., 2019

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák

ACM Trans. Model. Comput. Simul., 2019

2017

Synthesis of Optimal Resilient Control Strategies.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák

CoRR, 2017

Synthesis of Optimal Resilient Control Strategies.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

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

Lubos Korenciak, Antonín Kucera, Vojtech Rehák

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

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

Lubos Korenciak, Vojtech Rehák, Adrian Farmadin

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

2015

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

Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák

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

2014

Dealing with Zero Density Using Piecewise Phase-Type Approximation.

Lubos Korenciak, Jan Krcál, Vojtech Rehák

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

2013

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

Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák

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

2012

Sequence Chart Studio.

Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák

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