List of accepted papers

    • Jörg Herter, Daniel Kästner, Christoph Mallon and Reinhard Wilhelm. Benchmarking Static Code Analyzers

    • Jürgen Dürrwang, Kristian Beckers and Reiner Kriesten. A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain

    • Kevin Delmas, Rémi Delmas and Claire Pagetti. SMT-Based Synthesis of Fault-Tolerant Architectures

    • Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk. Model-Based Safety Analysis of Vehicle Guidance Systems

    • Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi and Cyrille Valentin Artho. Classification Tree Method with Parameter Shielding

    • Philipp Schleiss, Christian Drabek, Gereon Weiss and Bernhard Bauer. Generic Management of Availability in Fail-Operational Automotive Systems

    • Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser and Neeraj Suri. A Security Architecture for Railway Signalling

    • Patrik Feth, Rasmus Adler and Daniel Schneider. A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems

    • Juliane Höbel, Georg Jäger, Sebastian Zug and Andreas Wendemuth. Towards Sensor Failure Dependent Performance Adaptation While Maintaining Safety

    • Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi and Federico Vicentini. Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications

    • Carmen Carlan, Barbara Gallina, Severin Kacianka and Ruth Breu. Arguing on Software-level Verification Techniques Appropriateness

    • Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher, Bernhard Winkler, Martin Krammer and Christian Kreiner. Systematic Pattern Approach for Safety and Security Co-Engineering in the Automotive Domain

    • Rui Wang, Jérémie Guiochet and Gilles Motet. Confidence Assessment Framework for Safety Arguments

    • Mariano Moscato, Laura Titolo, Aaron Dutle and Cesar Munoz. Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

    • Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer and Mariëlle Stoelinga. Rare Event Simulation for Dynamic Fault Trees

    • Martin Becker, Emanuel Regnath and Samarjit Chakraborty. Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

    • Mustafa Saraoglu, Andrey Morozov, Turan Soylemez and Klaus Janschek. ErrorSim: a Tool for Error Propagation Analysis of Simulink Models

    • Garazi Juez, Estibaliz Amparan, Alejandra Ruiz, Joshue Perez, Ray Alejandro Lattarulo and Huascar Espinoza. Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework

    • Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford and Tom Maibaum. Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach

    • Rolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel, De-Jiu Chen, Martin Gassilewski, Jonas Nilsson, Anders Sandberg, Thomas Söderqvist, Stig Ursing, Fredrik Warg and Anders Werneman. A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles

    • Ewen Denney, Ganesh Pai and Iain Whiteside. Modeling the Safety Architecture of UAS Flight Operations

    • Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka and Scott D. Stoller. A Simplex Architecture for Hybrid Systems using Barrier Certificates