Follow
Ľ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
182015
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
102014
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
82017
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
82012
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
62017
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
52019
Extension of PRISM by synthesis of optimal timeouts in fixed-delay CTMC
Ľ Korenčiak, V Řehák, A Farmadin
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
52016
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
42019
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
42016
Parameter Synthesis in Continuous-Time Stochastic Systems
L Korenciak
32017
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
32013
Effective Algorithms for Time Relation Checking in Message Sequence Charts
L Korenciak
Diplomová práca, Masarykova univerzita, Fakulta informatiky, 2011
32011
Time Extension of Message Sequence Chart
L Korenciak
22009
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
The system can't perform the operation now. Try again later.
Articles 1–15