Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/86157
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAceto, Luca-
dc.contributor.authorAchilleos, Antonis-
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorIngólfsdóttir, Anna-
dc.contributor.authorLehtinen, Karoliina-
dc.date.accessioned2021-12-28T14:34:04Z-
dc.date.available2021-12-28T14:34:04Z-
dc.date.issued2019-
dc.identifier.citationAceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., & Lehtinen, K. (2019). An operational guide to monitorability. In International Conference on Software Engineering and Formal Methods (pp. 433-453). Springer, Cham.en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar/handle/123456789/86157-
dc.description.abstractMonitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.en_GB
dc.language.isoenen_GB
dc.publisherSpringeren_GB
dc.rightsinfo:eu-repo/semantics/restrictedAccessen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectObject monitors (Computer software)en_GB
dc.subjectComputer logicen_GB
dc.subjectSoftware engineeringen_GB
dc.titleAn operational guide to monitorabilityen_GB
dc.typeconferenceObjecten_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.en_GB
dc.bibliographicCitation.conferencenameInternational Conference on Software Engineering and Formal Methodsen_GB
dc.description.reviewedpeer-revieweden_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
An Operational Guide to.pdf
  Restricted Access
359.74 kBAdobe PDFView/Open Request a copy


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.