Please use this identifier to cite or link to this item:
Title: Consistently-detecting monitors
Authors: Francalanza, Adrian
Keywords: Computer science
Object-oriented methods (Computer science)
Multiparadigm programming (Computer science)
Issue Date: 2017
Publisher: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Citation: Francalanza, A. (2017). Consistently-detecting monitors. 28th International Conference on Concurrency Theory, Berlin. 1-16.
Abstract: We study a contextual definition for deterministic monitoring based on consistent detections. It is defined in terms of the observed behaviour of the monitor when instrumented over arbitrary systems. We give an alternative, coinductive definition based on controllability which does not rely on system quantifications, and show that it is fully-abstract wrt. the former definition. We then develop a symbolic counterpart to the controllability definition to facilitate an automated analysis for controllable monitors involving data.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
concur17.pdf259.16 kBAdobe PDFView/Open

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