PRESTO:Predicting System-level Disruptions through Parametric Model Checking

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) PRESTO:Predicting System-level Disruptions through Parametric Model Checking. In: SEAMS '22:Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM , pp. 91-97.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2022 Association for Computing Machinery. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Dates:
  • Published: 15 August 2022
  • Accepted: 10 March 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
The University of York > Faculty of Sciences (York) > Mathematics (York)
Depositing User: Pure (York)
Date Deposited: 09 May 2022 15:10
Last Modified: 13 Jan 2025 00:12
Published Version: https://doi.org/10.1145/3524844.3528059
Status: Published
Publisher: ACM
Identification Number: 10.1145/3524844.3528059
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics