Skip to content
Menu
SafeComp 2020
  • Home
  • Conference
    • Program
    • Logistics
    • Speakers
    • Accepted papers
    • Call for Papers
    • Call for Position Papers
    • Submissions
    • Committees
  • Workshops
    • DECSoS
    • DepDevOps
    • USDAI
    • WAISE
  • Registration
  • Venue
  • Sponsorship
SafeComp 2020

Accepted papers

Regular papers

  • Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities, Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud and Merve Saimler
  • Systematic Evaluation of (Safety) Assurance Cases, Thomas Chowdhury, Alan Wassyng, Richard F. Paige and Mark Lawford
  • Just Enough Formality in Assurance Argument Structures, Torin Viger, Rick Salay, Gehan Selim and Marsha Chechik
  • Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems, Georg Hake, Sebastian Feuerstack and Axel Hahn
  • A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME), Katharina Ceesay-Seitz, Hamza Boukabache and Daniel Perrin
  • A Compositional Semantics for Repairable BDMPs, Shahid Khan, Joost-Pieter Katoen and Marc Bouissou
  • Model-Based Safety Analysis of Mode Transitions, Marco Bozzano, Peter Munk, Markus Schweizer, Stefano Tonetta and Viktoria Vozarova
  • Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference, Georgios Giantamidis, Stylianos Basagiannis and Stavros Tripakis
  • Automated Attacker Synthesis for Distributed Protocols, Max von Hippel, Cole Vick, Stavros Tripakis and Cristina Nita-Rotaru
  • An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security, Christopher Deloglos, Carl Elks and Ashraf Tantawy
  • Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection, Markus Heinrich, Dominik Renkel, Tolga Arul and Stefan Katzenbeisser
  • Automated Anomaly Detection in CPS Log Files – A Time Series Clustering Approach, Tabea Schmidt, Florian Hauer and Alexander Pretschner
  • Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings, Lydia Gauerhof, Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli and Yuki Hagiwara
  • Safety-Aware Hardening of 3D Object Detection Neural Network Systems, Chih-Hong Cheng
  • Model-Centered Assurance for Autonomous Systems, Susmit Jha, John Rushby and Natarajan Shankar
  • A Safety Framework for Critical Systems Utilising Deep Neural Networks, Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher and Xiaowei Huang
  • Assurance Argument Elements for AI-Enabling Computational Hardware, Rob Ashmore and James Sharp
  • Quantifying Assurance in Learning-enabled Systems, Erfan Asaadi, Ewen Denney and Ganesh Pai
  • On Validating Attack Trees with Attack Effects, Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma and Hirotaka Yoshida
  • Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle, Dominik Püllen, Nikolaos Athanasios Anagnostopoulos, Tolga Arul and Stefan Katzenbeisser
  • Threat Analysis Framework for Safety Architectures in SCDL, Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga and Shuhei Yamashita
  • Efficient Load-Time Diversity for an Embedded Real-Time Operating System, Joachim Fellmuth, Julian Hartmer, Hanno Skowronek and Sabine Glesner
  • Towards an Automated Exploration of Secure IoT/CPS Design-Variants, Lukas Gressl, Michael Krisper, Ulrich Neffe and Christian Steger
  • Securing Electric Vehicle Charging Systems through Component Binding, Andreas Fuchs, Dustin Kern, Christoph Krauß and Maria Zhdanova
  • Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs, Jens Vankeirsbilck, Hans Hallez and Jeroen Boydens
  • On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study, João R. Campos, Ernesto Costa and Marco Vieira
  • A Generic Classification of Faults Covering the Human-Computer Interaction Loop, Andy Cockburn, Carl Gutwin and Philippe Palanque

Practical experience reports and tool papers

  • Cyber Security of Neural Networks in Medical Devices, Uwe Becker
  • FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases, Carmen Carlan and Daniel Ratiu

Position papers

  • Machine Learning-assisted Fault Injection, Mehrdad Moradi, Bentley James Oakes and Joachim Denil
  • An Industrial Roadmap for Continuous Delivery of Software for Safety-critical Systems, Marc Zeller, Daniel Ratiu, Martin Rothfelder and Frank Buschmann
  • A Process Model based on STAMP for Collecting and Management of Safety Evidence, Luiz Eduardo Galvão Martins and Tony Gorschek
  • A Software Audit Model for Safety-Critical Domains, Talita Marques Ruiz Slavov, Luiz Eduardo Galvão Martins and Johnny Cardoso Marques
  • Test framework and key challenges for virtual verification of automated vehicles: the VeriCAV project, Thomas Levermore and Alan Peters
  • Towards Automating Safety and Security Co-Analysis with Patterns, Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam

Gold Sponsor

Intel logo

Silver Sponsor

Intel logo

Partners

                           

                    

©2023 SafeComp 2020 | Powered by WordPress and Superb Themes!