| 2013 | A Controlled Experiment on Component Fault Trees. Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller |
| 2013 | A Formal Basis for Safety Case Patterns. Ewen Denney, Ganesh Pai |
| 2013 | A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution. Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson, Johan Karlsson |
| 2013 | Characterization of Failure Effects on AADL Models. Bernhard Ern, Viet Yen Nguyen, Thomas Noll |
| 2013 | Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements. Janusz Górski, Aleksander Jarzebowicz, Jakub Miler |
| 2013 | Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche |
| 2013 | DFTCalc: A Tool for Efficient Fault Tree Analysis. Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga |
| 2013 | Derived Hazard Analysis Method for Critical Infrastructures. Thomas Gruber, Georg Neubauer, Andreas Weinfurter, Petr Böhm, Kurt Lamedschwandner |
| 2013 | Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study. Ilir Gashi, Bertrand Sobesto, Vladimir Stankovic, Michel Cukier |
| 2013 | Does Software Have to Be Ultra Reliable in Safety Critical Systems? Peter Bishop |
| 2013 | Embedded System Platform for Safety-Critical Road Traffic Signal Applications. Thomas Novak, Christoph Stoegerer |
| 2013 | Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent? Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck |
| 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 | Formalisation of an Industrial Approach to Monitoring Critical Data. Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
| 2013 | It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning. Sami Haddadin, Sven Parusel, Rico Belder, Alin Albu-Schäffer |
| 2013 | Logic and Epistemology in Safety Cases. John Rushby |
| 2013 | Low-Level Attacks on Avionics Embedded Systems. Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette |
| 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 | OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. Ermeson C. Andrade, Marcelo Alves, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo Romero Martins Maciel |
| 2013 | Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties. Pierre Kleberger, Tomas Olovsson |
| 2013 | Safety Cases and Their Role in ISO 26262 Functional Safety Assessment. John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Peter Jesty, Helen Monkhouse, Robert Palin |
| 2013 | Safety Transformations: Sound and Complete? Ute Schiffel |
| 2013 | Software Fault-Freeness and Reliability Predictions. Lorenzo Strigini, Andrey Povyakalo |
| 2013 | Structuring Safety Requirements in ISO 26262 Using Contract Theory. Jonas Westman, Mattias Nyberg, Martin Törngren |
| 2013 | Testing Autonomous Robot Control Software Using Procedural Content Generation. James Arnold, Rob Alexander |
| 2013 | The SafeCap Platform for Modelling Railway Safety and Capacity. Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
| 2013 | Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini |
| 2013 | Vulnerability Analysis on Smart Cards Using Fault Tree. Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |