Ph.D. Thesis

Detailed evaluation data for my Ph.D. thesis

A zip file with all evaluation data is available for download below. The results are placed in three different folders based on the execution platform used to produce the results.

Evaluation ZIP package

ACM TECS

Online resources for submission "Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation"

A zip file with all necessary resources (including a readme with the description of the used hardware and software environment) to reproduce the presented evaluations is available below.

Link to evaluation ZIP package (revised version)

STTT

Experiment results for submission "Distributed Graph Queries Over Models@run.time for Runtime Monitoring of Cyber-Physical Systems"

Generated graphs and figures from the repository for evaluation results.

Plots PDF

WF-IoT 2019

Online resources for submission "Comparison of Query-Based Monitoring Strategies over Distributed Runtime Models"

A pdf file with graphs and data values used in the submitted paper and a preprint of our paper submitted to a journal is available below.

Link to evaluation PDF
Link to STTT preprint