| 2016 | Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. | Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel |
| 2016 | Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases. | Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, Kenji Tanaka |
| 2016 | Using STPA in an ISO 26262 Compliant Process. | Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng |
| 2016 | A Review of Threat Analysis and Risk Assessment Methods in the Automotive Context. | Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner |
| 2016 | Security Services for Mixed-Criticality Systems Based on Networked Multi-core Chips. | Thomas Koller, Donatus Weber |
| 2016 | The Indispensable Role of Rationale in Safety Standards. | John C. Knight, Jonathan C. Rowanhill |
| 2016 | The 6W1H Model as a Basis for Systems Assurance Argument. | Shuji Kinoshita, Yoshiki Kinoshita |
| 2016 | Systematic Maintenance of Safety Cases to Reduce Risk. | Omar Jaradat, Iain Bate |
| 2016 | Exploiting Trust in Deterministic Builds. | Christopher Jmthagen, Patrik Lantz, Martin Hell |
| 2016 | Using Process Models in System Assurance. | Richard Hawkins, Thomas Richardson, Tim Kelly |
| 2016 | A High-Assurance, High-Performance Hardware-Based Cross-Domain System. | David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens |
| 2016 | Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case Study. | Joachim Frhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stckjrgen |
| 2016 | ASIL Tailoring on Functional Safety Requirements. | Markus Fockel |
| 2016 | Modelling Cost-Effectiveness of Defenses in Industrial Control Systems. | Andrew Fielder, Tingting Li, Chris Hankin |
| 2016 | Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysis. | William Excoffon, Jean-Charles Fabre, Michal Lauer |
| 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 | Composition of Safety Argument Patterns. | Ewen Denney, Ganesh J. Pai |
| 2016 | The Assurance Timeline: Building Assurance Cases for Synthetic Biology. | Myra B. Cohen, Justin W. Firestone, Massimiliano Pierobon |
| 2016 | Your Industrial Facility and Its IP Address: A First Approach for Cyber-Physical Attack Modeling. | Robert Clausing, Robert Fischer, Jana Dittmann, Yongjian Ding |
| 2016 | On Using Results of Code-Level Bounded Model Checking in Assurance Cases. | Carmen Crlan, Daniel Ratiu, Bernhard Schtz |
| 2016 | A Dedicated Algorithm for Verification of Interlocking Systems. | Quentin Cappart, Pierre Schaus |
| 2016 | Catalogue of System and Software Properties. | Victor Bos, Harold Bruintjes, Stefano Tonetta |
| 2016 | Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis. | Markus Borg, Jose Luis de la Vara, Krzysztof Wnuk |
| 2016 | Effective Static and Dynamic Fault Tree Analysis. | Ola Bckstrm, Yuliya Butkova, Holger Hermanns, Jan Krcl, Pavel Krcl |
| 2016 | SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |