Stucki, Sandro; Sánchez, César; Schneider, Gerardo; Bonakdarpour, Borzoo Gray-box monitoring of hyperproperties with an application to privacy. (English) Zbl 1502.68187 Form. Methods Syst. Des. 58, No. 1-2, 126-159 (2021). MSC: 68Q60 03B44 68P27 PDFBibTeX XMLCite \textit{S. Stucki} et al., Form. Methods Syst. Des. 58, No. 1--2, 126--159 (2021; Zbl 1502.68187) Full Text: DOI
Berkovich, Shay; Bonakdarpour, Borzoo; Fischmeister, Sebastian Runtime verification with minimal intrusion through parallelism. (English) Zbl 1323.68363 Form. Methods Syst. Des. 46, No. 3, 317-348 (2015). MSC: 68Q60 68W10 PDFBibTeX XMLCite \textit{S. Berkovich} et al., Form. Methods Syst. Des. 46, No. 3, 317--348 (2015; Zbl 1323.68363) Full Text: DOI
Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian Time-triggered runtime verification. (English) Zbl 1291.68248 Form. Methods Syst. Des. 43, No. 1, 29-60 (2013). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., Form. Methods Syst. Des. 43, No. 1, 29--60 (2013; Zbl 1291.68248) Full Text: DOI