| 2017 | A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems. Patrik Feth, Daniel Schneider, Rasmus Adler |
| 2017 | A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. Jürgen Dürrwang, Kristian Beckers, Reiner Kriesten |
| 2017 | A Security Architecture for Railway Signalling. Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser, Neeraj Suri |
| 2017 | A Simplex Architecture for Hybrid Systems Using Barrier Certificates. Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller |
| 2017 | A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles. Rolf 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 |
| 2017 | Arguing on Software-Level Verification Techniques Appropriateness. Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu |
| 2017 | Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz |
| 2017 | Benchmarking Static Code Analyzers. Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm |
| 2017 | Classification Tree Method with Parameter Shielding. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho |
| 2017 | Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch |
| 2017 | Confidence Assessment Framework for Safety Arguments. Rui Wang, Jérémie Guiochet, Gilles Motet |
| 2017 | Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. Martin Becker, Emanuel Regnath, Samarjit Chakraborty |
| 2017 | Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework. Garazi Juez, Estibaliz Amparan Calonge, Ray Lattarulo, Alejandra Ruiz, Joshué Pérez, Huáscar Espinoza |
| 2017 | ErrorSim: A Tool for Error Propagation Analysis of Simulink Models. Mustafa Saraoglu, Andrey Morozov, Mehmet Turan Söylemez, Klaus Janschek |
| 2017 | Generic Management of Availability in Fail-Operational Automotive Systems. Philipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer |
| 2017 | Model-Based Safety Analysis for Vehicle Guidance Systems. Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk |
| 2017 | Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2017 | Modeling the Safety Architecture of UAS Flight Operations. Ewen Denney, Ganesh Pai, Iain Whiteside |
| 2017 | Rare Event Simulation for Dynamic Fault Trees. Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga |
| 2017 | SMT-Based Synthesis of Fault-Tolerant Architectures. Kevin Delmas, Rémi Delmas, Claire Pagetti |
| 2017 | Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum |
| 2017 | Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain. Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher, Bernhard Winkler, Martin Krammer, Christian Kreiner |
| 2017 | Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept. Juliane Höbel, Georg Jäger, Sebastian Zug, Andreas Wendemuth |