| 2007 |
|---|
| 8 | 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 |
|---|
| 7 | EE | Francesco Flammini,
Nicola Mazzocca,
Mauro Iacono,
Stefano Marrone:
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems.
HASE 2005: 163-172 |
| 2004 |
|---|
| 6 | EE | Daniele Codetta Raiteri,
Mauro Iacono,
Giuliana Franceschinis,
Valeria Vittorini:
Repairable Fault Tree for the Automatic Evaluation of Repair Policies.
DSN 2004: 659-668 |
| 5 | EE | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Stefano Marrone,
Nicola Mazzocca,
Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
ICATPN 2004: 177-196 |
| 4 | 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 |
| 3 | EE | Valeria Vittorini,
Mauro Iacono,
Nicola Mazzocca,
Giuliana Franceschinis:
The OsMoSys approach to multi-formalism modeling of systems.
Software and System Modeling 3(1): 68-81 (2004) |
| 2002 |
|---|
| 2 | EE | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Nicola Mazzocca,
Valeria Vittorini:
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
Computer Performance Evaluation / TOOLS 2002: 233-238 |
| 1 | EE | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Valeria Vittorini,
C. Bertoncello:
DrawNet++: A Flexible Framework for Building Dependability Models.
DSN 2002: 540 |
