Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro. Offline Trace Checking of Quantitative Properties of Service-Based Applications. In 7th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2014, Matsue, Japan, November 17-19, 2014. pages 9-16, IEEE, 2014. [doi]
Abstract is missing.