References of "Bianculli, Domenico 50000779"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailReMan: A Pro-active Reputation Management Infrastructure for Composite Web Services
Bianculli, Domenico UL; Binder, Walter; Drago, Luigi et al

in Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada (2009)

Detailed reference viewed: 74 (0 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: 89 (2 UL)
Full Text
Peer Reviewed
See detailEmbedding Continuous Lifelong Verification in Service Life Cycles
Bianculli, Domenico UL; Ghezzi, Carlo; Pautasso, Cesare

in Proceedings of Principles of Engineering Service Oriented Systems (PESOS 2009), co-located with ICSE 2009, Vancouver, Canada (2009)

Detailed reference viewed: 70 (1 UL)
Full Text
Peer Reviewed
See detailTransparent Reputation Management for Composite Web Services
Bianculli, Domenico UL; Binder, Walter; Drago, Luigi et al

in Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China (2008)

Detailed reference viewed: 81 (0 UL)
Full Text
Peer Reviewed
See detailLifelong Verification of Dynamic Service Compositions
Bianculli, Domenico UL

in Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08) co-located with ACM SIGSOFT 2008/FSE 16 (2008)

Detailed reference viewed: 80 (0 UL)
Full Text
Peer Reviewed
See detailTowards a methodology for lifelong validation of service compositions
Bianculli, Domenico UL; Ghezzi, Carlo

in Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008 (2008)

Detailed reference viewed: 87 (2 UL)
Full Text
Peer Reviewed
See detailSAVVY-WS at a glance: supporting verifiable dynamic service compositions
Bianculli, Domenico UL; Ghezzi, Carlo

in Proceedings of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008), co-located with ASE 2008 (2008)

Detailed reference viewed: 73 (0 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: 86 (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: 90 (0 UL)
Full Text
Peer Reviewed
See detailMonitoring Conversational Web Services
Bianculli, Domenico UL; Ghezzi, Carlo

in Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE'07) co-located with ESEC/FSE 2007 (2007)

Detailed reference viewed: 82 (0 UL)
Full Text
Peer Reviewed
See detailAutomated Dynamic Maintenance of Composite Services based on Service Reputation
Bianculli, Domenico UL; Jurca, Radu; Binder, Walter et al

in Proceedings of ICSOC'07, International Conference on Service-Oriented Computing (2007)

Detailed reference viewed: 98 (0 UL)
Full Text
Peer Reviewed
See detailModel checking temporal metric specification with Trio2Promela
Bianculli, Domenico UL; Spoletini, Paola; Morzenti, Angelo et al

in Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran (2007)

Detailed reference viewed: 35 (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: 69 (0 UL)
Full Text
Peer Reviewed
See detailA model checking approach to verify BPEL4WS workflows
Bianculli, Domenico UL; Ghezzi, Carlo; Spoletini, Paola

in Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007) (2007)

Detailed reference viewed: 86 (1 UL)
Full Text
Peer Reviewed
See detailTrio2Promela: a Model Checker for Temporal Metric Specifications
Bianculli, Domenico UL; Morzenti, Angelo; Pradella, Matteo et al

in ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering (2007)

Detailed reference viewed: 104 (2 UL)