Please use this identifier to cite or link to this item:
Title: A framework for parameterized monitorability
Other Titles: Foundations of Software Science and Computation Structures. FoSSaCS 2018. Lecture Notes in Computer Science, vol 10803
Authors: Aceto, Luca
Achilleos, Antonis
Francalanza, Adrian
Ingólfsdóttir, Anna
Keywords: Computer software -- Verification
Object monitors (Computer software)
Recursive programming
Computer logic
Issue Date: 2018
Publisher: Springer Nature Switzerland AG
Citation: Aceto, L., Achilleos, A., Francalanza, A., & Ingólfsdóttir, A. (2018). A framework for parameterized monitorability. 21st International Conference, FOSSACS 2018, Thessaloniki. 203-220.
Abstract: We introduce a general framework for Runtime Verification, parameterized with respect to a set of conditions. These conditions are encoded in the trace generated by a monitored process, which a monitor can observe. We present this parameterized framework in its general form and prove that it corresponds to a fragment of HML with recursion, extended with these conditions. We then show how this framework can be applied to a number of instantiations of the set of conditions.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
A Framework for Parameterized.pdf386.32 kBAdobe PDFView/Open

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