| 2013 | Adaptive Safety Arguments and Explanation-Based Learning. | Matt Timperley, Maizura Mokhtar, Joe M. Howe |
| 2013 | Security of embedded automotive networks: state of the art and a research proposal. | Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaniche, Youssef Laarouchi |
| 2013 | Software Fault-Freeness and Reliability Predictions. | Lorenzo Strigini, Andrey Povyakalo |
| 2013 | Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System. | Max Steiner, Peter Liggesmeyer |
| 2013 | Safety Transformations: Sound and Complete? | Ute Schiffel |
| 2013 | Design of a CDD-Based Fault Injection Framework for AUTOSAR Systems. | As'ad Salkham, Antonio Pecchia, Nuno Silva |
| 2013 | Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels. | Luis J. Saiz-Adalid, Pedro J. Gil-Vicente, Juan-Carlos Ruiz-Garcia, Daniel Gil-Tomas, Juan Carlos Baraza, Joaquin Gracia-Moran |
| 2013 | Logic and Epistemology in Safety Cases. | John Rushby |
| 2013 | Towards a multi-view point safety contract. | Alejandra Ruiz, Tim Kelly, Huscar Espinoza |
| 2013 | Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees. | Michael Roth, Peter Liggesmeyer |
| 2013 | Software Composability and Mixed Criticality for Triple Modular Redundant Architectures. | Stefan Resch, Andreas Steininger, Christoph Scherrer |
| 2013 | Formalisation of an Industrial Approach to Monitoring Critical Data. | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
| 2013 | Revisiting Gossip-style Failure Detection in Wireless Sensor Network. | Christophe Pitrey, Franoise Sailhan |
| 2013 | Run time safety analysis for automotive systems in an open and adaptive environment. | Kenneth stberg, Magnus Bengtsson |
| 2013 | Simple Methods for Error Detection and Correction for Low-Cost Nano Satellites. | Kjell Arne degaard, Amund Skavhaug |
| 2013 | CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. | Anila Mjeda, Mike Hinchey |
| 2013 | Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby |
| 2013 | Towards Dynamic Updates In AUTOSAR. | Hlne Martorell, Jean-Charles Fabre, Matthieu Roy, Rgis Valentin |
| 2013 | Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. | Clia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini |
| 2013 | Preventing Memory Errors in Networked Vehicle Services Through Diversification. | Hector Marco-Gisbert, Juan Carlos Ruiz, David de Andrs, Ismael Ripoll |
| 2013 | Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. | Raimar Lill, Francesca Saglietti |
| 2013 | Content Based Routing with Directional Random Walk for Failure Tolerance and Detection in Cooperative Large Scale Wireless Networks. | Pierre Leone, Cristina Muoz |
| 2013 | Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? | Jimmy Lauret, Jean-Charles Fabre, Hlne Waeselynck |
| 2013 | Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COP. | Michal Kucis, Pavel Zemck, Oliver Zendel, Wolfgang Herzner |
| 2013 | Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle Filter. | Adam Leon Kleppe, Amund Skavhaug |