Abstract is missing.
- Model-Based Safety Analysis for Vehicle Guidance SystemsMajdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001. 3-19 [doi]
- Rare Event Simulation for Dynamic Fault TreesEnno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga. 20-35 [doi]
- Arguing on Software-Level Verification Techniques AppropriatenessCarmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu. 39-54 [doi]
- Confidence Assessment Framework for Safety ArgumentsRui Wang, Jérémie Guiochet, Gilles Motet. 55-68 [doi]
- Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based ApproachSahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum. 69-85 [doi]
- Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic ApplicationsMehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini. 89-104 [doi]
- Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014Martin Becker 0001, Emanuel Regnath, Samarjit Chakraborty. 105-116 [doi]
- A Simplex Architecture for Hybrid Systems Using Barrier CertificatesJunxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller. 117-131 [doi]
- A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous SystemsPatrik Feth, Daniel Schneider 0001, Rasmus Adler. 135-148 [doi]
- A Strategy for Assessing Safe Use of Sensors in Autonomous Road VehiclesRolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson, Anders Sandberg, Stig Ursing, Fredrik Warg, Anders Werneman. 149-161 [doi]
- Modeling the Safety Architecture of UAS Flight OperationsEwen Denney, Ganesh Pai, Iain Whiteside. 162-178 [doi]
- Generic Management of Availability in Fail-Operational Automotive SystemsPhilipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer. 179-194 [doi]
- Benchmarking Static Code AnalyzersJörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm. 197-212 [doi]
- Automatic Estimation of Verified Floating-Point Round-Off Errors via Static AnalysisMariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz. 213-229 [doi]
- Classification Tree Method with Parameter ShieldingTakashi Kitamura, Akihisa Yamada 0002, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho. 230-241 [doi]
- ErrorSim: A Tool for Error Propagation Analysis of Simulink ModelsMustafa Saraoglu, Andrey Morozov, Mehmet Turan Söylemez, Klaus Janschek. 245-254 [doi]
- Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection FrameworkGarazi Juez, Estibaliz Amparan Calonge, Ray Lattarulo, Alejandra Ruiz 0001, Joshué Pérez, Huáscar Espinoza. 255-269 [doi]
- Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity ConceptJuliane Höbel, Georg Jäger, Sebastian Zug, Andreas Wendemuth. 270-286 [doi]
- SMT-Based Synthesis of Fault-Tolerant ArchitecturesKevin Delmas, Rémi Delmas, Claire Pagetti. 287-302 [doi]
- A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive DomainJürgen Dürrwang, Kristian Beckers, Reiner Kriesten. 305-319 [doi]
- A Security Architecture for Railway SignallingChristian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser 0001, Neeraj Suri. 320-328 [doi]
- Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive DomainTiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider 0001, Georg Macher, Bernhard Winkler, Martin Krammer, Christian Kreiner. 329-342 [doi]