Francesco Flammini

	2011
17		Francesco Flammini, Sandro Bologna, Valeria Vittorini: Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings Springer 2011
16		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
15		Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini: Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28
14		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
	2009
13		Francesco Flammini, Andrea Gaglione, Concetta Pragliola: Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance. ERCIM News 2009(78): (2009)
12		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)
11		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
10		Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Vincenzo Moscato, Concetta Pragliola: Wireless Sensor Data Fusion for Critical Infrastructure Security. CISIS 2008: 92-99
9		Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola: Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. CRITIS 2008: 180-189
8		Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola: A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343
7		Francesco Flammini, Nicola Mazzocca, Valeria Vittorini: New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News 2008(75): (2008)
	2007
6		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		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		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		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		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		Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo: A Hybrid Testing Methodology for Railway Control Systems. SAFECOMP 2004: 116-129

Coauthor Index

1	Chiara Abbaneo	[5]
2	Renato Baldelli	[14]
3	Simona Bernardi	[15]
4	Sandro Bologna	[17]
5	Rosaria Esposito	[1] [4]
6	Andrea Fiaschetti	[14]
7	Andrea Gaglione	[9] [10] [13]
8	Mauro Iacono	[2] [6]
9	Francesco Lavorato	[14]
10	Armando Lazzaro	[3] [5]
11	Giusy Di Lorenzo	[6]
12	Pietro Marmo	[4] [5]
13	Stefano Marrone	[2] [6] [12] [15]
14	Nicola Mazzocca	[2] [5] [7] [8] [9] [10] [11] [12] [16]
15	José Merseguer	[15]
16	Andrea Morgagni	[14]
17	Francesco Moscato	[6]
18	Vincenzo Moscato	[10]
19	Giuseppe De Nicola	[1] [4]
20	Antonio Orazzo	[1] [4] [11]
21	Andi Palo	[14]
22	Camilla Papa	[15]
23	Alfio Pappalardo	[16]
24	Raffaele Pellecchia	[3]
25	Concetta Pragliola	[8] [9] [10] [13] [16]
26	Angela Sanseviero	[3] [5]
27	Vincenzo Suraci	[14]
28	Andrea Taglialatela	[14]
29	Pasquale di Tommaso	[1] [3] [4]
30	Valeria Vittorini	[6] [7] [8] [12] [15] [16] [17]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page