| 2020 | ICST | Test Data Generation for MC/DC Criterion using Reinforcement Learning. | Jn Cegin, Karol Rstocn |
| 2020 | QRS | Synthesized dataset for search-based test data generation methods focused on MC/DC criterion. | Jn Cegin, Karol Rstocn, Mria Bielikov |
| 2020 | SOFSEM | Does Live Regression Testing Help? | Marek Bruchat, Karol Rstocn |
| 2019 | MODELSWARD | Interactive Visualization of Differences between Software Model Versions. | Jakub Ondik, Karol Rstocn |
| 2019 | SOFSEM | Towards Automatic Comparison of Cloud Service Security Certifications. | Martin Labaj, Karol Rstocn, Daniela Chud |
| 2018 | SOFSEM | Automated Change Propagation from Source Code to Sequence Diagrams. | Karol Rstocn, Andrej Mlyncr |
| 2017 | QRS | Activity-Based Model Synchronization and Defects Detection for Small Teams. | Jakub Ondik, Martin Olejr, Karol Rstocn, Mria Bielikov |
| 2014 | ESEM | Enriching source code by empirical metadata. | Karol Rstocn, Mria Bielikov |
| 2014 | SOFSEM | Platform Independent Software Development Monitoring: Design of an Architecture. | Mria Bielikov, Ivan Polsek, Michal Barla, Eduard Kuric, Karol Rstocn, Jozef Tvarozek, Peter Lacko |
| 2013 | DEXA | Metadata Anchoring for Source Code: Robust Location Descriptor Definition, Building and Interpreting. | Karol Rstocn, Mria Bielikov |
| 2012 | ER | Lightweight Semantics over Web Information Systems Content Employing Knowledge Tags. | Mria Bielikov, Karol Rstocn |
| 2012 | ICWE | Maintenance of Human and Machine Metadata over the Web Content. | Karol Rstocn, Mria Bielikov |