Looking for the latest version? Download ldcc.tar (743.8 MB)
Home
Name Modified Size Downloads / Week Status
Totals: 8 Items   746.3 MB 8
README 2014-04-02 1.8 kB 11 weekly downloads
ldcc.tar 2014-04-02 743.8 MB 11 weekly downloads
fmsd-experiments.tgz 2014-03-14 86.3 kB 11 weekly downloads
experiments.tgz 2014-02-04 20.5 kB 11 weekly downloads
monpoly-reg-1.0.tgz 2014-02-04 47.5 kB 11 weekly downloads
monpoly-1.1.2.tgz 2013-09-17 242.1 kB 11 weekly downloads
rv11-experiments.tgz 2013-09-17 2.1 MB 11 weekly downloads
rv13-experiments.tgz 2013-09-17 82.6 kB 11 weekly downloads
This directory contains the following files: monpoly-1.1.2.tgz MonPoly tool, implementing the algorithm in [1], assuming finite relations monpoly-reg-1.0.tgz MonPoly-Reg tool, implementing the algorithm in [1], assuming regular relations rv11-experiments.tgz Experiments corresponding to [2] rv13-experiments.tgz Experiments corresponding to [3], including an extension of MonPoly to function symbols and aggregation operators fmsd-experiments.tgz Experiments corresponding to a journal version of [3], 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 in [4]. [1] 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 Science (FSTTCS'08). [2] 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). [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, M. Harvan, F. Klaedtke, E. Zalinescu. "Monitoring Data Usage in Distributed Systems." IEEE Transactions on Software Engineering, 39(10): 1403-1426, 2013.
Source: README, updated 2014-04-02