| 2007 |
|---|
| 5 | EE | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 4 | 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 |
| 3 | 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 |
| 2 | EE | Luciano Baresi,
Domenico Bianculli,
Carlo Ghezzi,
Sam Guinea,
Paola Spoletini:
A Timed Extension of WSCoL.
ICWS 2007: 663-670 |
| 1 | EE | Domenico Bianculli,
Carlo Ghezzi,
Paola Spoletini:
A Model Checking Approach to Verify BPEL4WS Workflows.
SOCA 2007: 13-20 |
