The Use of UML for Development of a Railway Interlocking System. - Karol Rástocný; Ales Janota; Jirí Zahradník (SoftSpez Final Report, 2004)

Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. - Karol Rástocný; Juraj Ilavský (FORMS/FORMAT, 2010)

Problems of Safety Codes Evaluation in Practical Applications. - Mária Franeková; Karol Rástocný (TST, 2010)

Supporting Search Result Browsing and Exploration via Cluster-Based Views and Zoom-Based Navigation. - Karol Rástocný; Michal Tvarozek; Mária Bieliková (Web Intelligence/IAT Workshops, 2011)

What Is Concealed behind the Hazardous Failure Rate of a System? - Karol Rástocný; Juraj Ilavský (TST, 2011)

Lightweight Semantics over Web Information Systems Content Employing Knowledge Tags. - Mária Bieliková; Karol Rástocný (ER Workshops, 2012)

Maintenance of Human and Machine Metadata over the Web Content. - Karol Rástocný; Mária Bieliková (ICWE Workshops, 2012)

Considerations of the recovery in 2-out-of-3 safety-related control system. - Juraj Ilavský; Karol Rástocný (PDeS, 2012)

UML - A Part of an Interlocking System Development Process. - Karol Rástocný; Karol Rástocný Jr. (TST, 2012)

Some Specific Activities at the Railway Signalling System Development. - Karol Rástocný; Juraj Zdánsky; Peter Nagy (TST, 2012)

Metadata Anchoring for Source Code: Robust Location Descriptor Definition, Building and Interpreting. - Karol Rástocný; Mária Bieliková (DEXA (2), 2013)

Safety of Signalling Systems - Opinions and Reality. - Karol Rástocný; L'ubomír Pekár; Juraj Zdánsky (TST, 2013)

Web Search Results Exploration via Cluster-Based Viewes and Zoom-Based Navigation. - Karol Rástocný; Michal Tvarozek; Mária Bieliková (J. Univers. Comput. Sci., 2013)

Enriching source code by empirical metadata. - Karol Rástocný; Mária Bieliková (ESEM, 2014)

Platform Independent Software Development Monitoring: Design of an Architecture. - Mária Bieliková; Ivan Polásek; Michal Barla; Eduard Kuric; Karol Rástocný; Jozef Tvarozek; Peter Lacko (SOFSEM, 2014)

Influence of Operator on Safety of the Signalling System during Emergency Operation. - Peter Nagy; Karol Rástocný; Juraj Zdánsky (TST, 2014)

Quantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment. - Karol Rástocný; Mária Franeková; Iveta Zolotová; Karol Rástocný Jr. (Comput. Informatics, 2014)

Empirical Metadata Maintenance in Source Code Development Process. - Karol Rástocný; Mária Bieliková (ECBS-EERC, 2015)

Proposal of on-Line Key Management System Solutions for Railway Applications Based on Asymmetric Cryptography. - Mária Franeková; Peter Lüley; Karol Rástocný; Juraj Zdánsky (TST, 2015)

Hazardous Failure Rate of the Safety Function. - Karol Rástocný; Juraj Zdánsky (TST, 2015)

Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications. - Mária Franeková; Karol Rástocný; Peter Lüley (TST, 2016)

Modelling of Hazards Effect on Safety Integrity of Open Transmission Systems. - Karol Rástocný; Mária Franeková; Peter Holecko; Iveta Zolotová (Comput. Informatics, 2016)

Activity-Based Model Synchronization and Defects Detection for Small Teams. - Jakub Ondik; Martin Olejár; Karol Rástocný; Mária Bieliková (QRS Companion, 2017)

Failure Effects Analysis by Multiple Random Variable. - Karol Rástocný; Mária Franeková; Jozef Balák (TST, 2017)

Automated Change Propagation from Source Code to Sequence Diagrams. - Karol Rástocný; Andrej Mlyncár (SOFSEM, 2018)

Mathematical Model for Safety Evaluation of Distributed Interlocking System. - Jozef Balák; Karol Rástocný (TST, 2018)

Comparison of Some Safety Properties of Architecture 2003 and Architecture 2 × (2002). - Karol Rástocný; Peter Zdánsky (TST, 2018)

Modelling of Diagnostics Influence on Control System Safety. - Karol Rástocný; Juraj Zdánsky; Mária Franeková; Iveta Zolotová (Comput. Informatics, 2018)

Interactive Visualization of Differences between Software Model Versions. - Jakub Ondik; Karol Rástocný (MODELSWARD, 2019)

Towards Automatic Comparison of Cloud Service Security Certifications. - Martin Labaj; Karol Rástocný; Daniela Chudá (SOFSEM, 2019)

Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling. - Karol Rástocný; Emília Bubeníková (TST, 2019)

Test Data Generation for MC/DC Criterion using Reinforcement Learning. - Ján Cegin; Karol Rástocný (ICST Workshops, 2020)

Synthesized dataset for search-based test data generation methods focused on MC/DC criterion. - Ján Cegin; Karol Rástocný; Mária Bieliková (QRS Companion, 2020)

Does Live Regression Testing Help? - Marek Bruchatý; Karol Rástocný (SOFSEM, 2020)

Spherical Robots for Special Purposes: A Review on Current Possibilities. - Marek Bujnák; Rastislav Pirník; Karol Rástocný; Ales Janota; Dusan Nemec; Pavol Kuchár; Tomás Tichý; Zbigniew Lukasik (Sensors, 2022)

Simulation of Virtual Redundant Sensor Models for Safety-Related Applications. - Peter Peniak; Karol Rástocný; Alzbeta Kanáliková; Emília Bubeníková (Sensors, 2022)

Recovery of E-SRS With 2 × (2oo2) System Architecture and Its Impact on the Safety Integrity of a Safety Function. - L'ubomír Hrmo; Juraj Zdánsky; Karol Rástocný; Jozef Hrbcek (IEEE Access, 2025)