Author:
Colombo Christian,Pace Gordon J.,Schneider Gerardo
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;A. Bouajjani,1995
2. Aktug, I., Naliuka, K.: Conspec: A formal language for policy specification. In: FLACOS 2007, Oslo, Norway, October 2007, pp. 107–109 (2007)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
4. Lecture Notes in Computer Science;H. Barringer,2004
5. Lecture Notes in Computer Science;F. Chen,2005
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. General monitorability of totally ordered verdict domains;Innovations in Systems and Software Engineering;2024-04-06
2. A Survey of Software Dynamic Analysis Methods;Programming and Computer Software;2024-02
3. UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering;IEEE Transactions on Software Engineering;2024-01
4. Uncertainty in runtime verification: A survey;Computer Science Review;2023-11
5. Runtime Verification of Hash Code in Mutable Classes;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18