default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd SAFECOMP 2004: Potsdam, Germany
- Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann:
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Lecture Notes in Computer Science 3219, Springer 2004, ISBN 3-540-23176-5
Invited Talk
- Andreas Pfitzmann:
Why Safety and Security Should and Will Merge. 1-2
Safety Cases
- James M. Armstrong, Stephen Paynter:
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. 3-16 - Zeshan Kurd, Tim Kelly:
Using Fuzzy Self-Organising Maps for Safety Critical Systems. 17-30 - Lars-Henrik Eriksson:
Using Formal Methods in a Retrospective Safety Case. 31-44
Reliability
- Hamid R. Zarandi, Seyed Ghassem Miremadi:
A Highly Fault Detectable Cache Architecture for Dependable Computing. 45-59 - J. G. W. Bentley, Peter G. Bishop
, Meine van der Meulen:
An Empirical Exploration of the Difficulty Function. 60-71 - Titos Saridakis:
Towards the Integration of Fault, Resource, and Power Management. 72-86
Human Factors
- Michael Cebulla:
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. 87-100 - Bettina Buth:
Analysing Mode Confusion: An Approach Using FDR2. 101-114
Invited Talk
- D. Essame:
Handling Safety Critical Requirements in System Engineering Using the B Formal Method . 115
Transportation
- Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo:
A Hybrid Testing Methodology for Railway Control Systems. 116-129 - Per Johannessen, Fredrik Törner, Jan Torin:
Actuator Based Hazard Analysis for Safety Critical Systems. 130-141 - Ester Ciancamerla, Michele Minichino:
Performability Measures of the Public Mobile Network of a Tele Control System. 142-154
Software Development
- Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee:
PLC-Based Safety Critical Software Development for Nuclear Power Plants. 155-165 - Holger Giese, Matthias Tichy, Daniela Schilling:
Compositional Hazard Analysis of UML Component and Deployment Models. 166-179 - E. Dillon, Christophe Meudec:
Automatic Test Data Generation from Embedded C Code. 180-194
Fault Tree Analysis
- Bernhard Kaiser, Catharina Gramlich:
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. 195-209 - Richard Banach, R. Cross:
Safety Requirements and Fault Trees Using Retrenchment. 210-223 - D. Rehage, Udo B. Carl, M. Merkel, A. Vahl:
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics. 224-238
Invited Talk
- Ralf Guido Herrtwich:
Automotive Telematics - Road Safety Versus IT Security? 239
Formal Methods and Systems
- Holger Pfeifer, Friedrich W. von Henke:
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. 240-253 - Linas Laibinis, Elena Troubitsyna:
Refinement of Fault Tolerant Control Systems in B. 254-268 - Michael Vollmer:
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. 269-282
Security and Quality of Service
- Alessandro Aldini, Marco Bernardo:
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. 283-296 - João Durães, Marco Vieira, Henrique Madeira:
Dependability Benchmarking of Web-Servers. 297-310
Hazard and Risk Analysis
- Bjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem:
An Approach for Model-Based Risk Assessment. 311-324 - Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp:
How Explicit Are the Barriers to Failure in Safety Arguments? 325-338
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 2024-11-28 20:34 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:
