| 2008 |
|---|
| 9 | EE | Domenico Bianculli,
Carlo Ghezzi:
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
ASE Workshops 2008: 49-56 |
| 8 | EE | Domenico Bianculli,
Walter Binder,
Luigi Drago,
Carlo Ghezzi:
Transparent Reputation Management for Composite Web Services.
ICWS 2008: 621-628 |
| 2007 |
|---|
| 7 | EE | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 6 | EE | Domenico Bianculli,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion 2007: 61-62 |
| 5 | EE | Domenico Bianculli,
Radu Jurca,
Walter Binder,
Carlo Ghezzi,
Boi Faltings:
Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
ICSOC 2007: 449-455 |
| 4 | EE | Luciano Baresi,
Domenico Bianculli,
Carlo Ghezzi,
Sam Guinea,
Paola Spoletini:
A Timed Extension of WSCoL.
ICWS 2007: 663-670 |
| 3 | EE | Domenico Bianculli,
Carlo Ghezzi:
Monitoring conversational web services.
IW-SOSWE 2007: 15-21 |
| 2 | EE | Domenico Bianculli,
Carlo Ghezzi,
Paola Spoletini,
Luciano Baresi,
Sam Guinea:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Lipari Summer School 2007: 131-160 |
| 1 | EE | Domenico Bianculli,
Carlo Ghezzi,
Paola Spoletini:
A Model Checking Approach to Verify BPEL4WS Workflows.
SOCA 2007: 13-20 |
