default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th SAFECOMP 2001: Budapest, Hungary
- Udo Voges:
Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings. Lecture Notes in Computer Science 2187, Springer 2001, ISBN 3-540-42607-8
Invited Paper
- John Fox:
Designing Safety into Medical Decisions and Clinical Processes. 1-13
Reliability Asessment and Security
- Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran:
Security Assessments of Safety Critical Systems Using HAZOPs. 14-24 - Martin Naedele, Dacfey Dzung, Michael Stanimirov
:
Network Security for Substation Automation Systems. 25-34 - Bjørn Axel Gran, Atte Helminen:
A Bayesian Belief Network for Reliability Assessment. 35-45
Safety Case and Safety Analysis
- Zsigmond Pap, István Majzik, András Pataricza:
Checking General Safety Criteria on UML Statecharts. 46-55 - Odd Nordland:
Presenting a Safety Case - A Case Study. 56-65 - Hans R. Fankhauser:
Safety Functions versus Control Functions. 66-74
Medical Systems
- Ulrich Laible, Thomas Bürger, Günter Pritschow:
A Fail-Safe Dual Channel Robot Control for Surgery Applications. 75-85
Invited Paper
- John M. Rushby:
Modeling the Human in Human Factors. 86-91
Human Machine Interface
- Oliver Mäckel, Georg Hoever:
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. 92-99 - Alberto Pasquini, Antonio Rizzo, Luca Save:
Analysis of Incidents Involving Interactive Systems. 100-108
COTS - Components off the Shelf
- Piotr Gawkowski, Janusz Sosnowski:
Experimental Evaluation of Fault Handling Mechanisms. 109-118 - Felix Redmill:
The COTS Debate in Perspective. 119-129
Testing
- Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer:
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. 130-144 - Ioannis Vakalis:
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. 145-155 - Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter:
The Effectiveness of Statistical Testing when Applied to Logic Systems. 156-165
Formal Methods
- Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck:
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. 166-175 - Friedemann Bitsch:
Safety Patterns - The Key to Formal Specification of Safety Requirements. 176-189 - Tadeusz Cichocki, Janusz Górski:
Formal Support for Fault Modelling and Analysis. 190-199
Invited Paper
- Rainer Faller:
Project Experience with IEC 61508 and Its Consequences. 200-214
Control Systems
- Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot:
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. 215-226 - Cláudia Betous-Almeida, Karama Kanoun:
Dependability Evaluation. 227-237 - Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli:
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. 238-248
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.
last updated on 2025-01-03 23:15 CET 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:
