Author:
Basin David,Klaedtke Felix,Zălinescu Eugen
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference34 articles.
1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)
2. Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: Proceedings of the 1991 REX Workshop on Real-Time: Theory in Practice Lecture Notes in Computer Science, vol. 600, pp. 74–106. Springer, Berlin (1992)
3. Baldor, K., Niu, J.: Monitoring dense-time, continuous-semantics, metric temporal logic. Proceedings of the 3rd International Conference on Runtime Verification (RV). Lecture Notes in Computer Science, vol. 7687, pp. 245–259. Springer, Berlin (2013)
4. Basin, D., Klaedtke, F., Müller, S.: Monitoring security policies with metric first-order temporal logic. In: Proceedings of the 15th ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 23–33. ACM Press, New York (2010)
5. Basin, D., Klaedtke, F., Müller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: Proceedings of the 28th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Leibniz International Proceedings in Informatics (LIPIcs), vol. 2, pp. 49–60. Schloss Dagstuhl - Leibniz Center for Informatics (2008)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献