MonPoly Files

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.