Skip to main content
SpringerLink
Log in

Dependable Computing – EDCC 2024 Workshops

SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Behrooz Sangchoolie

    1. RISE Research Institutes of Sweden, Borås, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rasmus Adler

    1. Fraunhofer IESE, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Richard Hawkins

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Philipp Schleiss

    1. Fraunhofer IKS, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Alessia Arteconi

    1. KU Leuven, Geel, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Adriano Mancini

    1. Università Politecnica delle Marche, Ancona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 2078)

Included in the following conference series:

Conference proceedings info: EDCC 2024.

  • 1234 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Workshop on Safe Autonomous Systems (SafeAutonomy)

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems

      • Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
      Pages 5-13

    3. What Level of Power Should We Give an Automation?

      • Mehrnoush Hajnorouzi, Astrid Rakow, Akhila Bairy, Jan-Patrick Osterloh, Martin Fränzle
      Pages 14-21

    4. A Physics-Based Fault Tolerance Mechanism for UAVs’ Flight Controller

      • Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira
      Pages 22-35

    5. Defining an Effective Context for the Safe Operation of Autonomous Systems

      • Matt Osborne, Richard Hawkins
      Pages 36-48

    6. Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus

      • Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
      Pages 49-61

    7. STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems

      • Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar
      Pages 62-70

  3. Workshop on Blockchain Technology and Artificial Intelligence in Smart Cities (TRUST IN BLOCKCHAIN)

    1. Front Matter

      Pages 71-73
      Download chapter PDF

    2. Spatial-Temporal Graph Neural Network for Detecting and Localizing Anomalies in PMU Networks

      • Tohid Behdadnia, Klaas Thoelen, Fairouz Zobiri, Geert Deconinck
      Pages 75-82

    3. On the Application of Blockchain Technology in Microgrids

      • Maarten Evens, Patricia Ercoli, Alessia Arteconi
      Pages 83-90

    4. Power System Transient Stability Prediction in the Face of Cyber Attacks: Employing LSTM-AE to Combat Falsified PMU Data

      • Benyamin Jafari, Mehmet Akif Yazici
      Pages 91-103

    5. Legal Framework on Trustworthy Artificial Intelligence and Blockchain Technology Application

      • Iryna Sofinska
      Pages 104-107

    6. An Exploratory Study on Trust in Blockchain-Enabled Energy Trading

      • Niccolò Testi
      Pages 108-122

    7. Inspecting Bridges and Critical Infrastructure: An AI and Blockchain Approach

      • Adriano Mancini, Alessandro Galdelli
      Pages 123-126

  4. Back Matter

    Pages 127-131
    Download chapter PDF
Back to top

Other volumes

  1. Dependable Computing – EDCC 2024 Workshops

Keywords

About this book

This book constitutes the refereed proceedings of Workshops held at the 19th European Dependable Computing Conference, EDCC 2024: ​First Workshop on Safe Autonomous Systems, SafeAutonomy 2024, and the First Workshop on the Role of TRUST in the implementation of Digital Technologies: Blockchain Technology and Artificial Intelligence in Smart Cities, TRUST IN BLOCKCHAIN 2024. 
The 13 workshop papers presented in this book were thoroughly reviewed and selected from 14 submissions. The TRUST IN BLOCKCHAIN workshop accepted extended abstract submissions, whereas the SafeAutonomy workshop accepted regular technical papers, case studies, PhD forum papers, as well as position papers. They deal with latest research results on theory, techniques, systems, and tools for the design, validation, operationand evaluation of dependable and secure computing systems. 



Editors and Affiliations

  • RISE Research Institutes of Sweden, Borås, Sweden

    Behrooz Sangchoolie

  • Fraunhofer IESE, Kaiserslautern, Germany

    Rasmus Adler

  • University of York, York, UK

    Richard Hawkins

  • Fraunhofer IKS, Munich, Germany

    Philipp Schleiss

  • KU Leuven, Geel, Belgium

    Alessia Arteconi

  • Università Politecnica delle Marche, Ancona, Italy

    Adriano Mancini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation