| 2013 | Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties. | Pierre Kleberger, Tomas Olovsson |
| 2013 | Confidence in Timing. | Daniel Kstner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand |
| 2013 | Ride-through for Autonomous Vehicles. | Aaron Kane, Philip Koopman |
| 2013 | A Controlled Experiment on Component Fault Trees. | Jessica Jung, Andreas Jedlitschka, Kai Hfig, Dominik Domis, Martin Hiller |
| 2013 | Don't Judge Software by Its (Code) Coverage. | Rolf Johansson, Hans Eriksson, Hans Svensson, Kenneth stberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund |
| 2013 | The SafeCap Platform for Modelling Railway Safety and Capacity. | Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
| 2013 | Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. | Gergo Hornyi, Zoltn Micskei, Istvn Majzik |
| 2013 | R3-COP Resilient Reasoning Robotic Co-operating Systems. | Wolfgang Herzner, Erwin Schoitsch |
| 2013 | Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic Systems. | Wolfgang Herzner, Markus Murschitz, Oliver Zendel |
| 2013 | Designing Autonomous Robot Systems - Evaluation of the R3-COP Decision Support System Approach. | Tapio Heikkil, Lars Dalgaard, Jukka Koskinen |
| 2013 | Principled Construction of Software Safety Cases. | Richard Hawkins, Ibrahim Habli, Tim Kelly |
| 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-Schffer |
| 2013 | Derived Hazard Analysis Method for Critical Infrastructures. | Thomas Gruber, Georg Neubauer, Andreas Weinfurter, Petr Bhm, Kurt Lamedschwandner |
| 2013 | Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements. | Janusz Grski, Aleksander Jarzebowicz, Jakub Miler |
| 2013 | Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study. | Ilir Gashi, Bertrand Sobesto, Vladimir Stankovic, Michel Cukier |
| 2013 | Secure Multiparty Computation vs. Fair Exchange - Bridging the Gap. | Benot Garbinato, Ian Rickebusch |
| 2013 | VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. | Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg |
| 2013 | Fail Silent Road Side Unit for Vehicular Communications. | Joaquim Ferreira, Arnaldo S. R. Oliveira, Joo Almeida, Cristvo Cruz |
| 2013 | Characterization of Failure Effects on AADL Models. | Bernhard Ern, Viet Yen Nguyen, Thomas Noll |
| 2013 | Designing applications in dynamic networks: The Airplug Software Distribution. | Bertrand Ducourthial |
| 2013 | Certificating Vehicle Public Key with Vehicle Attributes A (periodical) Licensing Routine, Against Man-in-the-Middle Attacks and Beyond. | Shlomi Dolev, Lukasz Krzywiecki, Nisha Panwar, Michael Segal |
| 2013 | Low-Level Attacks on Avionics Embedded Systems. | Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette |
| 2013 | A Formal Basis for Safety Case Patterns. | Ewen Denney, Ganesh Pai |
| 2013 | Ring Exploration with Oblivious Myopic Robots. | Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit |
| 2013 | Safety Kernel for Cooperative Sensor-Based Systems. | Pedro Nbrega Da Costa, Joo Craveiro, Antnio Casimiro, Jos Rufino |