| 2015 | A Comprehensive Safety, Security, and Serviceability Assessment Method. Georg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner |
| 2015 | A Model for Safety Case Confidence Assessment. Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche |
| 2015 | A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli |
| 2015 | A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA. Navid Rajabpour, Yasser Sedaghat |
| 2015 | A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2015 | Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert |
| 2015 | Automatic Architecture Hardening Using Safety Patterns. Kevin Delmas, Rémi Delmas, Claire Pagetti |
| 2015 | Back-to-Back Fault Injection Testing in Model-Based Development. Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie, Jonny Vinter, Mafijul Md. Islam, Johan Karlsson |
| 2015 | Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications. Chris W. Johnson |
| 2015 | Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings Floor Koornneef, Coen van Gulijk |
| 2015 | Cyber (In-)security of Industrial Control Systems: A Societal Challenge. Eric A. M. Luiijf |
| 2015 | ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity. Rafael Fedler, Sebastian Banescu, Alexander Pretschner |
| 2015 | Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition. Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner |
| 2015 | Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking. Asim Abdulkhaleq, Stefan Wagner |
| 2015 | Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges? Cor J. Kalkman |
| 2015 | Model-Based Analysis for Safety Critical Software. Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman |
| 2015 | Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. Carolina D. Villela, Humberto Hayashi Sano, Juliana de Melo Bezerra |
| 2015 | Modeling the Impact of Testing on Diverse Programs. Peter Bishop |
| 2015 | Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems. Chris W. Johnson |
| 2015 | Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. Maria Vasilevskaya, Simin Nadjm-Tehrani |
| 2015 | Real-World Types and Their Application. Jian Xiang, John C. Knight, Kevin J. Sullivan |
| 2015 | Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee |
| 2015 | Risk Classification of Data Transfer in Medical Systems. Dagmar Rosenbrand, Rob de Weerd, Lex Bothe, Jan Jaap Baalbergen |
| 2015 | Safely Using the AUTOSAR End-to-End Protection Library. Thomas Arts, Stefano Tonetta |
| 2015 | Safety Case Driven Development for Medical Devices. Alejandra Ruiz, Paulo Barbosa, Yang Medeiros, Huáscar Espinoza |
| 2015 | Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions. Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann |
| 2015 | Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. Jörg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska |
| 2015 | Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device. Peter T. Popov |
| 2015 | Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems. Homa Alemzadeh, Daniel Chen, Andrew Lewis, Zbigniew T. Kalbarczyk, Jaishankar Raman, Nancy Leveson, Ravishankar K. Iyer |
| 2015 | The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
| 2015 | The Safety Requirements Decomposition Pattern. Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjao, Jeferson Rosário |
| 2015 | Towards Assurance for Plug & Play Medical Systems. Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee |
| 2015 | Towards a Formal Basis for Modular Safety Cases. Ewen Denney, Ganesh J. Pai |
| 2015 | Towards an International Security Case Framework for Networked Medical Devices. Anita Finnegan, Fergal McCaffery |
| 2015 | Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics. Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra |