| 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 | 19 | 2015 |
| 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 | 11 | 2014 |
| 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 | 8 | 2017 |
| 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 | 8 | 2012 |
| 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 | 6 | 2019 |
| 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 | 6 | 2017 |
| 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 | 5 | 2016 |
| 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 | 4 | 2019 |
| 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 | 4 | 2016 |
| 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 | 3 | 2013 |
| Effective Algorithms for Time Relation Checking in Message Sequence Charts L Korenciak Diplomová práca, Masarykova univerzita, Fakulta informatiky, 2011 | 3 | 2011 |
| Parameter Synthesis in Continuous-Time Stochastic Systems Ľ Korenčiak PhD thesis. Masaryk University, Faculty of Informatics, Brno, 2018.: https …, 2017 | 2 | 2017 |
| Time Extension of Message Sequence Chart L Korenciak | 2 | 2009 |
| 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 |
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz