| 2009 |
|---|
| 9 | EE | Francesco Moscato,
Beniamino Di Martino,
Salvatore Venticinque,
Angelo Martone:
OVerFA: a collaborative framework for the semantic annotation of documents and websites.
IJWGS 5(1): 30-45 (2009) |
| 2008 |
|---|
| 8 | EE | Francesco Moscato,
Salvatore Venticinque,
Rocco Aversa,
Beniamino Di Martino:
Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.
IDC 2008: 187-196 |
| 2007 |
|---|
| 7 | EE | Giusy Di Lorenzo,
Francesco Moscato,
Nicola Mazzocca,
Valeria Vittorini:
Automatic Analysis of Control Flow inWeb Services Composition Processes.
PDP 2007: 299-306 |
| 6 | 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 |
| 5 | EE | Giusy Di Lorenzo,
Nicola Mazzocca,
Francesco Moscato,
Valeria Vittorini:
Towards Semantics Driven Generation of Executable Web Services Compositions.
JSW 2(5): 1-15 (2007) |
| 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- |
