| 2015 | Towards a Formal Basis for Modular Safety Cases. | Ewen Denney, Ganesh J. Pai |
| 2015 | Automatic Architecture Hardening Using Safety Patterns. | Kevin Delmas, Rmi Delmas, Claire Pagetti |
| 2015 | Combining MILS with Contract-Based Design for Safety and Security Requirements. | Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta |
| 2015 | Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective. | Binbin Chen, Christoph Schmittner, Zhendong Ma, William G. Temple, Xinshu Dong, Douglas L. Jones, William H. Sanders |
| 2015 | A Multi-layer Anomaly Detector for Dynamic Service-Based Systems. | Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Leone Itria, Andrea Bondavalli |
| 2015 | Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software. | Andrea Ceccarelli, Nuno Silva |
| 2015 | Is Current Incremental Safety Assurance Sound? | Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
| 2015 | Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. | Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi |
| 2015 | Safety and Security Assessment of Behavioral Properties Using Alloy. | Julien Brunel, David Chemouil |
| 2015 | Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler. | Jrg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska |
| 2015 | Modeling the Impact of Testing on Diverse Programs. | Peter Bishop |
| 2015 | A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. | Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2015 | Dependability Arguments Supported by Fuzz-Testing. | Uwe Becker |
| 2015 | Towards Verification of Multicore Motor-Drive Controllers in Aerospace. | Stylianos Basagiannis, Francisco Jos Gonzlez-Espn |
| 2015 | Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. | Victor Bandur, John Alexander McDermid |
| 2015 | Safely Using the AUTOSAR End-to-End Protection Library. | Thomas Arts, Stefano Tonetta |
| 2015 | Sequential and Parallel Attack Tree Modelling. | Florian Arnold, Dennis Guck, Rajesh Kumar, Marille Stoelinga |
| 2015 | The Safety Requirements Decomposition Pattern. | Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa, Edmar C. Gurjao, Jeferson Rosrio |
| 2015 | Multidirectional Modular Conditional Safety Certificates. | Tiago Amorim, Alejandra Ruiz, Christoph Dropmann, Daniel Schneider |
| 2015 | Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions. | Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann |
| 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 | Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking. | Asim Abdulkhaleq, Stefan Wagner |
| 2015 | Safe & Sec Case Patterns. | Kenji Taguchi, Daisuke Souma, Hideaki Nishihara |
| 2015 | Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. | Martin Becker, Markus Neumair, Alexander Shn, Samarjit Chakraborty |
| 2014 | Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. | Xueyi Zou, Rob Alexander, John A. McDermid |