| 2016 | A Dedicated Algorithm for Verification of Interlocking Systems. Quentin Cappart, Pierre Schaus |
| 2016 | A High-Assurance, High-Performance Hardware-Based Cross-Domain System. David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens |
| 2016 | A New SVM-Based Fraud Detection Model for AMI. Marcelo Zanetti, Edgard Jamhour, Marcelo Eduardo Pellenz, Manoel Camillo Penna |
| 2016 | A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context. Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner |
| 2016 | Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. Nuno Silva, Marco Vieira |
| 2016 | Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. Matthias Volk, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | Automatic Invariant Selection for Online Anomaly Detection. Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo |
| 2016 | Catalogue of System and Software Properties. Victor Bos, Harold Bruintjes, Stefano Tonetta |
| 2016 | Composition of Safety Argument Patterns. Ewen Denney, Ganesh J. Pai |
| 2016 | Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch |
| 2016 | Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2016 | Effective Static and Dynamic Fault Tree Analysis. Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, Pavel Krcál |
| 2016 | Exploiting Trust in Deterministic Builds. Christopher Jämthagen, Patrik Lantz, Martin Hell |
| 2016 | FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. Maryam Raiyat Aliabadi, Karthik Pattabiraman |
| 2016 | FISSC: A Fault Injection and Simulation Secure Collection. Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens |
| 2016 | Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. Maxime Puys, Marie-Laure Potet, Pascal Lafourcade |
| 2016 | Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. Andrew Fielder, Tingting Li, Chris Hankin |
| 2016 | SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2016 | The Indispensable Role of Rationale in Safety Standards. John C. Knight, Jonathan C. Rowanhill |
| 2016 | Towards Cloud-Based Enactment of Safety-Related Processes. Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg |
| 2016 | Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis. William Excoffon, Jean-Charles Fabre, Michaël Lauer |
| 2016 | Towards Security-Explicit Formal Modelling of Safety-Critical Systems. Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
| 2016 | Using Process Models in System Assurance. Richard Hawkins, Thomas Richardson, Tim Kelly |
| 2016 | Using STPA in an ISO 26262 Compliant Process. Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng |
| 2016 | Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling. Robert Clausing, Robert Fischer, Jana Dittmann, Yongjian Ding |