References of "Baresi, Luciano"
     in
Bookmark and Share    
Peer Reviewed
See detailCloud-based systems need multi-level management
Baresi, Luciano; Bianculli, Domenico UL; Guinea, Sam

in Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.) Advanced Web Services (2013)

Detailed reference viewed: 127 (9 UL)
Full Text
Peer Reviewed
See detailKeep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Baresi, Luciano; Bianculli, Domenico UL; Guinea, Sam et al

in Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009) (2009)

Detailed reference viewed: 50 (2 UL)
Full Text
See detailKeep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Baresi, Luciano; Bianculli, Domenico UL; Guinea, Sam et al

Report (2009)

Detailed reference viewed: 53 (2 UL)
Full Text
Peer Reviewed
See detailA Guided Tour through SAVVY-WS: a Methodology for Specifying and Validating Web Service Compositions
Bianculli, Domenico UL; Ghezzi, Carlo; Spoletini, Paola et al

in Börger, Egon; Cisternino, Antonio (Eds.) Advances in Software Engineering (2008)

Detailed reference viewed: 41 (0 UL)
Full Text
Peer Reviewed
See detailA Timed extension of WSCoL
Baresi, Luciano; Bianculli, Domenico UL; Ghezzi, Carlo et al

in Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (2007)

Detailed reference viewed: 41 (0 UL)
Full Text
Peer Reviewed
See detailValidation of web service compositions
Baresi, Luciano; Bianculli, Domenico UL; Ghezzi, Carlo et al

in IET Software (2007), 1(6), 219--232

Detailed reference viewed: 47 (0 UL)