Lubos Korenciak

16 papers B 4Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals.
IEEE Wirel. Commun.
Wenbo Wang, Jukka Talvitie, Eva Josth Adamova, Thilo Fath, Lubos Korenciak, Mikko Valkama, Elena Simona Lohan
2019 J jnl
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.
ACM Trans. Model. Comput. Simul.
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 — conf
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
QEST
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 J jnl
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
CoRR
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 B conf
Synthesis of Optimal Resilient Control Strategies.
ATVA
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017 J jnl
Synthesis of Optimal Resilient Control Strategies.
CoRR
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák
2016 B conf
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.
MASCOTS
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2016 J jnl
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.
CoRR
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2016 B conf
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
IFM
Lubos Korenciak, Vojtech Rehák, Adrian Farmadin
2016 J jnl
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
CoRR
Lubos Korenciak, Vojtech Rehák, Adrian Farmadin
2015 — conf
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.
QEST
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
2014 — conf
Dealing with Zero Density Using Piecewise Phase-Type Approximation.
EPEW
Lubos Korenciak, Jan Krcál, Vojtech Rehák
2014 J jnl
Dealing with Zero Density Using Piecewise Phase-type Approximation.
CoRR
Lubos Korenciak, Jan Krcál, Vojtech Rehák
2014 J jnl
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis.
CoRR
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
2013 B conf
On time-average limits in deterministic and stochastic petri nets.
ICPE
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák
2012 — conf
Sequence Chart Studio.
ACSD
Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák