|
F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, “Runtime Monitoring of Instances and Classes of Web Service Compositions”, In International Conference on Web Services (ICWS), IEEE Computer Society, pp. 63–71, 2006
|
|
L. Baresi, S. Guinea, and L. Pasquale, “Towards a Unified Framework for The Monitoring and Recovery of BPEL Processes”, In Workshop on Testing, Analysis, and Verification of Web Services and Applications (TAV-WEB), ACM, pp. 15–19, 2008
|
|
A. Bauer, M. Leucker, and C. Schallhart, “Runtime Verification for LTL and PTLTL”, Technical Report, TUM-I0, 724, 2007
|
|
A. Bauer, M. Leucker, and C. Schallhart, “Comparing LTL Semantics for Runtime Verification”, Logic and Computation, pp. 651-674, 2010
|
|
E. Bodden, “A Lightweight LTL Runtime Verification Tool for Java”, In OOPSLA Companion, ACM, pp. 306–307, 2004
|
|
M. Broy, “Software Technology Formal Methods and Scientific Foundations”, Information and Software Technology, vol. 41, pp. 947-950, 1999
|
|
B. D’Angelo, S. Sankaranarayanan, C. S′anchez, “LOLA: Runtime Monitoring of Synchronous Systems”, In International Symposium on Temporal Representation and Reasoning (TIME), pp. 166–174, 2005
|
|
P. Gastin, and D. Oddoux, “Fast LTL to Büchi Automata Translation”, Lecture Notes in Computer Science, pp. 53–58, 2012
|
|
M. Geilen, “On the Construction of Monitors for Temporal Logic Properties”, Electronic Notes in Theoretical Computer Science (ENTCS) 55, 2, 2001
|
|
Bengtsson J., Larsen K. G., Larsson F., Pettersson P., “UPPAAL: A Tool Suite for The Automatic Verification of Real-time Systems”, Lecture Notes in Computer Science, vol. 1066. Springer-Verlag, pp. 232–243, 1996
|
|
L. Osterweil, “Software Processes Are Software Too”, In proceedings of the 9th International Conference on Software Engineering, Los Alamitos: IEEE Computer Society press, pp. 2-13, 1987
|
|
A. Pnueli, “The Temporal Logic of Programs”, In Symposium on the Foundations of Computer Science (FOCS), IEEE Computer Society Press, Providence, Rhode Island, pp. 46–57, 1977
|
|
V. Stolz and F. Huch, “Runtime Verification of Concurrent Haskell Programs”, In Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS, Elsevier Science Publishers, 2004
|
|
M. Y. Vardi and P. Wolper, “An Automata-theoretic Approach to Automatic Program Verification”, In Logic in Computer Science, A. Meyer, (ed.), pp. 332–345, 1986
|