The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francesco Flammini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero
    UML Based Reverse Engineering for the Verification of Railway Control Logics. [Citation Graph (0, 0)][DBLP]
    DepCoS-RELCOMEX, 2006, pp:3-10 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    EDCC, 2005, pp:305-317 [Conf]
  3. Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone
    Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:163-172 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:131-139 [Conf]
  5. Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo
    A Hybrid Testing Methodology for Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:116-129 [Conf]

  6. Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. [Citation Graph (, )][DBLP]


  7. A Study on Multiformalism Modeling of Critical Infrastructures. [Citation Graph (, )][DBLP]


  8. The software architecture of the OsMoSys multisolution framework. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002