This directory contains the following files:
monpoly-1.1.2.tgz MonPoly tool, implementing the algorithm in ,
assuming finite relations
monpoly-reg-1.0.tgz MonPoly-Reg tool, implementing the algorithm in
, assuming regular relations
rv11-experiments.tgz Experiments corresponding to 
rv13-experiments.tgz Experiments corresponding to , including an
extension of MonPoly to function symbols and
fmsd-experiments.tgz Experiments corresponding to a journal version
of , which under subsmission, including a new
version of the mentioned extension of MonPoly
experiments.tgz Additional experiments to evaluate
MonPoly's and MonPoly-Reg's performance
ldcc.tar Log file in CSV format (intended for CSRV'14)
corresponding to the case study performed by
 D. Basin, F. Klaedtke, S. Mueller, B. Pfitzmann:
"Runtime Monitoring of Metric First-Order Temporal Properties."
In the Proceedings of the 28th International Conference on
Foundations of Software Technology and Theoretical Computer
 D. Basin, M. Harvan, F. Klaedtke, E. Zalinescu:
"MONPOLY: Monitoring usage-control policies."
In the Proceedings of the 2nd International Conference on Runtime
 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
 D. Basin, M. Harvan, F. Klaedtke, E. Zalinescu. "Monitoring Data
Usage in Distributed Systems." IEEE Transactions on Software
Engineering, 39(10): 1403-1426, 2013.