| * | 2009 |
|---|
| 9 | EE | Francesco Flammini,
Nicola Mazzocca,
Antonio Orazzo:
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Softw. Test., Verif. Reliab. 19(2): 91-110 (2009) |
| 2008 |
|---|
| 8 | EE | Francesco Flammini,
Andrea Gaglione,
Nicola Mazzocca,
Concetta Pragliola:
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures.
CRITIS 2008: 180-189 |
| 7 | EE | Francesco Flammini,
Valeria Vittorini,
Nicola Mazzocca,
Concetta Pragliola:
A Study on Multiformalism Modeling of Critical Infrastructures.
CRITIS 2008: 336-343 |
| 2007 |
|---|
| 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 |
| 2006 |
|---|
| 5 | EE | Chiara Abbaneo,
Francesco Flammini,
Armando Lazzaro,
Pietro Marmo,
Nicola Mazzocca,
Angela Sanseviero:
UML Based Reverse Engineering for the Verification of Railway Control Logics.
DepCoS-RELCOMEX 2006: 3-10 |
| 2005 |
|---|
| 4 | EE | Giuseppe De Nicola,
Pasquale di Tommaso,
Rosaria Esposito,
Francesco Flammini,
Pietro Marmo,
Antonio Orazzo:
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
EDCC 2005: 305-317 |
| 3 | EE | Pasquale di Tommaso,
Francesco Flammini,
Armando Lazzaro,
Raffaele Pellecchia,
Angela Sanseviero:
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.
HASE 2005: 131-139 |
| 2 | 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 |
|---|
| 1 | EE | Giuseppe De Nicola,
Pasquale di Tommaso,
Rosaria Esposito,
Francesco Flammini,
Antonio Orazzo:
A Hybrid Testing Methodology for Railway Control Systems.
SAFECOMP 2004: 116-129 |
