License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2017.8
URN: urn:nbn:de:0030-drops-77722
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7772/
Francalanza, Adrian
Consistently-Detecting Monitors
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 with respect to the former definition. We then develop a symbolic counterpart to the controllability definition to facilitate an automated analysis for controllable monitors involving data.
BibTeX - Entry
@InProceedings{francalanza:LIPIcs:2017:7772,
author = {Adrian Francalanza},
title = {{Consistently-Detecting Monitors}},
booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)},
pages = {8:1--8:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-048-4},
ISSN = {1868-8969},
year = {2017},
volume = {85},
editor = {Roland Meyer and Uwe Nestmann},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7772},
URN = {urn:nbn:de:0030-drops-77722},
doi = {10.4230/LIPIcs.CONCUR.2017.8},
annote = {Keywords: Runtime Monitoring, Deterministic Behaviour, Controllability, Compositional Reasoning, Symbolic Analysis}
}
|
Keywords: |
|
Runtime Monitoring, Deterministic Behaviour, Controllability, Compositional Reasoning, Symbolic Analysis |
|
Collection: |
|
28th International Conference on Concurrency Theory (CONCUR 2017) |
|
Issue Date: |
|
2017 |
|
Date of publication: |
|
01.09.2017 |
