Provably correct runtime monitoring-Reference-Cited by-同舟云学术

Provably correct runtime monitoring

Published:2009-05 Issue:5 Volume:78 Page:304-339
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Aktug Irem,Dam Mads,Gurov Dilian

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference37 articles.

1. I. Aktug, J. Linde, An inliner tool for mobile platforms. Available at .

2. ConSpec: a formal language for policy specification;Aktug;Sci. Comput. Program.,2008

3. E. Albert, G. Puebla, M.V. Hermenegildo, Abstraction-carrying code, in: Proceedings of the 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’04), Lecture Notes in Artificial Intelligence, vol. 3452, Springer-Verlag, 2004, pp. 380–397.

4. Adding trace matching with free variables to AspectJ;Allan;SIGPLAN Notices,2005

5. Verifying temporal properties without temporal logic;Alpern;ACM Trans. Program. Lang. Syst.,1989

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Runtime Enforcement of Timed Properties;Runtime Verification;2019

2. Monitoring networks through multiparty session types;Theoretical Computer Science;2017-03

3. Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper);2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA);2015-10

4. Security monitor inlining and certification for multithreaded Java;Mathematical Structures in Computer Science;2014-12-17