Interval Change-Point Detection for Runtime Probabilistic Model Checking

Zhao, Xingyu, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos orcid.org/0000-0002-2706-5272 et al. (2 more authors) (2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. In: 35th IEEE/ACM International Conference on Automated Software Engineering. IEEE.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 30 July 2020
  • Published: 24 December 2020
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 25 Aug 2020 16:40
Last Modified: 17 Sep 2025 04:40
Status: Published
Publisher: IEEE
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: ASE_2020_camera_ready.pdf

Description: ASE-2020-camera-ready

CLICK TO DOWNLOAD [thumbnail of ASE-2020-camera-ready]

Export

Statistics


CORE (COnnecting REpositories)