Doron Peled | Bar-Ilan University (original) (raw)

Uploads

Papers by Doron Peled

The Handbook of Environmental Chemistry, 2018

Runtime Verification, 2019

Model Checking Software, 2018

Runtime Verification, 2020

Formal Description Techniques VII, 1995

Runtime Verification (RV) expedites the analyses of execution traces for detecting system errors ... more Runtime Verification (RV) expedites the analyses of execution traces for detecting system errors and for statistical and quality analysis. Having started modestly, with checking temporal properties that are based on propositional (yes/no) values, the current practice of RV often involves properties that are parameterized by the data observed in the input trace. The specifications are based on various formalisms, such as automata, temporal logics, rule systems and stream processing. Checking execution traces that are data intensive against a specification that requires strong dependencies between the data poses a nontrivial challenge; in particular if runtime verification has to be performed online, where many events that carry data appear within small time proximities. Towards achieving this goal, we recently suggested to represent relations over the observed data values as BDDs, where data elements are enumerated and then converted into bit vectors. We extend here the capabilities ...