Researcher

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic

E-mail: horky@d3s.mff.cuni.cz
Phone: +420 951 55 4457

Teaching

Research

Publications

Link bibtex
L. Bulej, V. Horký, P. Tůma:
Initial Experiments with Duet Benchmarking: Performance Testing Interference in the Cloud, in Proc. 27th IEEE Intl. Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 249-255, 2019
DOI: 10.1109/MASCOTS.2019.00035
Link bibtex
I. Gerostathopoulos, C. Prehofer, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results, in 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), pp. 72-75, 2018
DOI: 10.1109/ICSA-C.2018.00027
Link bibtex
P. Kubát, L. Bulej, T. Bureš, V. Horký, P. Tůma:
Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation, in Companion Proc. 9th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 195-198, 2018
ISBN: 978-1-4503-5629-9, DOI: 10.1145/3185768.3186406
Link bibtex
L. Bulej, V. Horký, P. Tůma:
Do We Teach Useful Statistics for Performance Evaluation?, in Companion Proc. 8th ACM/SPEC on Intl. Conf. on Performance Engineering, pp. 185–189, 2017
ISBN: 978-1-4503-4899-7, DOI: 10.1145/3053600.3053638
Link bibtex
P. Stefan, V. Horký, L. Bulej, P. Tůma:
Unit Testing Performance in Java Projects: Are We There Yet?, in Proc. 8th ACM/SPEC Intl. Conf. on Performance Engineering (ICPE), pp. 401–412, 2017
ISBN: 978-1-4503-4404-3, DOI: 10.1145/3030207.3030226
Link bibtex
I. Gerostathopoulos, T. Bureš, S. Schmid, V. Horký, C. Prehofer, P. Tůma:
Towards Systematic Live Experimentation in Software-intensive Systems of Systems, in Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, pp. 7:1–7:7, 2016
ISBN: 978-1-4503-6399-0, DOI: 10.1145/3175731.3176175
Link bibtex
V. Horký, J. Kotrč, P. Libič, P. Tůma:
Analysis of Overhead in Dynamic Java Performance Monitoring, in Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering, pp. 275–286, 2016
ISBN: 978-1-4503-4080-9, DOI: 10.1145/2851553.2851569
Link bibtex
L. Bulej, T. Bureš, V. Horký, J. Kotrč, L. Marek, T. Trojánek, P. Tůma:
Unit Testing Performance with Stochastic Performance Logic, in Automated Software Engineering, pp. 1-49, 2016
DOI: 10.1007/s10515-015-0188-0
Link bibtex
V. Horký, P. Libič, L. Marek, A. Steinhauser, P. Tůma:
Utilizing Performance Unit Tests To Increase Performance Awareness, in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 289–300, 2015
ISBN: 978-1-4503-3248-4, DOI: 10.1145/2668930.2688051
Link bibtex
P. Libič, L. Bulej, V. Horký, P. Tůma:
Estimating the Impact of Code Additions on Garbage Collection Overhead, in Computer Performance Engineering: Proc. 12th European Performance Engineering Workshop (EPEW), pp. 130-145, 2015
ISBN: 978-3-319-23266-9 978-3-319-23267-6
Link bibtex
L. Bulej, T. Bureš, I. Gerostathopoulos, V. Horký, J. Keznikl, L. Marek, M. Tschaikowski, M. Tribastone, P. Tůma:
Supporting Performance Awareness in Autonomous Ensembles, in Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 291–322, 2015
ISBN: 978-3-319-16310-9
Link bibtex
D. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofroň, A. Lafuente, M. Loreti, A. Margheri, P. Mayer, V. Monreale, U. Montanari, C. Pinciroli, P. Tůma, A. Vandin, E. Vassev:
Tools for Ensemble Design and Runtime, in Software Engineering for Collective Autonomic Systems, pp. 429-448, 2015
ISBN: 978-3-319-16309-3 978-3-319-16310-9
Link bibtex
V. Horký, P. Libič, A. Steinhauser, P. Tůma:
DOs and DON'Ts of Conducting Performance Measurements in Java (Tutorial Paper), in Proc. 6th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 337–340, 2015
ISBN: 978-1-4503-3248-4, DOI: 10.1145/2668930.2688820
Link bibtex
T. Bureš, V. Horký, M. Kit, L. Marek, P. Tůma:
Towards Performance-Aware Engineering of Autonomic Component Ensembles, in Technologies for Mastering Change: Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), pp. 131-146, 2014
ISBN: 978-3-662-45233-2 978-3-662-45234-9
Link bibtex
P. Libič, L. Bulej, V. Horký, P. Tůma:
On the Limits of Modeling Generational Garbage Collector Performance, in Proc. 5th ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 15–26, 2014
ISBN: 978-1-4503-2733-6, DOI: 10.1145/2568088.2568097
Link bibtex
V. Horký, F. Haas, J. Kotrč, M. Lacina, P. Tůma:
Performance Regression Unit Testing: A Case Study, in Computer Performance Engineering: Proc. 10th European Performance Engineering Workshop (EPEW), pp. 149-163, 2013
ISBN: 978-3-642-40724-6 978-3-642-40725-3