| 2016 | Automatic Invariant Selection for Online Anomaly Detection. | Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo |
| 2016 | FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. | Maryam Raiyat Aliabadi, Karthik Pattabiraman |
| 2016 | Towards Cloud-Based Enactment of Safety-Related Processes. | Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg |
| 2016 | Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore. | Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Prez, Tullio Vardanega, Francisco J. Cazorla |
| 2016 | Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen |
| 2015 | An Approach to Assure Dependability Through ArchiMate. | Shuichiro Yamamoto |
| 2015 | Real-World Types and Their Application. | Jian Xiang, John C. Knight, Kevin J. Sullivan |
| 2015 | How to Use Mobile Communication in Critical Infrastructures: A Dependability Analysis. | Jonas Wfler, Poul E. Heegaard |
| 2015 | Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. | Carolina D. Villela, Humberto Hayashi Sano, Juliana de Melo Bezerra |
| 2015 | Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. | Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee |
| 2015 | Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. | Maria Vasilevskaya, Simin Nadjm-Tehrani |
| 2015 | Optimization of Reconfiguration Mechanisms in Critical Infrastructures. | Szilvia Varr-Gyapay, Dniel Lszl Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, gota Bausz, Lszl Gnczy |
| 2015 | Simulative Evaluation of Security Attacks in Networked Critical Infrastructures. | Marco Tiloca, Francesco Racciatti, Gianluca Dini |
| 2015 | The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
| 2015 | Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account. | Max Steiner, Peter Liggesmeyer |
| 2015 | Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics. | Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra |
| 2015 | The Role of CM in Agile Development of Safety-Critical Software. | Tor Stlhane, Thor Myklebust |
| 2015 | Towards a Framework for Alignment Between Automotive Safety and Security Standards. | Christoph Schmittner, Zhendong Ma |
| 2015 | Reconfiguration Testing for Cooperating Autonomous Agents. | Francesca Saglietti, Stefan Winzinger, Raimar Lill |
| 2015 | Safety Case Driven Development for Medical Devices. | Alejandra Ruiz, Paulo Barbosa, Yang Medeiros, Huscar Espinoza |
| 2015 | Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems. | Michael Roth, Peter Liggesmeyer |
| 2015 | Risk Classification of Data Transfer in Medical Systems. | Dagmar Rosenbrand, Rob de Weerd, Lex Bothe, Jan Jaap Baalbergen |
| 2015 | Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation. | Daniel Ratiu, Marc Zeller, Lennart Killian |
| 2015 | A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA. | Navid Rajabpour, Yasser Sedaghat |
| 2015 | Error Type Refinement for Assurance of Families of Platform-Based Systems. | Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando |