Karol Rástocný

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 19

Top Topics

Management System

Safety Critical

Test Data Generation

Top Venues

Comput. Informatics

Publications

Peter Peniak, Karol Rástocný, Alzbeta Kanáliková, Emília Bubeníková
Simulation of Virtual Redundant Sensor Models for Safety-Related Applications. Sensors 22 (3) (2022)
Marek Bujnák, Rastislav Pirník, Karol Rástocný, Ales Janota, Dusan Nemec, Pavol Kuchár, Tomás Tichý, Zbigniew Lukasik
Spherical Robots for Special Purposes: A Review on Current Possibilities. Sensors 22 (4) (2022)
Ján Cegin, Karol Rástocný
Test Data Generation for MC/DC Criterion using Reinforcement Learning. ICST Workshops (2020)
Marek Bruchatý, Karol Rástocný
Does Live Regression Testing Help? SOFSEM (2020)
Ján Cegin, Karol Rástocný, Mária Bieliková
Synthesized dataset for search-based test data generation methods focused on MC/DC criterion. QRS Companion (2020)
Karol Rástocný, Emília Bubeníková
Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling. TST (2019)
Jakub Ondik, Karol Rástocný
Interactive Visualization of Differences between Software Model Versions. MODELSWARD (2019)
Martin Labaj, Karol Rástocný, Daniela Chudá
Towards Automatic Comparison of Cloud Service Security Certifications. SOFSEM (2019)
Jozef Balák, Karol Rástocný
Mathematical Model for Safety Evaluation of Distributed Interlocking System. TST (2018)
Karol Rástocný, Juraj Zdánsky, Mária Franeková, Iveta Zolotová
Modelling of Diagnostics Influence on Control System Safety. Comput. Informatics 37 (2) (2018)
Karol Rástocný, Peter Zdánsky
Comparison of Some Safety Properties of Architecture 2003 and Architecture 2 × (2002). TST (2018)
Karol Rástocný, Andrej Mlyncár
Automated Change Propagation from Source Code to Sequence Diagrams. SOFSEM (2018)
Karol Rástocný, Mária Franeková, Jozef Balák
Failure Effects Analysis by Multiple Random Variable. TST (2017)
Jakub Ondik, Martin Olejár, Karol Rástocný, Mária Bieliková
Activity-Based Model Synchronization and Defects Detection for Small Teams. QRS Companion (2017)
Mária Franeková, Karol Rástocný, Peter Lüley
Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications. TST (2016)
Karol Rástocný, Mária Franeková, Peter Holecko, Iveta Zolotová
Modelling of Hazards Effect on Safety Integrity of Open Transmission Systems. Comput. Informatics 35 (2) (2016)
Mária Franeková, Peter Lüley, Karol Rástocný, Juraj Zdánsky
Proposal of on-Line Key Management System Solutions for Railway Applications Based on Asymmetric Cryptography. TST (2015)
Karol Rástocný, Juraj Zdánsky
Hazardous Failure Rate of the Safety Function. TST (2015)
Karol Rástocný, Mária Bieliková
Empirical Metadata Maintenance in Source Code Development Process. ECBS-EERC (2015)
Peter Nagy, Karol Rástocný, Juraj Zdánsky
Influence of Operator on Safety of the Signalling System during Emergency Operation. TST (2014)
Karol Rástocný, Mária Franeková, Iveta Zolotová, Karol Rástocný Jr.
Quantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment. Comput. Informatics 33 (2) (2014)
Karol Rástocný, Mária Bieliková
Enriching source code by empirical metadata. ESEM (2014)
Mária Bieliková, Ivan Polásek, Michal Barla, Eduard Kuric, Karol Rástocný, Jozef Tvarozek, Peter Lacko
Platform Independent Software Development Monitoring: Design of an Architecture. SOFSEM (2014)
Karol Rástocný, Michal Tvarozek, Mária Bieliková
Web Search Results Exploration via Cluster-Based Viewes and Zoom-Based Navigation. J. Univers. Comput. Sci. 19 (15) (2013)
Karol Rástocný, Mária Bieliková
Metadata Anchoring for Source Code: Robust Location Descriptor Definition, Building and Interpreting. DEXA (2) (2013)
Karol Rástocný, L'ubomír Pekár, Juraj Zdánsky
Safety of Signalling Systems - Opinions and Reality. TST (2013)
Juraj Ilavský, Karol Rástocný
Considerations of the recovery in 2-out-of-3 safety-related control system. PDeS (2012)
Karol Rástocný, Juraj Zdánsky, Peter Nagy
Some Specific Activities at the Railway Signalling System Development. TST (2012)
Karol Rástocný, Karol Rástocný Jr.
UML - A Part of an Interlocking System Development Process. TST (2012)
Mária Bieliková, Karol Rástocný
Lightweight Semantics over Web Information Systems Content Employing Knowledge Tags. ER Workshops (2012)
Karol Rástocný, Mária Bieliková
Maintenance of Human and Machine Metadata over the Web Content. ICWE Workshops (2012)
Karol Rástocný, Juraj Ilavský
What Is Concealed behind the Hazardous Failure Rate of a System? TST (2011)
Karol Rástocný, Michal Tvarozek, Mária Bieliková
Supporting Search Result Browsing and Exploration via Cluster-Based Views and Zoom-Based Navigation. Web Intelligence/IAT Workshops (2011)
Mária Franeková, Karol Rástocný
Problems of Safety Codes Evaluation in Practical Applications. TST (2010)
Karol Rástocný, Juraj Ilavský
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. FORMS/FORMAT (2010)
Karol Rástocný, Ales Janota, Jirí Zahradník
The Use of UML for Development of a Railway Interlocking System. SoftSpez Final Report (2004)