| 2014 | Proving Compliance of Implementation Models to Safety Specifications. | Markus Oertel, Omar Kacimi, Eckard Bde |
| 2014 | On Security Countermeasures Ranking through Threat Analysis. | Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli |
| 2014 | Quantification of the Impact of Cyber Attack in Critical Infrastructures. | Oleksandr Netkachov, Peter T. Popov, Kizito Salako |
| 2014 | Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. | Sunil Nair, Neil Walkinshaw, Tim Kelly |
| 2014 | Towards Energy Efficient, High-Speed Communication in WSNs. | Attila Nagy, Olaf Landsiedel |
| 2014 | Specifying Safety Monitors for Autonomous Systems Using Model-Checking. | Mathilde Machin, Fanny Dufoss, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Hlne Waeselynck |
| 2014 | Metamodel Comparison and Model Comparison for Safety Assurance. | Yaping Luo, Luc Engelen, Mark van den Brand |
| 2014 | 3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS). | Renato Librino, Martin Trngren |
| 2014 | Modelling Resilient Systems-of-Systems in Event-B. | Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna |
| 2014 | Verification of Fault-Tolerant System Architectures Using Model Checking. | Jussi Lahtinen |
| 2014 | Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. | Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Pitre-Cambacds |
| 2014 | Securing Vehicle Diagnostics in Repair Shops. | Pierre Kleberger, Tomas Olovsson |
| 2014 | Proving the Absence of Stack Overflows. | Daniel Kstner, Christian Ferdinand |
| 2014 | Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems. | Nermin Kajtazovic, Christopher Preschern, Andrea Hller, Christian Kreiner |
| 2014 | Assurance Cases for Block-Configurable Software. | Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands |
| 2014 | Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence. | Patrick John Graydon |
| 2014 | Report on the Railway Use-Case of the Crystal Project: Objectives and Progress. | Alexandre Ginisty, Frdrique Valle, Elie Soubiran, Vidal-delmas Tchapet-Nya |
| 2014 | Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. | Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven |
| 2014 | Uniform Approach of Risk Communication in Distributed IT Environments Combining Safety and Security Aspects. | Jana Fruth, Edgar Nett |
| 2014 | Probabilistic Inference in the Physical Simulation of Interdependent Critical Infrastructure Systems. | Paolo Franchin, Luigi Laura |
| 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 | Assuring Avionics - Updating the Approach for the 21st Century. | Tom Ferrell, Uma Ferrell |
| 2014 | MTBF Inconsistency Analysis on Inferred Product Breakdown Structures. | Christian Ellen, Martin Bschen, Thomas Peikenkamp |
| 2014 | Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics. | Johan Ekberg, Urban Ingelsson, Henrik Lnn, Magnus Skoog, Jan Sderberg |
| 2014 | Cost-Effective Testing for Critical Off-the-Shelf Services. | Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli |