 | 2011 |
|---|
| 9 |       | Enrico Barbierato,
Marco Gribaudo,
Mauro Iacono,
Stefano Marrone:
Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools.
ASMTA 2011: 257-272 |
| 8 | | Simona Bernardi,
Francesco Flammini,
Stefano Marrone,
José Merseguer,
Camilla Papa,
Valeria Vittorini:
Model-Driven Availability Evaluation of Railway Control Systems.
SAFECOMP 2011: 15-28 |
| 2010 |
|---|
| 7 | | Stefano Marrone,
Camilla Papa,
Valeria Vittorini:
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.
IFM 2010: 215-228 |
| 2009 |
|---|
| 6 | | Francesco Flammini,
Stefano Marrone,
Nicola Mazzocca,
Valeria Vittorini:
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Rel. Eng. & Sys. Safety 94(9): 1422-1432 (2009) |
| 2008 |
|---|
| 5 | | Renato Donini,
Stefano Marrone,
Nicola Mazzocca,
Antonio Orazzo,
Domenico Papa,
Salvatore Venticinque:
Testing Complex Safety-Critical Systems in SOA Context.
CISIS 2008: 87-93 |
| 2007 |
|---|
| 4 | | 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 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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 |
| 1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page