Ľuboš Korenčiak
Ľuboš Korenčiak
Faculty of Informatics, Masaryk University, Brno
Verified email at fi.muni.cz
Title
Cited by
Cited by
Year
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
International Conference on Quantitative Evaluation of Systems, 141-159, 2015
162015
Dealing with zero density using piecewise phase-type approximation
L Korenčiak, J Krčál, V Řehák
European Workshop on Performance Engineering, 119-134, 2014
72014
Mean-payoff optimization in continuous-time Markov chains with parametric alarms
C Baier, C Dubslaff, Ľ Korenčiak, A Kučera, V Řehák
International Conference on Quantitative Evaluation of Systems, 190-206, 2017
52017
Extension of PRISM by synthesis of optimal timeouts in fixed-delay CTMC
Ľ Korenčiak, V Řehák, A Farmadin
International Conference on Integrated Formal Methods, 130-138, 2016
52016
Sequence chart studio
M Bezdeka, O Bouda, L Korenciak, M Madzin, V Reh'k
2012 12th International Conference on Application of Concurrency to System …, 2012
52012
Mean-payoff optimization in continuous-time Markov chains with parametric alarms
C Baier, C Dubslaff, L Korenčiak, A Kučera, V Řehák
ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-26, 2019
32019
Synthesis of optimal resilient control strategies
C Baier, C Dubslaff, L Korenčiak, A Kučera, V Řehák
International Symposium on Automated Technology for Verification and …, 2017
32017
Efficient timeout synthesis in fixed-delay CTMC using policy iteration
Ľ Korenčiak, A Kučera, V Řehák
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation …, 2016
32016
On time-average limits in deterministic and stochastic petri nets
T Brázdil, L Korenčiak, J Krčál, J Křetínský, V Řehák
Proceedings of the 4th ACM/SPEC International Conference on Performance …, 2013
22013
Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals
W Wang, J Talvitie, EJ Adamova, T Fath, L Korenciak, M Valkama, ...
IEEE Wireless Communications 26 (6), 164-171, 2019
12019
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľ KORENČIAK
Masarykova univerzita, Fakulta informatiky, 2011
12011
Service-Oriented Hybrid-Database-Assisted Spectrum Trading: A Blueprint for Future Licensed Spectrum Sharing
W Wang, J Talvitie, EJ Adamova, T Fath, L Korenciak, M Valkama, ...
IEEE WIRELESS COMMUNICATIONS 26 (6), 164-171, 2019
2019
Sequence Chart Studio: user-friendly drawing and verification tool for MSC
V Řehák, M Madzin, Ľ Korenčiak, P Gotthard, O Kocian, M Bezděka, ...
2012
Time Extension of Message Sequence Chart
Ľ KORENČIAK
Masarykova univerzita, Fakulta informatiky, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–14