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

Authors/Creators:
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: 31 Jan 2024 01:34
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
Refereed: No
Identification Number: https://doi.org/10.1109/ACSOS-C52956.2021.00050
Related URLs:

Download

Accepted Version

Filename: SISSY2021_AU_UY_LU.pdf

Description: SISSY2021___AU___UY___LU

CLICK TO DOWNLOAD [img]

Export

Statistics


CORE (COnnecting REpositories)