| 2014 | A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini |
| 2014 | A Pragmatic Approach towards Safe and Secure Medical Device Integration. Christoph Woskowski |
| 2014 | A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner |
| 2014 | Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno |
| 2014 | Assurance Cases for Block-Configurable Software. Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands |
| 2014 | Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser |
| 2014 | Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings Andrea Bondavalli, Felicita Di Giandomenico |
| 2014 | Debugging with Timed Automata Mutations. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber |
| 2014 | Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. Peter G. Bishop, Lorenzo Strigini |
| 2014 | Exploiting Narrow Data-Width to Mask Soft Errors in Register Files. Jianjun Xu, Qingping Tan, Zeming Shao, Hong Ning |
| 2014 | Generation of Safety Case Argument-Fragments from Safety Contracts. Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2014 | Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. Thomas Arts, Michele Dorigatti, Stefano Tonetta |
| 2014 | On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
| 2014 | Proving the Absence of Stack Overflows. Daniel Kästner, Christian Ferdinand |
| 2014 | Querying Safety Cases. Ewen Denney, Dwight Naylor, Ganesh J. Pai |
| 2014 | Rapid Fault-Space Exploration by Evolutionary Pruning. Horst Schirmeier, Christoph Borchert, Olaf Spinczyk |
| 2014 | Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search. Xueyi Zou, Rob Alexander, John A. McDermid |
| 2014 | Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Piètre-Cambacédès |
| 2014 | Securing Vehicle Diagnostics in Repair Shops. Pierre Kleberger, Tomas Olovsson |
| 2014 | Security Application of Failure Mode and Effect Analysis (FMEA). Christoph Schmittner, Thomas Gruber, Peter P. Puschner, Erwin Schoitsch |
| 2014 | Specifying Safety Monitors for Autonomous Systems Using Model-Checking. Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck |
| 2014 | Systematic Derivation of Functional Safety Requirements for Automotive Systems. Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2014 | Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence. Patrick John Graydon |
| 2014 | Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks. Francesco Buccafurri, Luigi Coppolino, Salvatore D'Antonio, Alessia Garofalo, Gianluca Lax, Antonino Nocera, Luigi Romano |