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

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:
  • Accepted: 10 March 2022
  • Published: 15 August 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: 06 Dec 2023 10:14
Published Version: https://doi.org/10.1145/3524844.3528059
Status: Published
Publisher: ACM
Refereed: No
Identification Number: https://doi.org/10.1145/3524844.3528059

Download

Export

Statistics