default search action
Karol Rástocný
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j6]Peter Peniak
, Karol Rástocný
Simulation of Virtual Redundant Sensor Models for Safety-Related Applications. Sensors 22(3): 778 (2022) - [j5]Marek Bujnák
Spherical Robots for Special Purposes: A Review on Current Possibilities. Sensors 22(4): 1413 (2022) - 2020
- [c30]Ján Cegin, Karol Rástocný
Test Data Generation for MC/DC Criterion using Reinforcement Learning. ICST Workshops 2020: 354-357 - [c29]Ján Cegin, Karol Rástocný
Synthesized dataset for search-based test data generation methods focused on MC/DC criterion. QRS Companion 2020: 680-681 - [c28]Marek Bruchatý, Karol Rástocný
Does Live Regression Testing Help? SOFSEM 2020: 699-707
2010 – 2019
- 2019
- [c27]Jakub Ondik, Karol Rástocný:
Interactive Visualization of Differences between Software Model Versions. MODELSWARD 2019: 264-271 - [c26]Martin Labaj
Towards Automatic Comparison of Cloud Service Security Certifications. SOFSEM 2019: 298-309 - [c25]Karol Rástocný
Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling. TST 2019: 69-82 - 2018
- [j4]Karol Rástocný
Modelling of Diagnostics Influence on Control System Safety. Comput. Informatics 37(2): 457-475 (2018) - [c24]Karol Rástocný
Automated Change Propagation from Source Code to Sequence Diagrams. SOFSEM 2018: 168-179 - [c23]Jozef Balák, Karol Rástocný
Mathematical Model for Safety Evaluation of Distributed Interlocking System. TST 2018: 234-248 - [c22]Karol Rástocný
Comparison of Some Safety Properties of Architecture 2003 and Architecture 2 × (2002). TST 2018: 278-291 - 2017
- [c21]Jakub Ondik, Martin Olejár, Karol Rástocný
Activity-Based Model Synchronization and Defects Detection for Small Teams. QRS Companion 2017: 8-15 - [c20]Karol Rástocný
Failure Effects Analysis by Multiple Random Variable. TST 2017: 424-435 - 2016
- [j3]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): 470-496 (2016) - [c19]Mária Franeková, Karol Rástocný
Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications. TST 2016: 163-174 - 2015
- [c18]Karol Rástocný
Empirical Metadata Maintenance in Source Code Development Process. ECBS-EERC 2015: 25-31 - [c17]Mária Franeková, Peter Lüley, Karol Rástocný
Proposal of on-Line Key Management System Solutions for Railway Applications Based on Asymmetric Cryptography. TST 2015: 188-197 - [c16]Karol Rástocný
Hazardous Failure Rate of the Safety Function. TST 2015: 284-291 - 2014
- [j2]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): 343-368 (2014) - [c15]Karol Rástocný
Enriching source code by empirical metadata. ESEM 2014: 67:1 - [c14]Mária Bieliková, Ivan Polásek
Platform Independent Software Development Monitoring: Design of an Architecture. SOFSEM 2014: 126-137 - [c13]Peter Nagy, Karol Rástocný, Juraj Zdánsky
Influence of Operator on Safety of the Signalling System during Emergency Operation. TST 2014: 205-214 - 2013
- [j1]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): 2320-2346 (2013) - [c12]Karol Rástocný
Metadata Anchoring for Source Code: Robust Location Descriptor Definition, Building and Interpreting. DEXA (2) 2013: 372-379 - [c11]Karol Rástocný
Safety of Signalling Systems - Opinions and Reality. TST 2013: 155-162 - 2012
- [c10]Mária Bieliková, Karol Rástocný
Lightweight Semantics over Web Information Systems Content Employing Knowledge Tags. ER Workshops 2012: 327-336 - [c9]Karol Rástocný
Maintenance of Human and Machine Metadata over the Web Content. ICWE Workshops 2012: 216-220 - [c8]Juraj Ilavský, Karol Rástocný:
Considerations of the recovery in 2-out-of-3 safety-related control system. PDeS 2012: 157-162 - [c7]Karol Rástocný, Karol Rástocný Jr.:
UML - A Part of an Interlocking System Development Process. TST 2012: 293-300 - [c6]Karol Rástocný
Some Specific Activities at the Railway Signalling System Development. TST 2012: 349-355 - 2011
- [c5]Karol Rástocný
Supporting Search Result Browsing and Exploration via Cluster-Based Views and Zoom-Based Navigation. Web Intelligence/IAT Workshops 2011: 297-300 - [c4]Karol Rástocný
What Is Concealed behind the Hazardous Failure Rate of a System? TST 2011: 372-381 - 2010
- [c3]Karol Rástocný, Juraj Ilavský:
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. FORMS/FORMAT 2010: 77-85 - [c2]Mária Franeková, Karol Rástocný:
Problems of Safety Codes Evaluation in Practical Applications. TST 2010: 232-242
2000 – 2009
- 2004
- [c1]Karol Rástocný, Ales Janota, Jirí Zahradník:
The Use of UML for Development of a Railway Interlocking System. SoftSpez Final Report 2004: 174-198
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: