@inproceedings{b72e553a1b4c46f79697e5ccfa2d3088,
title = "DejaVu: A monitoring tool for first-order temporal logic",
abstract = "In this paper, we describe our monitoring tool, DejaVu, which implements our algorithm for monitoring first-order past linear-time temporal logic over a sequence of events that carry data. We propose the use of Binary Decision Diagrams (BDDs) for representing and manipulating sets of observed data since (1) BDDs provide highly compact representations, (2) operations overBDDs, in particular complementation, are very efficient, and (3) the monitor construction for the propositional case shown in naturally extends to BDDs. Our experiments show a substantial improvement in performance compared to a related tool.",
keywords = "BDD, Monitoring, Runtime-verification, Temporal-logic",
author = "Klaus Havelund and Doron Peled and Dogan Ulus",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018 ; Conference date: 10-04-2018",
year = "2018",
month = aug,
day = "7",
doi = "10.1109/mt-cps.2018.00013",
language = "الإنجليزيّة",
isbn = "9781538667484",
series = "Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "12--13",
booktitle = "Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018",
address = "الولايات المتّحدة",
}