Karol Rástocný

37 papers A 1B 4C 1Journal 7Unranked 24

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