| 2012 | A Lightweight Methodology for Safety Case Assembly. Ewen Denney, Ganesh Pai |
| 2012 | A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , . Christoph Läsche, Eckard Böde, Thomas Peikenkamp |
| 2012 | A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context. Carl Bergenhem, Rolf Johansson, Henrik Lönn |
| 2012 | A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production. André Alexandersen Hauge, Ketil Stølen |
| 2012 | A STAMP Analysis on the China-Yongwen Railway Accident. Tian Song, Deming Zhong, Hang Zhong |
| 2012 | A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky |
| 2012 | Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems. Rosana T. Vaccare Braga, Onofre Trindade Júnior, Kalinka Regina Lucas Jaquie Castelo Branco, Luciano de Oliveira Neris, Jaejoon Lee |
| 2012 | An Ontological Approach to Systematization of SW-FMEA. Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario |
| 2012 | Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment. Christoph Woskowski |
| 2012 | Approximate Reliability Algebra for Architecture Optimization. Philipp Helle, Michael Masin, Lev Greenberg |
| 2012 | Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings. Mark-Alexander Sujan, Massimo Felici |
| 2012 | Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings Frank Ortmeier, Peter Daniel |
| 2012 | Cross-Level Compositional Reliability Analysis for Embedded Systems. Michael Glaß, Heng Yu, Felix Reimann, Jürgen Teich |
| 2012 | Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. Martin Wildmoser, Jan Philipps, Oscar Slotosch |
| 2012 | Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study. Rikard Land, Mikael Åkerholm, Jan Carlson |
| 2012 | Extracting EFSMs of Web Applications for Formal Requirements Specification. Andrey Zakonov, Anatoly Shalyto |
| 2012 | Formal Development and Assessment of a Reconfigurable On-board Satellite System. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila |
| 2012 | IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data. Tobias Hoppe, Sven Kuhlmann, Stefan Kiltz, Jana Dittmann |
| 2012 | Impact of Soft Errors in a Jet Engine Controller. Olof Hannius, Johan Karlsson |
| 2012 | Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich |
| 2012 | On the Formal Verification of Systems of Synchronous Software Components. Henning Günther, Stefan Milius, Oliver Möller |
| 2012 | On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions. Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson, Roger Johansson |
| 2012 | Online Black-Box Failure Prediction for Mission Critical Distributed Systems. Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta, Marco Rizzuto |
| 2012 | Qualifying Software Tools, a Systems Approach. Fredrik Asplund, Jad El-khoury, Martin Törngren |
| 2012 | Quantification of Priority-OR Gates in Temporal Fault Trees. Ernest Edifor, Martin Walker, Neil A. Gordon |
| 2012 | Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, . Viacheslav Izosimov, Urban Ingelsson, Andreas Wallin |
| 2012 | Reviewing Software Models in Compliance with ISO 26262. Ingo Stürmer, Elke Salecker, Hartmut Pohlheim |
| 2012 | Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA. Manfred Schäfer |
| 2012 | Risk Assessment for Airworthiness Security. Silvia Gil Casals, Philippe Owezarski, Gilles Descargues |
| 2012 | Safety-Focused Deployment Optimization in Open Integrated Architectures. Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp, Peter Liggesmeyer |
| 2012 | Software Architecture of a Safety-Related Actuator in Traffic Management Systems. Thomas Novak, Christoph Stoegerer |
| 2012 | Towards Secure Fieldbus Communication. Felix Wieczorek, Christoph Krauß, Frank Schiller, Claudia Eckert |
| 2012 | Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation. Hans-Hermann Bock, Jens Braband, Birgit Milius, Hendrik Schäbe |
| 2012 | Which Automata for Which Safety Assessment Step of Satellite FDIR? Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart |