There is a newer version of the record available.

Published May 4, 2021 | Version 1.0
Dataset Open

[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems

Authors/Creators

  • 1. Free University of Bozen-Bolzano, Italy
  • 2. Politecnico di Milano, Italy
  • 3. University of Bergamo, Italy

Description

This package contains the raw data as well as scripts used to carry out the evaluation of the framework RUNE (RUNtime Equilibrium verification).

This package is paired with the following paper submitted for publication to the 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2021):

Title: Runtime Equilibrium Verification for Resilient Cyber-physical Systems

Authors:
- Matteo Camilli, Free University of Bozen-Bolzano, Italy
- Raffaela Mirandola, Politecnico di Milano, Italy
- Patrizia Scandurra, University of Bergamo, Italy

Files

acsos2021_dataset.zip

Files (1.3 MB)

Name Size Download all
md5:ed3c042041ca2e001b987c9d3bc6b81e
1.3 MB Preview Download