 | 2011 |
| 11 |  | Enrico Barbierato,
Marco Gribaudo,
Mauro Iacono,
Stefano Marrone:
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools.
ASMTA 2011: 257-272 |
| 10 |  | Enrico Barbierato,
Marco Gribaudo,
Mauro Iacono:
Defining Formalisms for Performance Evaluation With SIMTHESys.
Electr. Notes Theor. Comput. Sci. 275: 37-51 (2011) |
| 2010 |
| 9 |  | Mauro Iacono,
Marco Gribaudo:
Element Based Semantics in Multi Formalism Performance Models.
MASCOTS 2010: 413-416 |
| 2007 |
| 8 |  | 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 |  | 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 |  | Daniele Codetta Raiteri,
Mauro Iacono,
Giuliana Franceschinis,
Valeria Vittorini:
Repairable Fault Tree for the Automatic Evaluation of Repair Policies.
DSN 2004: 659-668 |
| 5 |  | 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 |  | 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 |  | 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 |  | 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 |  | Giuliana Franceschinis,
Marco Gribaudo,
Mauro Iacono,
Valeria Vittorini,
C. Bertoncello:
DrawNet++: A Flexible Framework for Building Dependability Models.
DSN 2002: 540 |