Author:
de Boer Frank S.,de Gouw Stijn
Publisher
Springer International Publishing
Reference70 articles.
1. Lecture Notes in Computer Science,2005
2. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA, pp. 345–364 (2005)
3. Lecture Notes in Computer Science;C. Artho,2003
4. Backus, J.W.: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In: IFIP Congress, pp. 125–131 (1959)
5. Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes, 1st edn. Cambridge University Press, New York (2009)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Runtime verification of train control systems with parameterized modal live sequence charts;Journal of Systems and Software;2021-07
3. RML: Theory and practice of a domain specific language for runtime verification;Science of Computer Programming;2021-05
4. Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach;Electronic Proceedings in Theoretical Computer Science;2019-08-27
5. RML: runtime monitoring language;Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming;2019-04