-
D. Bianculli, S. Guinea, A. Metzger and A. Polini. QASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications. New York, NY, USA : ACM. 2011. [More]
-
L. Baresi, D. Bianculli, S. Guinea and P. Spoletini. "Keep It Small, Keep It Real: Efficient Run-time
Verification of Web Service Compositions". Proceedings of IFIP international conference on
Formal Techniques for Distributed Systems
(FMOODS/FORTE 2009), Lisbon Portugal. 2009. pp. 26-40. [More]
|