@inproceedings{1975010f00394bff9018be4e0f18fa12,
title = "From first-order temporal logic to parametric trace slicing",
abstract = "Parametric runtime verification is the process of verifying properties of execution traces of (data carrying) events produced by a running system. This paper considers the relationship between two widely-used specification approaches to parametric runtime verification: trace slicing and first-order temporal logic. This work is a first step in understanding this relationship. We introduce a technique of identifying syntactic fragments of temporal logics that admit notions of sliceability. We show how to translate formulas in such fragments into automata with a slicing-based semantics. In exploring this relationship, the paper aims to allow monitoring techniques to be shared between the two approaches and initiate a wider effort to unify specification languages for runtime verification.",
author = "Giles Reger and David Rydeheard",
year = "2015",
doi = "10.1007/978-3-319-23820-3_14",
language = "English",
isbn = "9783319238197",
volume = "9333",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "216--232",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "United States",
note = "6th International Conference on Runtime Verification, RV 2015 ; Conference date: 22-09-2015 Through 25-09-2015",
}