::Publications::

Journals

  1. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, and Paola Spoletini. Validation of web service compositions. IET Softw., 1(6):219-232, December 2007. [ bib | DOI | pdf | ee ]

Chapters in Books

  1. Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, and Sam Guinea. A guided tour through SAVVY-WS: a methodology for specifying and validating web service compositions. In Egon Börger and Antonio Cisternino, editors, Advances in Software Engineering, volume 5316 of Lecture Notes in Computer Science, pages 131-160. Springer, November 2008. [ bib | DOI | pdf ]

Conferences

  1. Domenico Bianculli, Walter Binder, and Mauro Luigi Drago. Automated performance assessment for service-oriented middleware: a case study on BPEL engines. In Proceedings of the 19th International Conference on World Wide Web (WWW 2010), Raleigh, NC, USA. ACM, April 2010. To appear. [ bib | pdf ]
  2. Luciano Baresi, Domenico Bianculli, Sam Guinea, and Paola Spoletini. Keep it small, keep it real: Efficient run-time verification of web service compositions. In Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009), Lisbon Portugal, volume 5522 of Lecture Notes in Computer Science, pages 26-40. Springer, June 2009. [ bib | DOI | pdf ]
  3. Domenico Bianculli, Walter Binder, Luigi Drago, and Carlo Ghezzi. Transparent reputation management for composite web services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2008), Beijing, China, pages 621-628. IEEE Computer Society Press, September 2008. [ bib | DOI | pdf ]
  4. Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, and Boi Faltings. Automated dynamic maintenance of composite services based on service reputation. In Proceedings of ICSOC'07, International Conference on Service-Oriented Computing, Vienna, Austria, volume 4749 of Lecture Notes in Computer Science, pages 449-455. Springer, September 2007. [ bib | DOI | pdf ]
  5. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, and Paola Spoletini. A timed extension of WSCoL. In Proceedings of the IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, USA, pages 663-670. IEEE Computer Society Press, July 2007. [ bib | DOI | pdf ]
  6. Domenico Bianculli, Carlo Ghezzi, and Paola Spoletini. A model checking approach to verify BPEL4WS workflows. In Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), Newport Beach, USA, pages 13-20. IEEE Computer Society Press, June 2007. [ bib | DOI | pdf ]
  7. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, and Pierluigi San Pietro. Model checking temporal metric specification with Trio2Promela. In Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007), Teheran, Iran, volume 4767 of Lecture Notes in Computer Science, pages 388-395. Springer, April 2007. [ bib | DOI | pdf ]

Workshops

  1. Domenico Bianculli, Carlo Ghezzi, and Cesare Pautasso. Embedding continuous lifelong verification in service life cycles. In Proceedings of Principles of Engineering Service Oriented Systems (PESOS 2009), co-located with ICSE 2009, Vancouver, Canada, pages 99-102. IEEE Computer Society Press, May 2009. [ bib | DOI | pdf ]
  2. Domenico Bianculli and Carlo Ghezzi. SAVVY-WS at a glance: supporting verifiable dynamic service compositions. In Proceedings of the the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008), co-located with ASE 2008, L'Aquila, Italy, pages 49-56. IEEE Computer Society Press, September 2008. [ bib | DOI | pdf ]
  3. Domenico Bianculli and Carlo Ghezzi. Towards a methodology for lifelong validation of service compositions. In Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008, Leipzig, Germany, pages 7-12. ACM, May 2008. [ bib | DOI | pdf ]
  4. Domenico Bianculli and Carlo Ghezzi. Monitoring conversational web services. In Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE'07), co-located with ESEC/FSE 2007, Dubrovnik, Croatia, pages 15-21. ACM, September 2007. [ bib | DOI | pdf ]

Demos

  1. Domenico Bianculli, Walter Binder, and Mauro Luigi Drago. SOABench: Performance evaluation of service-oriented middleware made easy. In Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa. ACM, May 2010. Informal Research Demo. To appear. [ bib | pdf ]
  2. Domenico Bianculli, Walter Binder, Luigi Drago, and Carlo Ghezzi. ReMan: A pro-active reputation management infrastructure for composite web services. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, pages 623-626. IEEE Computer Society Press, May 2009. Formal Research Demo. [ bib | DOI | poster | pdf ]
  3. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, and Pierluigi San Pietro and Paola Spoletini. Trio2Promela: a model checker for temporal metric specifications. In ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering, Minneapolis, USA, pages 61-62. IEEE Computer Society Press, May 2007. Informal Research Demo. [ bib | DOI | poster | pdf ]

Technical Reports

  1. Domenico Bianculli, Walter Binder, and Mauro Luigi Drago. Automated performance assessment for service-oriented middleware. Technical Report 2009/07, Faculty of Informatics - University of Lugano, November 2009. [ bib | pdf | ee ]
  2. Luciano Baresi, Domenico Bianculli, Sam Guinea, and Paola Spoletini. Keep it small, keep it real: Efficient run-time verification of web service compositions. Technical Report 2009.9, Politecnico di Milano - Dipartimento di Elettronica e Informazione, April 2009. [ bib | pdf ]

Other

  1. Domenico Bianculli. Lifelong verification of dynamic service compositions. In Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08), co-located with ACM SIGSOFT 2008/FSE 16, Atlanta, USA, pages 1-4. ACM, November 2008. [ bib | DOI | poster | pdf ]

Theses

  1. Domenico Bianculli. A Model Checking Approach to Verify BPEL4WS Workflows. Master's thesis, Politecnico di Milano, July 2006.
  2. Domenico Bianculli and Davide Bonicelli. PeerSeaPie: una libreria per il discovery dei nodi in applicazioni peer-to-peer. Bachelor's thesis, Politecnico di Milano, July 2003.

IEEE Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therin are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

ACM Copyright Notice

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.

Springer-Verlag LNCS Copyright Notice

The copyright of these contributions has been transferred to Springer-Verlag Berlin Heidelberg New York. The copyright transfer covers the exclusive right to reproduce and distribute the contribution, including reprints, translations, photographic reproductions, microform, electronic form (offline, online), or any other reproductions of similar nature.

This file has been generated with bibtex2html and sed