References of "Bianculli, Domenico 50000779"
     in
Bookmark and Share    
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: 64 (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: 72 (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: 78 (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: 28 (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: 59 (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: 80 (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: 87 (0 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: 94 (2 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: 77 (1 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: 74 (0 UL)