Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes; Simon Thrane Hansen; Carlos Ignacio Isasa Martin; Hannes Iven; Eduard Kamburjan; Peter Gorm Larsen; Martin Leucker; Prasad Talasila; Valdemar Tang Evans; Stefano Tonetta; Lars B. Vosteen; Thomas David Wright

doi:10.1109/ACSOS-C63493.2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Tang Evans, Stefano Tonetta, Lars B. Vosteen, Thomas David Wright

Institut for Elektro- og Computerteknologi - Software Engineering & Computing systems
Institut for Elektro- og Computerteknologi - Communication, Control and Automation

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Formidling

Originalsprog	Engelsk
Titel	2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)
Forlag	IEEE
Publikationsdato	2 dec. 2024
ISBN (Trykt)	979-8-3503-8977-7
ISBN (Elektronisk)	979-8-3503-8976-0
DOI	https://doi.org/10.1109/ACSOS-C63493.2024
Status	Udgivet - 2 dec. 2024
Begivenhed	5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems - Varighed: 16 sep. 2024 → 20 sep. 2024 Konferencens nummer: 5 https://conf.researchr.org/home/acsos-2024

Konference

Konference	5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems
Nummer	5
Periode	16/09/2024 → 20/09/2024
Internetadresse	https://conf.researchr.org/home/acsos-2024

Emneord

self-adaptivity
runtime verification
digital twins
monitor
TeSSLa
NuRV

Adgang til dokumentet

10.1109/ACSOS-C63493.2024

Citationsformater

Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B., & Wright, T. D. (2024). Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. I 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) IEEE. https://doi.org/10.1109/ACSOS-C63493.2024

@inproceedings{3dd83a3edebc4251be9fb7ea21287116,

title = "Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service",

keywords = "self-adaptivity, runtime verification, digital twins, monitor, TeSSLa, NuRV, self-adaptivity, runtime verification, digital twins, monitor, TeSSLa, NuRV",

author = "Kristensen, {Morten Haahr} and Alberto Bonizzi and Cl{\'a}udio Gomes and Hansen, {Simon Thrane} and {Isasa Martin}, {Carlos Ignacio} and Hannes Iven and Eduard Kamburjan and Larsen, {Peter Gorm} and Martin Leucker and Prasad Talasila and Evans, {Valdemar Tang} and Stefano Tonetta and Vosteen, {Lars B.} and Wright, {Thomas David}",

year = "2024",

month = dec,

day = "2",

doi = "10.1109/ACSOS-C63493.2024",

language = "English",

isbn = "979-8-3503-8977-7",

booktitle = "2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)",

publisher = "IEEE",

note = "5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems ; Conference date: 16-09-2024 Through 20-09-2024",

url = "https://conf.researchr.org/home/acsos-2024",

}

Kristensen, MH, Bonizzi, A, Gomes, C, Hansen, ST, Isasa Martin, CI, Iven, H, Kamburjan, E, Larsen, PG, Leucker, M, Talasila, P , Evans, VT, Tonetta, S, Vosteen, LB & Wright, TD 2024, Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. i 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). IEEE, 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 16/09/2024. https://doi.org/10.1109/ACSOS-C63493.2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. / Kristensen, Morten Haahr; Bonizzi, Alberto; Gomes, Cláudio et al.
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). IEEE, 2024.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Formidling

TY - GEN

T1 - Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

AU - Kristensen, Morten Haahr

AU - Bonizzi, Alberto

AU - Gomes, Cláudio

AU - Hansen, Simon Thrane

AU - Isasa Martin, Carlos Ignacio

AU - Iven, Hannes

AU - Kamburjan, Eduard

AU - Larsen, Peter Gorm

AU - Leucker, Martin

AU - Talasila, Prasad

AU - Evans, Valdemar Tang

AU - Tonetta, Stefano

AU - Vosteen, Lars B.

AU - Wright, Thomas David

N1 - Conference code: 5

PY - 2024/12/2

Y1 - 2024/12/2

KW - self-adaptivity

KW - runtime verification

KW - digital twins

KW - monitor

KW - TeSSLa

KW - NuRV

KW - self-adaptivity

KW - runtime verification

KW - digital twins

KW - monitor

KW - TeSSLa

KW - NuRV

U2 - 10.1109/ACSOS-C63493.2024

DO - 10.1109/ACSOS-C63493.2024

M3 - Article in proceedings

SN - 979-8-3503-8977-7

BT - 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)

PB - IEEE

T2 - 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems

Y2 - 16 September 2024 through 20 September 2024

ER -