default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKarol Rástocný
Person information
Other persons with a similar name
SPARQL queries 
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ý, Alzbeta Kanáliková, Emília Bubeníková:
Simulation of Virtual Redundant Sensor Models for Safety-Related Applications. Sensors 22(3): 778 (2022)- [j5]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): 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ý, Mária Bieliková:
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, Karol Rástocný, Daniela Chudá:
Towards Automatic Comparison of Cloud Service Security Certifications. SOFSEM 2019: 298-309 - [c25]Karol Rástocný, Emília Bubeníková:
Safety and Availability - Basic Attributes of Safety-Related Electronic Systems for Railway Signalling. TST 2019: 69-82 - 2018
- [j4]Karol Rástocný, Juraj Zdánsky, Mária Franeková, Iveta Zolotová:
Modelling of Diagnostics Influence on Control System Safety. Comput. Informatics 37(2): 457-475 (2018) - [c24]Karol Rástocný, Andrej Mlyncár:
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ý, Peter Zdánsky:
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ý, Mária Bieliková:
Activity-Based Model Synchronization and Defects Detection for Small Teams. QRS Companion 2017: 8-15 - [c20]Karol Rástocný, Mária Franeková, Jozef Balák:
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ý, Peter Lüley:
Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications. TST 2016: 163-174 - 2015
- [c18]Karol Rástocný, Mária Bieliková:
Empirical Metadata Maintenance in Source Code Development Process. ECBS-EERC 2015: 25-31 - [c17]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: 188-197 - [c16]Karol Rástocný, Juraj Zdánsky:
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ý, Mária Bieliková:
Enriching source code by empirical metadata. ESEM 2014: 67:1 - [c14]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: 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ý, Mária Bieliková:
Metadata Anchoring for Source Code: Robust Location Descriptor Definition, Building and Interpreting. DEXA (2) 2013: 372-379 - [c11]Karol Rástocný, L'ubomír Pekár, Juraj Zdánsky:
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ý, Mária Bieliková:
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ý, Juraj Zdánsky, Peter Nagy:
Some Specific Activities at the Railway Signalling System Development. TST 2012: 349-355 - 2011
- [c5]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: 297-300 - [c4]Karol Rástocný, Juraj Ilavský:
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-25 05:49 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:
