| 2012 | Software Architecture of a Safety-Related Actuator in Traffic Management Systems. | Thomas Novak, Christoph Stoegerer |
| 2012 | From Discrete Event Simulation to Virtual Reality Environments. | Sebastian Nielebock, Frank Ortmeier, Marco Schumann, Andr Winge |
| 2012 | Quantitative Security Evaluation of a Multi-biometric Authentication System. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, Ernesto La Mattina |
| 2012 | Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. | Luis Marques, Antnio Casimiro |
| 2012 | Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. | Jasen Markovski, Joanna M. van de Mortel-Fronczak |
| 2012 | Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. | Oscar Ljungkrantz, Henrik Lnn, Hans Blom, Cecilia Ekelin, Daniel Karlsson |
| 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 | A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , . | Christoph Lsche, Eckard Bde, Thomas Peikenkamp |
| 2012 | A Preliminary Fault Injection Framework for Evaluating Multicore Systems. | Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo, Ricardo Barbosa, Nuno Silva |
| 2012 | Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study. | Rikard Land, Mikael kerholm, Jan Carlson |
| 2012 | Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation. | Sven Kuhlmann, Jana Fruth, Tobias Hoppe, Jana Dittmann |
| 2012 | Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile. | Jan Krause, Elke Hintze, Stephan Magnus, Christian Diedrich |
| 2012 | Introduction to IWDE 2012. | Veit Kppen, Gunter Saake |
| 2012 | A Systematic Elaboration of Safety Requirements in the Avionic Domain. | Antoaneta Kondeva, Martin Wassmuth, Andreas Mitschke |
| 2012 | Meeting Real-Time Requirements with Multi-core Processors. | Daniel Kstner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand |
| 2012 | Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, . | Viacheslav Izosimov, Urban Ingelsson, Andreas Wallin |
| 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 | Approximate Reliability Algebra for Architecture Optimization. | Philipp Helle, Michael Masin, Lev Greenberg |
| 2012 | A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production. | Andr Alexandersen Hauge, Ketil Stlen |
| 2012 | Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems. | Alexander Hanzlik, Erwin Kristen |
| 2012 | Impact of Soft Errors in a Jet Engine Controller. | Olof Hannius, Johan Karlsson |
| 2012 | On the Formal Verification of Systems of Synchronous Software Components. | Henning Gnther, Stefan Milius, Oliver Mller |
| 2012 | Assessing Software Interference Management When Modifying Safety-Related Software. | Patrick J. Graydon, Tim P. Kelly |
| 2012 | Supporting Assurance by Evidence-Based Argument Services. | Janusz Grski, Aleksander Jarzebowicz, Jakub Miler, Michal Witkowicz, Jakub Czyznikiewicz, Patryk Jar |
| 2012 | Cross-Level Compositional Reliability Analysis for Embedded Systems. | Michael Gla, Heng Yu, Felix Reimann, Jrgen Teich |