| 2013 | Automatic Optimisation of System Architectures using EAST-ADL. | De-Jiu Chen, Henrik Lnn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Lus Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker |
| 2013 | FlexRay demonstrator for certification. | Felix Bruckmller, Erwin Krister, Wilfried Kubinger |
| 2013 | Model-driven development of critical perception components using Simulink. | Tino Brade, Sebastian Zug, Jrg Kaiser |
| 2013 | Vulnerability Analysis on Smart Cards Using Fault Tree. | Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet |
| 2013 | On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262. | Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi, Andrea Bondavalli |
| 2013 | Does Software Have to Be Ultra Reliable in Safety Critical Systems? | Peter Bishop |
| 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 | Towards Failure Models and Error Propagation in Product Lines. | Sara Bessling |
| 2013 | COTS-Architecture with a Real-Time OS for a Self-Driving Miniature Vehicle. | Christian Berger, Md. Abdullah Al Mamun, Jrgen Hansson |
| 2013 | Experimental evaluation of end-to-end delay in switched Ethernet application in the automotive domain. | Kostas Beretis, Ieroklis Symeonidis |
| 2013 | Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. | Lus Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo |
| 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 | DFTCalc: A Tool for Efficient Fault Tree Analysis. | Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Marille Stoelinga |
| 2013 | Testing Autonomous Robot Control Software Using Procedural Content Generation. | James Arnold, Rob Alexander |
| 2013 | A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded Systems. | Chafik Arar, Hamoudi Kalla, Salim Kalla, Hocine Riadh |
| 2013 | OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. | Ermeson C. Andrade, Marcelo Alves, Rbens de Souza Matos Jnior, Bruno Silva, Paulo Romero Martins Maciel |
| 2013 | Embedded System Platform for Safety-Critical Road Traffic Signal Applications. | Thomas Novak, Christoph Stoegerer |
| 2012 | An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems. | Sebastian Zug, Tino Brade, Jrg Kaiser, Sasanka Potluri |
| 2012 | Safety-Focused Deployment Optimization in Open Integrated Architectures. | Bastian Zimmer, Susanne Brklen, Jens Hfflinger, Mario Trapp, Peter Liggesmeyer |
| 2012 | A New Approach to Assessment of Confidence in Assurance Cases. | Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng |
| 2012 | Extracting EFSMs of Web Applications for Formal Requirements Specification. | Andrey Zakonov, Anatoly Shalyto |
| 2012 | Visual Approach Facilitating the Importance Analysis of Component Fault Trees. | Yi Yang, Patric Keller, Peter Liggesmeyer |
| 2012 | Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment. | Christoph Woskowski |
| 2012 | Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. | Martin Wildmoser, Jan Philipps, Oscar Slotosch |
| 2012 | Towards Secure Fieldbus Communication. | Felix Wieczorek, Christoph Krau, Frank Schiller, Claudia Eckert |