 | 2009 |
|---|
| 12 |       | Luciano Baresi,
Domenico Bianculli,
Sam Guinea,
Paola Spoletini:
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.
FMOODS/FORTE 2009: 26-40 |
| 11 | | Domenico Bianculli,
Walter Binder,
Mauro Luigi Drago,
Carlo Ghezzi:
ReMan: A pro-active reputation management infrastructure for composite Web services.
ICSE 2009: 623-626 |
| 2008 |
|---|
| 10 | | Domenico Bianculli,
Carlo Ghezzi:
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
ASE Workshops 2008: 49-56 |
| 9 | | Domenico Bianculli,
Walter Binder,
Mauro Luigi Drago,
Carlo Ghezzi:
Transparent Reputation Management for Composite Web Services.
ICWS 2008: 621-628 |
| 2007 |
|---|
| 8 | | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 7 | | Domenico Bianculli,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion 2007: 61-62 |
| 6 | | Domenico Bianculli,
Radu Jurca,
Walter Binder,
Carlo Ghezzi,
Boi Faltings:
Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
ICSOC 2007: 449-455 |
| 5 | | Luciano Baresi,
Domenico Bianculli,
Carlo Ghezzi,
Sam Guinea,
Paola Spoletini:
A Timed Extension of WSCoL.
ICWS 2007: 663-670 |
| 4 | | Domenico Bianculli,
Carlo Ghezzi:
Monitoring conversational web services.
IW-SOSWE 2007: 15-21 |
| 3 | | 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 |
| 2 | | Domenico Bianculli,
Carlo Ghezzi,
Paola Spoletini:
A Model Checking Approach to Verify BPEL4WS Workflows.
SOCA 2007: 13-20 |
| 1 | | Luciano Baresi,
Domenico Bianculli,
Carlo Ghezzi,
Sam Guinea,
Paola Spoletini:
Validation of web service compositions.
IET Software 1(6): 219-232 (2007) |
