Download Latest Version monpoly-1.1.10.tgz (92.7 kB)
Email in envelope

Get an email when there's a new version of MonPoly

Home
Name Modified Size InfoDownloads / Week
README 2020-11-25 1.8 kB
monpoly-1.1.10.tgz 2020-11-25 92.7 kB
monpoly.pdf 2017-10-04 322.9 kB
ldcc.tar 2014-08-07 773.1 MB
fmsd-experiments.tgz 2014-03-14 86.3 kB
jacm-experiments.tgz 2014-02-04 20.5 kB
monpoly-reg-1.0.tgz 2014-02-04 47.5 kB
rv11-experiments.tgz 2013-09-17 2.1 MB
rv13-experiments.tgz 2013-09-17 82.6 kB
Totals: 9 Items   775.9 MB 1
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.
Source: README, updated 2020-11-25