::BibTeX file::
@inproceedings{bbd:icse2010demo,
author = {Domenico Bianculli and Walter Binder and Mauro Luigi
Drago},
title = {{SOABench}: Performance Evaluation of
Service-Oriented Middleware Made Easy},
booktitle = {Proceedings of the 32nd International Conference on
Software Engineering (ICSE 2010), Cape Town, South
Africa},
year = 2010,
month = {May},
publisher = {ACM},
note = {Informal Research Demo. To appear.},
}
@inproceedings{bbd:www2010,
author = {Domenico Bianculli and Walter Binder and Mauro Luigi
Drago},
title = {Automated Performance Assessment for
Service-Oriented Middleware: a Case Study on {BPEL}
engines},
booktitle = {Proceedings of the 19th International Conference on
World Wide Web (WWW 2010), Raleigh, NC, USA},
month = {April},
year = 2010,
publisher = {ACM},
note = {To appear.},
}
@techreport{bbd:tr072009,
author = {Domenico Bianculli and Walter Binder and Mauro Luigi
Drago},
title = {Automated Performance Assessment for
Service-Oriented Middleware},
institution = {Faculty of Informatics - University of Lugano},
number = {2009/07},
year = 2009,
month = {November},
url = {http://www.inf.usi.ch/research_publication.htm?id=55}
}
@inproceedings{bbgs:forte2009,
author = {Luciano Baresi and Domenico Bianculli and Sam Guinea
and Paola Spoletini},
title = {Keep It Small, Keep It Real: Efficient Run-time
Verification of Web Service Compositions},
booktitle = {Proceedings of IFIP international conference on
Formal Techniques for Distributed Systems
(FMOODS/FORTE 2009), Lisbon Portugal},
year = 2009,
series = {Lecture Notes in Computer Science},
month = {June},
publisher = {Springer},
doi = {10.1007/978-3-642-02138-1_2},
pages = {26--40},
volume = 5522
}
@inproceedings{bgp:pesos2009,
author = {Domenico Bianculli and Carlo Ghezzi and Cesare
Pautasso},
title = {Embedding Continuous Lifelong Verification in
Service Life Cycles},
booktitle = {Proceedings of Principles of Engineering Service
Oriented Systems (PESOS 2009), co-located with ICSE
2009, Vancouver, Canada},
year = 2009,
month = {May},
publisher = {IEEE Computer Society Press},
doi = {10.1109/PESOS.2009.5068828},
pages = {99--102}
}
@inproceedings{bbdg09:icse09demo,
author = {Domenico Bianculli and Walter Binder and Luigi Drago
and Carlo Ghezzi},
title = {{ReMan}: A Pro-active Reputation Management
Infrastructure for Composite Web Services},
booktitle = {Proceedings of the 31st International Conference on
Software Engineering (ICSE 2009), Vancouver, Canada},
month = {May},
year = 2009,
note = {Formal Research Demo},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICSE.2009.5070571},
pages = {623--626},
}
@techreport{bbgs:forte2009-tr,
author = {Luciano Baresi and Domenico Bianculli and Sam Guinea
and Paola Spoletini},
title = {Keep It Small, Keep It Real: Efficient Run-time
Verification of Web Service Compositions},
year = 2009,
month = {April},
institution = {Politecnico di Milano - Dipartimento di Elettronica
e Informazione},
number = {2009.9},
}
@inproceedings{b:ds-fse2008,
author = {Domenico Bianculli},
title = {Lifelong Verification of Dynamic Service
Compositions},
booktitle = {Proceedings of the 2008 Foundations of Software
Engineering Doctoral Symposium (FSEDS '08),
co-located with ACM SIGSOFT 2008/FSE 16, Atlanta,
USA},
year = 2008,
month = {November},
publisher = {ACM},
pages = {1--4},
doi = {10.1145/1496653.1496654},
}
@inproceedings{bg:aramis2008,
author = {Domenico Bianculli and Carlo Ghezzi},
title = {{SAVVY-WS} at a glance: supporting verifiable
dynamic service compositions},
booktitle = {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},
year = 2008,
month = {September},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ASEW.2008.4686293},
pages = {49--56},
}
@incollection{bgsbg:lipari,
author = {Domenico Bianculli and Carlo Ghezzi and Paola
Spoletini and Luciano Baresi and Sam Guinea},
title = {A Guided Tour through {SAVVY-WS}: a Methodology for
Specifying and Validating Web Service Compositions},
booktitle = {Advances in Software Engineering},
publisher = {Springer},
year = 2008,
editor = {Egon B\"orger and Antonio Cisternino},
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-540-89762-0},
month = {November},
pages = {131--160},
volume = 5316
}
@inproceedings{bbdg:icws08,
author = {Domenico Bianculli and Walter Binder and Luigi Drago
and Carlo Ghezzi},
title = {Transparent Reputation Management for Composite Web
Services},
booktitle = {Proceedings of the IEEE International Conference on
Web Services (ICWS 2008), Beijing, China},
month = {September},
year = 2008,
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICWS.2008.39},
pages = {621--628}
}
@inproceedings{bg:sdsoa08,
author = {Domenico Bianculli and Carlo Ghezzi},
title = {Towards a methodology for lifelong validation of
service compositions},
booktitle = {Proceedings of the 2nd International Workshop on
Systems Development in SOA Environments (SDSOA
2008), co-located with ICSE 2008, Leipzig, Germany},
year = 2008,
month = {May},
pages = {7--12},
doi = {10.1145/1370916.1370919},
publisher = {ACM},
}
@article{bbggs:iet07,
author = {Luciano Baresi and Domenico Bianculli and Carlo
Ghezzi and Sam Guinea and Paola Spoletini},
title = {Validation of web service compositions},
publisher = {IET},
year = 2007,
month = {December},
journal = {IET Softw.},
volume = 1,
number = 6,
pages = {219--232},
url = {http://link.aip.org/link/?SEN/1/219/1},
doi = {10.1049/iet-sen:20070027},
}
@inproceedings{bjbgf:icsoc07,
author = {Domenico Bianculli and Radu Jurca and Walter Binder
and Carlo Ghezzi and Boi Faltings},
title = {Automated Dynamic Maintenance of Composite Services
based on Service Reputation},
booktitle = {Proceedings of ICSOC'07, International Conference on
Service-Oriented Computing, Vienna, Austria},
year = 2007,
month = {September},
pages = {449--455},
volume = 4749,
series = {Lecture Notes in Computer Science},
publisher = {Springer},
doi = {10.1007/978-3-540-74974-5_42},
}
@inproceedings{bg:soswe07,
author = {Domenico Bianculli and Carlo Ghezzi},
title = {Monitoring Conversational Web Services},
booktitle = {Proceedings of the 2nd International Workshop on
Service-Oriented Software Engineering (IW-SOSWE'07),
co-located with ESEC/FSE 2007, Dubrovnik, Croatia},
year = 2007,
month = {September},
pages = {15--21},
publisher = {ACM},
doi = {10.1145/1294928.1294933},
}
@inproceedings{bbggs:icws07,
author = {Luciano Baresi and Domenico Bianculli and Carlo
Ghezzi and Sam Guinea and Paola Spoletini},
title = {A Timed extension of {WSCoL}},
booktitle = {Proceedings of the IEEE International Conference on
Web Services (ICWS 2007), Salt Lake City, USA},
month = {July},
year = 2007,
publisher = {IEEE Computer Society Press},
pages = {663--670},
doi = {10.1109/ICWS.2007.25},
}
@inproceedings{bgs:soca07,
author = {Domenico Bianculli and Carlo Ghezzi and Paola
Spoletini},
title = {A model checking approach to verify {BPEL4WS}
workflows},
booktitle = {Proceedings of the 2007 IEEE International
Conference on Service-Oriented Computing and
Applications (IEEE SOCA 2007), Newport Beach, USA},
month = {June},
year = 2007,
publisher = {IEEE Computer Society Press},
pages = {13--20},
doi = {10.1109/SOCA.2007.5},
}
@inproceedings{bmpss:icse07demo,
author = {Domenico Bianculli and Angelo Morzenti and Matteo
Pradella and Pierluigi {San Pietro }and Paola
Spoletini},
title = {{Trio2Promela}: a Model Checker for Temporal Metric
Specifications},
booktitle = {ICSE 2007 Companion: Companion of the proceedings of
the 29th International Conference on Software
Engineering, Minneapolis, USA},
month = {May},
year = 2007,
note = {Informal Research Demo.},
pages = {61--62},
doi = {10.1109/ICSECOMPANION.2007.79},
publisher = {IEEE Computer Society Press},
}
@inproceedings{bsmps:fsen07,
author = {Domenico Bianculli and Paola Spoletini and Angelo
Morzenti and Matteo Pradella and Pierluigi {San
Pietro}},
title = {Model checking temporal metric specification with
{Trio2Promela}},
booktitle = {Proceedings of International Symposium on
Fundamentals of Software Engineering (FSEN 2007),
Teheran, Iran},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = 2007,
pages = {388--395},
volume = 4767,
month = {April},
doi = {10.1007/978-3-540-75698-9_26},
}
This file has been generated with bibtex2html and sed
