Sequence Chart Studio. - Martin Bezdeka; Ondrej Bouda; Lubos Korenciak; Matú Madzin; Vojtech Rehák (ACSD, 2012)

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 (ICPE, 2013)

Dealing with Zero Density Using Piecewise Phase-Type Approximation. - Lubos Korenciak; Jan Krcál; Vojtech Rehák (EPEW, 2014)

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. - Tomás Brázdil; Lubos Korenciak; Jan Krcál; Petr Novotný 001; Vojtech Rehák (QEST, 2015)

Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. - Lubos Korenciak; Vojtech Rehák; Adrian Farmadin (IFM, 2016)

Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. - Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (MASCOTS, 2016)

Synthesis of Optimal Resilient Control Strategies. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (ATVA, 2017)

Synthesis of Optimal Resilient Control Strategies. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Vojtech Rehák (CoRR, 2017)

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (ACM Trans. Model. Comput. Simul., 2019)

Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals. - Wenbo Wang 010; Jukka Talvitie; Eva Josth Adamova; Thilo Fath; Lubos Korenciak; Mikko Valkama; Elena Simona Lohan (IEEE Wirel. Commun., 2019)