- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j6 |      | Mariana Esposito, Andrea Fiaschetti, Francesco Flammini: The New SHIELD Architectural Framework. ERCIM News 2013(93) (2013) |
| i2 | | Francesco Flammini, Nicola Mazzocca, Antonio Orazzo: Automatic instantiation of abstract tests on specific configurations for large critical control systems. CoRR abs/1303.2966 (2013) |
| i1 | | 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. CoRR abs/1304.6656 (2013) |
| 2012 | ||
| j5 | | Francesco Flammini: On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report. IJCCBS 3(3): 229-244 (2012) |
| c17 | | Angelo Cozzolino, Francesco Flammini, Valentina Galli, Mariangela Lamberti, Giovanni Poggi, Concetta Pragliola: Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance. ACIVS 2012: 142-154 |
| c16 | | Valentina Casola, Mariana Esposito, Nicola Mazzocca, Francesco Flammini: Freight Train monitoring: A Case-Study for the pSHIELD Project. IMIS 2012: 597-602 |
| c15 | | Alessandro Fantechi, Francesco Flammini, Stefania Gnesi: Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189 |
| c14 | | Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini: Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) 2012: 190-204 |
| 2011 | ||
| c13 | | Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini: Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. ARES 2011: 191-204 |
| c12 | | Francesco Flammini, Concetta Pragliola, Alfio Pappalardo, Valeria Vittorini: A robust approach for on-line and off-line threat detection based on event tree similarity analysis. AVSS 2011: 414-419 |
| c11 | | Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini: Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28 |
| c10 | | Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini: On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. SAFECOMP 2011: 467-479 |
| e1 | | Francesco Flammini, Sandro Bologna, Valeria Vittorini (Eds.): Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6894, Springer 2011, isbn 978-3-642-24269-4 |
| 2009 | ||
| j4 | | Francesco Flammini, Andrea Gaglione, Concetta Pragliola: Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance. ERCIM News 2009(78) (2009) |
| j3 | | 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) |
| j2 | | 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 | ||
| j1 | | Francesco Flammini, Nicola Mazzocca, Valeria Vittorini: New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News 2008(75) (2008) |
| c9 | | Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Vincenzo Moscato, Concetta Pragliola: Wireless Sensor Data Fusion for Critical Infrastructure Security. CISIS 2008: 92-99 |
| c8 | | Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola: Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. CRITIS 2008: 180-189 |
| c7 | | Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola: A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343 |
| 2007 | ||
| c6 | | 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 | ||
| c5 | | 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 | ||
| c4 | | 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 |
| c3 | | 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 |
| c2 | | 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 | ||
| c1 | | Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo: A Hybrid Testing Methodology for Railway Control Systems. SAFECOMP 2004: 116-129 |
Colors in the list of coauthors
Last update Sat May 18 22:30:17 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page