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) (Accepted: 2022) PRESTO: Predicting System-level Disruptions through Parametric Model Checking. In: 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. . (In Press)

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
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: 17 Jul 2022 23:44
Status: In Press
Refereed: No

Download

Share / Export