Karol Rástocný

According to our database, Karol Rástocný authored at least 36 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

2020

Does Live Regression Testing Help?

Marek Bruchatý, Karol Rástocný

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

Synthesized dataset for search-based test data generation methods focused on MC/DC criterion.

Ján Cegin, Karol Rástocný, Mária Bieliková

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Test Data Generation for MC/DC Criterion using Reinforcement Learning.

Ján Cegin, Karol Rástocný

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling.

Karol Rástocný, Emília Bubeníková

Proceedings of the Development of Transport by Telematics, 2019

Towards Automatic Comparison of Cloud Service Security Certifications.

Martin Labaj, Karol Rástocný, Daniela Chudá

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Interactive Visualization of Differences between Software Model Versions.

Jakub Ondik, Karol Rástocný

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

2018

Modelling of Diagnostics Influence on Control System Safety.

Karol Rástocný, Juraj Zdánsky, Mária Franeková, Iveta Zolotová

Comput. Informatics, 2018

Comparison of Some Safety Properties of Architecture 2003 and Architecture 2 × (2002).

Karol Rástocný, Peter Zdánsky

Proceedings of the Management Perspective for Transport Telematics, 2018

Mathematical Model for Safety Evaluation of Distributed Interlocking System.

Jozef Balák, Karol Rástocný

Proceedings of the Management Perspective for Transport Telematics, 2018

Automated Change Propagation from Source Code to Sequence Diagrams.

Karol Rástocný, Andrej Mlyncár

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

2017

Failure Effects Analysis by Multiple Random Variable.

Karol Rástocný, Mária Franeková, Jozef Balák

Proceedings of the Smart Solutions in Today's Transport, 2017

Activity-Based Model Synchronization and Defects Detection for Small Teams.

Jakub Ondik, Martin Olejár, Karol Rástocný, Mária Bieliková

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

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

Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications.

Mária Franeková, Karol Rástocný, Peter Lüley

Proceedings of the Challenge of Transport Telematics, 2016

2015

Hazardous Failure Rate of the Safety Function.

Karol Rástocný, Juraj Zdánsky

Proceedings of the Tools of Transport Telematics, 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

Proceedings of the Tools of Transport Telematics, 2015

Empirical Metadata Maintenance in Source Code Development Process.

Karol Rástocný, Mária Bieliková

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

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

Influence of Operator on Safety of the Signalling System during Emergency Operation.

Peter Nagy, Karol Rástocný, Juraj Zdánsky

Proceedings of the Telematics - Support for Transport, 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

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Enriching source code by empirical metadata.

Karol Rástocný, Mária Bieliková

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

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

Safety of Signalling Systems - Opinions and Reality.

Karol Rástocný, L'ubomír Pekár, Juraj Zdánsky

Proceedings of the Activities of Transport Telematics, 2013

Metadata Anchoring for Source Code: Robust Location Descriptor Definition, Building and Interpreting.

Karol Rástocný, Mária Bieliková

Proceedings of the Database and Expert Systems Applications, 2013

2012

Some Specific Activities at the Railway Signalling System Development.

Karol Rástocný, Juraj Zdánsky, Peter Nagy

Proceedings of the Telematics in the Transport Environment, 2012

UML - A Part of an Interlocking System Development Process.

Karol Rástocný, Karol Rástocný Jr.

Proceedings of the Telematics in the Transport Environment, 2012

Considerations of the recovery in 2-out-of-3 safety-related control system.

Juraj Ilavský, Karol Rástocný

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Maintenance of Human and Machine Metadata over the Web Content.

Karol Rástocný, Mária Bieliková

Proceedings of the Current Trends in Web Engineering, 2012

Lightweight Semantics over Web Information Systems Content Employing Knowledge Tags.

Mária Bieliková, Karol Rástocný

Proceedings of the Advances in Conceptual Modeling, 2012

2011

What Is Concealed behind the Hazardous Failure Rate of a System?

Karol Rástocný, Juraj Ilavský

Proceedings of the Modern Transport Telematics, 2011

Supporting Search Result Browsing and Exploration via Cluster-Based Views and Zoom-Based Navigation.

Karol Rástocný, Michal Tvarozek, Mária Bieliková

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

2010

Problems of Safety Codes Evaluation in Practical Applications.

Mária Franeková, Karol Rástocný

Proceedings of the Transport Systems Telematics - 10th Conference, 2010

Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System.

Karol Rástocný, Juraj Ilavský

Proceedings of the FORMS/FORMAT 2010, 2010

2004

The Use of UML for Development of a Railway Interlocking System.

Karol Rástocný, Ales Janota, Jirí Zahradník

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004