R. Alur & P. Madhusudan (2004):
Visibly Pushdown Languages.
In: Proceedings of the Thirty-sixth Annual ACM Symposium on Theory of Computing (STOC '04),
pp. 202–211,
doi:10.1145/1007352.1007390.
H. Barringer, A. Goldberg, K. Havelund & K. Sen (2004):
Rule-Based Runtime Verification.
In: Bernhard Steffen & Giorgio Levi: 5th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2004),
pp. 44–57,
doi:10.1007/978-3-540-24622-0_5.
A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone & C. Sofronis (2007):
Multiple Viewpoint Contract-Based Specification and Design.
In: Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007,
pp. 200–225,
doi:10.1007/978-3-540-92188-2_9.
E. Driscoll (2013):
Checking Format Compatibility of Programs Using Automata.
University of Wisconsin, Madison.
E. Driscoll, A. Burton & T. Reps (2011):
Checking Conformance of a Producer and a Consumer.
In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering (ESEC/FSE),
pp. 113–123,
doi:10.1145/2025113.2025132.
D. Giannakopoulou, C.S. Pasareanu & J.M. Cobleigh (2004):
Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
In: Proceedings of the 26th International Conference on Software Engineering (ICSE '04),
pp. 211–220,
doi:10.1109/ICSE.2004.1317443.
M. Kim, S. Kannan, I. Lee, O. Sokolsky & M. Viswanathan (2004):
Java-MaC: a Run-time Assurance Approach for Java Programs.
Formal Methods in Systems Design 24(2),
pp. 129–155,
doi:10.1023/B:FORM.0000017719.43755.7c.
P. Meredith, D. Jin, D. Griffith, F. Chen & G. Rosu (2012):
An Overview of the MOP Runtime Verification Framework.
Software Tools for Technology Transfer 14(3),
pp. 249–289,
doi:10.1007/s10009-011-0198-6.
eptcs@eptcs.org