This directory contains the following files:
monpoly-1.1.10.tgz the MonPoly tool, implementing the algorithms in [4] (assuming finite relations) and [5]
monpoly.pdf an overview of the tool, i.e. the paper [6]
monpoly-reg-1.0.tgz the MonPoly-Reg tool, implementing the algorithm in [4], assuming regular relations
rv11-experiments.tgz experiments corresponding to [1]
rv13-experiments.tgz experiments corresponding to [3]
jacm-experiments.tgz experiments corresponding to [4]
fmsd-experiments.tgz experiments corresponding to [5]
ldcc.tar log file in CSV format (intended for CSRV'14)
corresponding to the case study performed in [2].
[1] D. Basin, M. Harvan, F. Klaedtke, E. Zalinescu:
"MONPOLY: Monitoring usage-control policies"
In the Proceedings of the 2nd International Conference on Runtime Verification (RV'11).
[2] D. Basin, M. Harvan, F. Klaedtke, E. Zalinescu:
"Monitoring Data Usage in Distributed Systems"
IEEE Transactions on Software Engineering, 39(10): 1403-1426, 2013.
[3] D. Basin, F. Klaedtke, S. Marinovic, E. Zalinescu:
"Monitoring of Temporal First-order Properties with Aggregations"
In the Proceedings of the 4th International Conference on Runtime Verification (RV'13).
[4] D. Basin, F. Klaedtke, S. Mueller, E. Zalinescu:
"Monitoring Metric First-Order Temporal Properties"
Journal of the ACM, 62(2), 2015.
[5] D. Basin, F. Klaedtke, S. Marinovic, E. Zalinescu:
"Monitoring of Temporal First-order Properties with Aggregations"
Formal Methods in System Design, 46(3):262--285, 2015.
[6] D. Basin, F. Klaedtke, E. Zalinescu:
"The MonPoly monitoring tool"
In the Proceedings of the RV-CuBES Workshop 2017.