default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th SAFECOMP 2009: Hamburg, Germany
- Bettina Buth, Gerd Rabe, Till Seyfarth:
Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Lecture Notes in Computer Science 5775, Springer 2009, ISBN 978-3-642-04467-0
Invited Talks
- Anne E. Haxthausen
:
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. 1-3
Medical Systems
- Uwe Becker:
Model-Based Development of Medical Devices. 4-17 - Eugenio Alberdi, Lorenzo Strigini, Andrey Povyakalo, Peter Ayton:
Why Are People's Decisions Sometimes Worse with Computer Support?. 18-31
Industrial Experience
- Friedemann Bitsch, Ulrich Feucht, Huw Gough:
Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. 32-45 - Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe:
Probability of Failure on Demand - The Why and the How. 46-54 - John Eidar Simensen, Christian Gerst, Bjørn Axel Gran, Josef Märtz, Horst Miedl:
Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. 55-66
Security Risk Analysis
- Johan Åkerberg, Mats Björkman:
Exploring Network Security in PROFIsafe. 67-80 - Vincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, Antonio Di Pietro, Alberto Tofani:
Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms. 81-88 - Geraldine Vache:
Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. 89-102
Safety Guidelines
- Carlos G. Bilich, Zaijun Hu:
Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508. 103-117 - Michaela Huhn, Axel Zechner:
Analysing Dependability Case Arguments Using Quality Models. 118-131 - Zaijun Hu, Carlos G. Bilich:
Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB. 132-144
Automotive
- Tobias Hoppe, Stefan Kiltz, Jana Dittmann:
Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats. 145-158 - Thomas Gruber, Egbert Althammer, Erwin Schoitsch:
Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. 159-172
Aerospace
- Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. 173-186 - Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Formal Verification of a Microkernel Used in Dependable Software Systems. 187-200 - Brian Butka, Janusz Zalewski, Andrew J. Kornecki:
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. 201-214
Verification, Validation, Test
- Xiaocheng Ge, Richard F. Paige, John A. McDermid:
Probabilistic Failure Propagation and Transformation Analysis. 215-228 - Mohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin:
Towards Model-Based Automatic Testing of Attack Scenarios. 229-242 - Andreas Lumbe Aas, Stig Ole Johnsen, Torbjørn Skramstad:
CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. 243-256
Fault Tolerance
- Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin:
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. 257-269 - Thomas Steffen, Frank Schiller, Michael Blum, Roger Dixon:
Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel. 270-282 - Christof Fetzer, Ute Schiffel, Martin Süßkraut:
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. 283-296
Dependability
- Dominik Domis, Mario Trapp:
Component-Based Abstraction in Fault Tree Analysis. 297-310 - Denis Hatebur, Maritta Heisel:
A Foundation for Requirements Analysis of Dependable Software. 311-325 - Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska:
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. 326-341
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-15 19:44 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:
