| 2007 |
| 6 | EE | Giusy Di Lorenzo,
Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Automatic Analysis of Control Flow inWeb Services Composition Processes.
PDP 2007: 299-306 |
| 5 | EE | Francesco Moscato,
Francesco Flammini,
Giusy Di Lorenzo,
Valeria Vittorini,
Stefano Marrone,
Mauro Iacono:
The software architecture of the OsMoSys multisolution framework.
VALUETOOLS 2007: 51 |
| 2005 |
| 4 | EE | Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini,
Giusy Di Lorenzo,
Paola Mosca,
Massimo Magaldi:
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.
HPCC 2005: 395-400 |
| 3 | EE | Marco Gribaudo,
Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
QEST 2005: 85-94 |
| 2004 |
| 2 | EE | Mauro Iacono,
Stefano Marrone,
Nicola Mazzocca,
Francesco Moscato,
Valeria Vittorini:
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
PARA 2004: 499-508 |
| 1 | EE | Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
PDP 2004: 134- |