Self Managing Situated Computing

ERC Advanced Investigator Grant N. 227977 [2008-2013] - PI Professor Carlo Ghezzi

Bianculli, Domenico

Personal Information:

Position: Bianculli, Domenico
Description:
Domenico Bianculli

Domenico Bianculli is a PhD candidate at the Faculty of Informatics of the University of Lugano, Switzerland. He holds a BSc in Computer Engineering (2003) and a MSc in Computing Systems Engineering (2006), both from Politecnico di Milano, Italy. From April 2009 to March 2010 he was an intern at Mission Critical Technologies, Inc., as visiting researcher on site at NASA Ames Research Center, in the Robust Software Engineering group.

Domenico Bianculli' s primary research area is software engineering, with particular emphasis on the specification, verification and validation of software services. Other research interests include the use of reputation mechanisms for enabling self-tuning and self-healing properties in the execution of composite Web services, and model checking of temporal metric specifications. He actively collaborates with the DEEP-SE group of Politecnico di Milano, Italy, led by prof. Carlo Ghezzi, who is also his PhD advisor.

Publications

  • D. Bianculli, D. Giannakopoulou and C. S. Pasareanu. "Interface Decomposition for Service Compositions". Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, USA. 2011. pp. 501-510. [More] 
  • 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] 
  • D. Bianculli, W. Binder and M. L. Drago. "SOABench: Performance Evaluation of Service-Oriented Middleware Made Easy". Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa. 2010. pp. 301-302. [More] 
  • D. Bianculli, W. Binder and M. L. Drago. "Automated Performance Assessment for Service-Oriented Middleware: a Case Study on BPEL engines". Proceedings of the 19th International Conference on World Wide Web (WWW 2010), Raleigh, NC, USA. 2010. pp. 141-150. [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]