| 2014 | On MILS I/O Sharing Targeting Avionic Systems. | Kevin Mueller, Georg Sigl, Benoit Triquet, Michael Paulitsch |
| 2014 | A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models. | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
| 2014 | Gaining Confidence on Dependability Benchmarks' Conclusions through "Back-to-Back" Testing (Practical Experience Report). | Miquel Martnez, David de Andrs, Juan-Carlos Ruiz-Garcia |
| 2014 | Improving the Kuo-Lu-Yeh Algorithm for Assessing Two-Terminal Reliability. | Minh L, Max Walter, Josef Weidendorfer |
| 2014 | On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments. | Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum |
| 2014 | Binary-Level Fault Injection for AUTOSAR Systems (Short Paper). | Mafijul Md. Islam, Nithilan Meenakshi Karunakaran, Johan Haraldsson, Fredrik Bernin, Johan Karlsson |
| 2014 | A Framework for Creating Binary Rewriting Tools (Short Paper). | Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson |
| 2014 | Application of Statistical Testing to the Data Processing and Control System for the Dungeness B Nuclear Power Plant (Practical Experience Report). | Helen Gough, Silke Kuball |
| 2014 | Towards a Dependability Control Center for Large Software Landscapes (Short Paper). | Florian Fittkau, Andr van Hoorn, Wilhelm Hasselbring |
| 2014 | An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. | Camille Fayollas, Clia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre |
| 2014 | On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2014 | Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. | Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller |
| 2014 | Geo-Location Inference Attacks: From Modelling to Privacy Risk Assessment (Short Paper). | Miguel Nez del Prado Cortez, Jesus Friginal |
| 2014 | On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. | Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru |
| 2014 | Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? | Muffy Calder, Michele Sevegnani |
| 2014 | Markov Modeling of Availability and Unavailability Data. | Peter Buchholz, Jan Kriege |
| 2014 | A Layered Model for Structuring Automotive Safety Arguments (Short Paper). | John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham, Helen Monkhouse, Robert Palin |
| 2014 | Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
| 2014 | Deviation Estimation between Distributed Data Streams. | Emmanuelle Anceaume, Yann Busnel |
| 2012 | CADA: Collaborative Auditing for Distributed Aggregation. | Jos Valerio, Pascal Felber, Martin Rajman, Etienne Rivire |
| 2012 | Eliminating Single Points of Failure in Software-Based Redundancy. | Peter Ulbrich, Martin Hoffmann, Rdiger Kapitza, Daniel Lohmann, Wolfgang Schrder-Preikschat, Reiner N. Schmid |
| 2012 | From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation. | Joo Sousa, Alysson Neves Bessani |
| 2012 | Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems. | David Powell, Jean Arlat, Hoang Nam Chu, Flix Ingrand, Marc-Olivier Killijian |
| 2012 | Formal Development of Critical Multi-agent Systems: A Refinement Approach. | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
| 2012 | Leveraging Multi-core Computing Architectures in Avionics. | Jan Nowotsch, Michael Paulitsch |