default search action
36th SAFECOMP 2017: Trento, Italy
- Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10488, Springer 2017, ISBN 978-3-319-66265-7
Dynamic Fault Trees
- Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
:
Model-Based Safety Analysis for Vehicle Guidance Systems. 3-19 - Enno Ruijters
Rare Event Simulation for Dynamic Fault Trees. 20-35
Safety Case and Argumentation
- Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu:
Arguing on Software-Level Verification Techniques Appropriateness. 39-54 - Rui Wang
Confidence Assessment Framework for Safety Arguments. 55-68 - Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum:
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. 69-85
Formal Verification
- Mehrnoosh Askarpour
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. 89-104 - Martin Becker, Emanuel Regnath, Samarjit Chakraborty
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. 105-116 - Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller:
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. 117-131
Autonomous Systems
- Patrik Feth, Daniel Schneider, Rasmus Adler:
A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems. 135-148 - Rolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen
A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles. 149-161 - Ewen Denney, Ganesh Pai, Iain Whiteside:
Modeling the Safety Architecture of UAS Flight Operations. 162-178 - Philipp Schleiss
Generic Management of Availability in Fail-Operational Automotive Systems. 179-194
Static Analysis and Testing
- Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
Benchmarking Static Code Analyzers. 197-212 - Mariano M. Moscato, Laura Titolo
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. 213-229 - Takashi Kitamura, Akihisa Yamada
Classification Tree Method with Parameter Shielding. 230-241
Safety Analysis and Assessment
- Mustafa Saraoglu, Andrey Morozov, Mehmet Turan Söylemez
ErrorSim: A Tool for Error Propagation Analysis of Simulink Models. 245-254 - Garazi Juez, Estibaliz Amparan Calonge
Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework. 255-269 - Juliane Höbel, Georg Jäger
Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept. 270-286 - Kevin Delmas, Rémi Delmas, Claire Pagetti:
SMT-Based Synthesis of Fault-Tolerant Architectures. 287-302
Safety and Security
- Jürgen Dürrwang
A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. 305-319 - Christian Schlehuber, Markus Heinrich
A Security Architecture for Railway Signalling. 320-328 - Tiago Amorim
Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain. 329-342
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-18 20:32 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: