| 2014 | Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. | Marc Zeller, Kai Hfig, Martin Rothfelder |
| 2014 | Toward Resilience Assessment in Business Process Architectures. | Richard M. Zahoransky, Thomas G. Koslowski, Rafael Accorsi |
| 2014 | Exploiting Narrow Data-Width to Mask Soft Errors in Register Files. | Jianjun Xu, QingPing Tan, Zeming Shao, Hong Ning |
| 2014 | Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage. | Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno |
| 2014 | A Pragmatic Approach towards Safe and Secure Medical Device Integration. | Christoph Woskowski |
| 2014 | Evaluation of Safety Rules in a Safety Kernel-Based Architecture. | Eric Vial, Antnio Casimiro |
| 2014 | Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. | Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser |
| 2014 | Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics. | Tams Tth, Andrs Vrs |
| 2014 | Rethinking of Strategy for Safety Argument Development. | Linling Sun, Nuno Silva, Tim Kelly |
| 2014 | Agile Change Impact Analysis of Safety Critical Software. | Tor Stlhane, Geir Kjetil Hanssen, Thor Myklebust, Brge Haugset |
| 2014 | Generation of Safety Case Argument-Fragments from Safety Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2014 | Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. | Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, Alex Gerdes |
| 2014 | Visualization of Model-Implemented Fault Injection Experiments. | Daniel Skarin, Jonny Vinter, Rickard Svenningsson |
| 2014 | Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) at SAFECOMP 2014 - A European Approach to Critical Systems Engineering. | Erwin Schoitsch, Amund Skavhaug |
| 2014 | Towards Trust Assurance and Certification in Cyber-Physical Systems. | Daniel Schneider, Eric Armengaud, Erwin Schoitsch |
| 2014 | FMVEA for Safety and Security Analysis of Intelligent and Cooperative Vehicles. | Christoph Schmittner, Zhendong Ma, Paul Smith |
| 2014 | Security Application of Failure Mode and Effect Analysis (FMEA). | Christoph Schmittner, Thomas Gruber, Peter P. Puschner, Erwin Schoitsch |
| 2014 | Rapid Fault-Space Exploration by Evolutionary Pruning. | Horst Schirmeier, Christoph Borchert, Olaf Spinczyk |
| 2014 | Energy-Based Detection of Multi-layer Flooding Attacks on Wireless Sensor Network. | Cesario Di Sarno, Alessia Garofalo |
| 2014 | True Error or False Alarm? Refining Astre's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. | Sayali Salvi, Daniel Kstner, Tom Bienmller, Christian Ferdinand |
| 2014 | Introduction to SASSUR 2014. | Alejandra Ruiz, Tim Kelly, Jose Luis de la Vara |
| 2014 | 1st International Workshop on the Integration of Safety and Security Engineering (ISSE '14). | Laurent Rioux, John M. Favaro |
| 2014 | On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
| 2014 | Intelligent Transport Systems - The Role of a Safety Loop for Holistic Safety Management. | Kenneth stberg, Martin Trngren, Fredrik Asplund, Magnus Bengtsson |
| 2014 | Safety Verification of Multiple Autonomous Systems by Formal Approach. | Kozo Okano, Toshifusa Sekizawa |