@inproceedings {324,
	title = {Monitorability Over Unreliable Channels},
	booktitle = {International Conference on Runtime Verification (RV)},
	year = {2019},
	pages = {256 to 272},
	address = {Porto, Portugal},
	abstract = {<p>In Runtime Verification (RV), monitoring a program means checking an execution trace of the program for satisfactions and violations of properties. \&nbsp;The question of which properties can be effectively monitored over ideal channels has mostly been answered by prior work. \&nbsp;However, program monitoring is often deployed for remote systems where communications may be unreliable.</p>

<p>In this work, we address the question of what properties are monitorable over an unreliable communication channel. \&nbsp;We describe the different types of mutations that may be introduced to an execution trace and examine their effects on program monitoring. \&nbsp;We propose a fixed-parameter tractable algorithm for determining the immunity of a finite automaton to a trace mutation and show how it can be used to classify omega-regular properties as monitorable over channels with that mutation.</p>
},
	doi = {10.1007/978-3-030-32079-9_15},
	author = {Sean Kauffman and Klaus Havelund and Sebastian Fischmeister}
}
