Verification and Uncertainties in Self-integrating System

Esterle, Lukas, Porter, Barry and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Verification and Uncertainties in Self-integrating System. In: El-Araby, Esam, Kalogeraki, Vana, Pianini, Danilo, Lassabe, Frederic, Porter, Barry, Ghahremani, Sona, Nunes, Ingrid, Bakhouya, Mohamed and Tomforde, Sven, (eds.) Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021. 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, 27 Sep - 01 Oct 2021 Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021 . IEEE , USA , pp. 220-225.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • El-Araby, Esam
  • Kalogeraki, Vana
  • Pianini, Danilo
  • Lassabe, Frederic
  • Porter, Barry
  • Ghahremani, Sona
  • Nunes, Ingrid
  • Bakhouya, Mohamed
  • Tomforde, Sven
Copyright, Publisher and Additional Information:

Funding Information: We are grateful to the Poul Due Jensen Foundation, which has supported the establishment of a new Centre for Digital Twin Technology at Aarhus University and supported parts of this research financially. This work was also partly supported by the UK Leverhulme Trust via the Self-Aware Datacentre project, grant RPG-2017-166. Publisher Copyright: © 2021 IEEE.

Keywords: Self-assembling,Self-improving,Self-integrating systems,Systems-of-systems,Verification
Dates:
  • Published: 18 November 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 07 Feb 2022 09:20
Last Modified: 26 Jan 2025 00:05
Published Version: https://doi.org/10.1109/ACSOS-C52956.2021.00050
Status: Published
Publisher: IEEE
Series Name: Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021
Identification Number: 10.1109/ACSOS-C52956.2021.00050
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: SISSY2021_AU_UY_LU.pdf

Description: SISSY2021___AU___UY___LU

Export

Statistics