| 2017 | A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. | Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley, Bastian Farkas, Rolf Meyer, Mladen Berekovic |
| 2017 | Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept. | Juliane Hbel, Georg Jger, Sebastian Zug, Andreas Wendemuth |
| 2017 | Benchmarking Static Code Analyzers. | Jrg Herter, Daniel Kstner, Christoph Mallon, Reinhard Wilhelm |
| 2017 | One Click Privacy for Online Social Networks. | Philipp Hehnle, Pascal Keilbach, Hyun-Jin Lee, Sabrina Lejn, Daniel Steidinger, Marina Weinbrenner, Hanno Langweg |
| 2017 | Modeling Rover Communication Using Hierarchical State Machines with Scala. | Klaus Havelund, Rajeev Joshi |
| 2017 | Try Walking in My Shoes, if You Can: Accurate Gait Recognition Through Deep Learning. | Giacomo Giorgi, Fabio Martinelli, Andrea Saracino, Mina Sheikhalishahi |
| 2017 | Model-Based Safety Analysis for Vehicle Guidance Systems. | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk |
| 2017 | A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems. | Patrik Feth, Daniel Schneider, Rasmus Adler |
| 2017 | A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. | Jrgen Drrwang, Kristian Beckers, Reiner Kriesten |
| 2017 | Modeling the Safety Architecture of UAS Flight Operations. | Ewen Denney, Ganesh Pai, Iain Whiteside |
| 2017 | SMT-Based Synthesis of Fault-Tolerant Architectures. | Kevin Delmas, Rmi Delmas, Claire Pagetti |
| 2017 | PolEnA: Enforcing Fine-grained Permission Policies in Android. | Gabriele Costa, Federico Sinigaglia, Roberto Carbone |
| 2017 | The Use of Data Protection Regulatory Actions as a Data Source for Privacy Economics. | Aaron Ceross, Andrew Simpson |
| 2017 | Arguing on Software-Level Verification Techniques Appropriateness. | Carmen Crlan, Barbara Gallina, Severin Kacianka, Ruth Breu |
| 2017 | ExplicitCase: Integrated Model-Based Development of System and Safety Cases. | Carmen Crlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss |
| 2017 | Access Control Policy Coverage Assessment Through Monitoring. | Antonello Calabr, Francesca Lonetti, Eda Marchetti |
| 2017 | Making the Case for Safety of Machine Learning in Highly Automated Driving. | Simon Burton, Lydia Gauerhof, Christian Heinzemann |
| 2017 | Transparent Personal Data Processing: The Road Ahead. | Piero A. Bonatti, Sabrina Kirrane, Axel Polleres, Rigo Wenning |
| 2017 | Using an Assurance Case Framework to Develop Security Strategy and Policies. | Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova |
| 2017 | A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems. | Nikita Bhardwaj, Peter Liggesmeyer |
| 2017 | Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. | Martin Becker, Emanuel Regnath, Samarjit Chakraborty |
| 2017 | Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2017 | Security Flows in OAuth 2.0 Framework: A Case Study. | Marios Argyriou, Nicola Dragoni, Angelo Spognardi |
| 2017 | Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. | Pasquale Antonante, Juan Valverde-Alcal, Stylianos Basagiannis, Marco Di Natale |
| 2017 | Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain. | Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher, Bernhard Winkler, Martin Krammer, Christian Kreiner |