| 2017 | Attack Modeling for System Security Analysis - (Position Paper). | Abdullah Altawairqi, Manuel Maarek |
| 2016 | Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2016 | Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. | Marc Zeller, Daniel Ratiu, Kai Hfig |
| 2016 | A New SVM-Based Fraud Detection Model for AMI. | Marcelo Zanetti, Edgard Jamhour, Marcelo Eduardo Pellenz, Manoel Camillo Penna |
| 2016 | Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems. | Ralph Weissnegger, Markus Schu, Christian Kreiner, Markus Pistauer, Kay Rmer, Christian Steger |
| 2016 | Defining Autonomous Functions Using Iterative Hazard Analysis and Requirements Refinement. | Fredrik Warg, Martin Gassilewski, Jrgen Tryggvesson, Viacheslav Izosimov, Anders Werneman, Rolf Johansson |
| 2016 | Towards Safety Case Integration with Hazard Analysis for Medical Devices. | Andrzej Wardzinski, Aleksander Jarzebowicz |
| 2016 | The Role of the Supply Chain in Cybersecurity Incident Handling for Drilling Rigs. | Aitor Couce Vieira, Siv Hilde Houmb |
| 2016 | Towards Security-Explicit Formal Modelling of Safety-Critical Systems. | Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
| 2016 | Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. | Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello |
| 2016 | The Agile Safety Case. | Tor Stlhane, Thor Myklebust |
| 2016 | Configuration-Aware Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson |
| 2016 | Adapting the Orthogonal Defect Classification Taxonomy to the Space Domain. | Nuno Silva, Marco Vieira |
| 2016 | Using SAE J3061 for Automotive Security Requirement Engineering. | Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter P. Puschner |
| 2016 | Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis. | Christoph Schmittner, Zhendong Ma, Peter P. Puschner |
| 2016 | Quantitative Reliability Assessment for Mobile Cooperative Systems. | Francesca Saglietti, Ralf Spengler, Matthias Meitner |
| 2016 | Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems. | Francesca Saglietti, Matthias Meitner, Lars von Wardenburg, Valentina Richthammer |
| 2016 | Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. | Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huscar Espinoza |
| 2016 | Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. | Maxime Puys, Marie-Laure Potet, Pascal Lafourcade |
| 2016 | Goal-Oriented Co-Engineering of Security and Safety Requirements in Cyber-Physical Systems. | Christophe Ponsard, Gautier Dallons, Philippe Massonet |
| 2016 | Advanced Security Considerations in the Arrowhead Framework. | Sndor Plsz, Csaba Hegeds, Pl Varga |
| 2016 | Time-of-Flight Based Optical Communication for Safety-Critical Applications in Autonomous Driving. | Hannes Plank, Gerald Holweg, Christian Steger, Norbert Druml |
| 2016 | An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. | Amir Soltani Nezhad, Johan J. Lukkien, Rudolf H. Mak, Richard Verhoeven, Martijn M. H. P. van den Heuvel |
| 2016 | Control of Cyber-Physical Systems Using Bluetooth Low Energy and Distributed Slave Microcontrollers. | yvind Netland, Amund Skavhaug |
| 2016 | Dynamic Safety Contracts for Functional Cooperation of Automotive Systems. | Sebastian Mller, Peter Liggesmeyer |