Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong. A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 152-155, IEEE, 2014. [doi]
Abstract is missing.