Author:
Basin David,Harvan Matus,Klaedtke Felix,Zalinescu Eugen
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Programming event monitors;International Journal on Software Tools for Technology Transfer;2023-06-22
2. Correct and Efficient Policy Monitoring, a Retrospective;Automated Technology for Verification and Analysis;2023
3. Runtime Verification as Documentation;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
4. Defining, enforcing and checking privacy policies in data-intensive applications;Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems;2018-05-28
5. Monitoring Data Usage in Distributed Systems;IEEE Transactions on Software Engineering;2013-10