1 Stefano Marrone assistant professor in Computer Engineering Dipartimento di Matematica e Fisica Seconda Università di Napoli Positions: 2008-today: assistant professor at Seconda Università di Napoli; : software/safety engineer at Ansaldo Segnalamento Ferroviario/AnsaldoSTS; : post-degree junior researcher at Dipartimento di Informatica e Sistemistica of Università Federico II di Napoli. Research topics: Research activities focus attention on improving design and verification processes of critical computer-based systems: mission and safety-critical systems (rail, automotive, avionics,...); complex networked systems (advanced communication systems, sensor networks); software engineering for critical systems; critical infrastructure protection. Research is mainly conducted by the use of formal methods and in particular by the combined use of different formal languages (multiformalism) and model driven techniques. Education: 2006: Ph.D. in Electronic Engineering at Seconda Università di Napoli (Italy). Dissertation: A Model Engineering approach for Complex and Critical Computer-based Systems 2002: master degree in Computer Engineering at Università Federico II di Napoli (Italy). Dissertation: Petri Net based object models for the analysis of complex systems (in italian) Research projects: 2014-today: investigator and leader of the task T5.1 (Definition of Scenarios and use cases for SPECS validation) in SPECS (Secure Provisioning of Cloud Services based on SLA Management), EU FP7 Cooperation in ICT in the period n today: investigator in CRYSTAL (Critical System Accelaration) ARTEMIS project, Call 2012, agreement number ; 2012-today: principal investigator of a research grant CeRICT - AnsaldoSTS in relation with MBAT (Combined Model-based Analysis and Testing of Embedded Systems ) ARTEMIS project, Call 2010 Project ; : researcher in IESWECAN research project (Informatics for Embedded SoftWare Engineering of Construction and Agricultural machines ) PON ; : invited researcher in METRIP (MEthodological Tool for Railway Infrastructure Protection) project, funded by European Community, CIPS 2010 (HOME/2010/CIPS/AG/035); : task leader of the design of a predictive software in outbound calls of a contact center as part of a private funded research project with Inova S.p.A. Aversa (CE) Italy; : researcher in project funded by the Italian Ministry of Education, University and Research (Ministero Istruzione, Universita' e Ricerca - MIUR) as
2 a PRIN for the year today: researcher in AGRIGENET project. Research activities are aimed at building a regional information system for the enhancement and tracking of plant species in Campania. The project is funded by the Campania region as part of the Rural Development Programme Main Scientific Collaborations: Research activities are conducted in collaboration with academic and industrial partners: Dip. di Informatica, Università del Piemonte Orientale (prof.ssa Giuliana Franceschinis); Dip. di Elettronica e Informazione, Politecnico di Milano (dott. Marco Gribaudo); Dep.to de Informatica e Ingenieria de Sistemas, Universidad de Zaragoza / Centro Universitario de la Defensa, Academia General Militar (prof. Josè Merseguer, prof.ssa Simona Bernardi); AnsaldoSTS (Italy) TS-RAMS, Innovation & Competitiveness Unit, SPP-SVI, SPP-RAMS; Inova S.p.A. (Italy); Fiat Group Auto (Italy); Professional experience: : engineer in the field of validation and verification of railway signaling systems (AnsaldoSTS): software engineer: testing of critical software systems (unit, integration and system testing); systems engineer: verifying assets driverless metro systems for RAMS (RAMS planning, hazard analysis, RAMS analysis, safety case,...); industrial researcher in the use of formal methods (Generalized Stochastic Petri Nets, Model Checking) for the formal verification of security and availability features of railway signaling systems; During this period, Stefano Marrone participated to various national and international railway projects: Italian High Speed Lines (Rome-Naples and Turin-Milan); Radio Block Centre, Italian interlocking; Command and Control System (remote controlled interlocking); ERTMS Board level 1 and level 2; driverless metro systems (Brescia, Rome, Milan, Thessaloniki). Current courses: : Reti Logiche e Programmazione ad Oggetti (Digital Circuit Design) for the bachelor degree in Electronic and Computer Engineering at the Seconda Università di Napoli; : Basi di Dati e Sistemi Informativi (Data Base and Information Systems) for the bachelor degree in Mathematics at the Seconda Università di Napoli; Past courses: : Sistemi Informativi per la Biotecnologie (Information Systems for Biotechnology) for the master degree in Food and Industrial Biotechnology at the Seconda Università di Napoli; : Laboratorio di Matematica modulo: Informatica (Fundamental of Programming) for the bachelor degree in Mathematics at the Seconda Università di Napoli; : Algoritmi e Strutture Dati (Algorithms and Data Structures) for the bachelor degree in Computer Engineering at the Seconda Università di Napoli; : Ingegneria del Software (Software Engineering) for the master degree in Computer Engineering at the Seconda Università di Napoli.
3 Other education experiences: May 2014: professor in Software for Mathematics and Physics Teaching (and other related courses) for the Percorsi Abilitanti Speciali (PAS) at Seconda Università di Napoli; September 2013: visiting professor at University of Zaragoza (Verification and Validation of Critical Systems); May 2013: professor in Software for Mathematics and Physics Teaching for the Tirocinio Formativo Abilitante (TFA) at Seconda Università di Napoli March 2013: professor in Modelling of Critical Infrastructure Protections for the post-degree master in Security and Intelligence System (Sintesys) at the CeRICT - Italy; March 2013: professor in CASE tools for the post-degree master in Software Engineering for Embedded Systems (IESWECANfarm) at the CeRICT Italy. March 2013: professor in Model Driven Engineering for the post-degree master in Software Engineering for Embedded Systems (IESWECANfarm) at the CeRICT Italy. Tutor/co-tutor of several theses (50+) in both Computer Engineering and Mathematics at both Seconda Università di Napoli and Università Federico II di Napoli. Tutor/co-tutor of the following Ph.D. thesis at the Università Federico II di Napoli (Ph.D. in Computer Engineering): C. Papa, Una Metodologia per la Modellazione Formale di Sistemi Critici Basata su Metodi e Tecniche di Model Driven Engineering, XXIII Ciclo Institutional experience: 2008-today: delegate at job placement for the Dipartimento di Matematica e Fisica, Seconda Università di Napoli Schools and other certifications: September 2011: Certification in instructor for aircraft maintainers (cat. A1-A4, cat. B1.1-B1.4) taken at VulcanAir Training in Naples; June 2010: International Marketing of New Technologies course, held by Joseph D.Fondacaro and Jane Muir, AUTM (The Association of University Technology Managers). Naples; May 2005: Engineering Safety Management Fundamentals and Guidance ('Yellow Book' level 4), London;
4 Scientific Publications: International journals J1. M. Gribaudo, M. Iacono, S. Marrone; Exploiting Bayesian Networks for the analysis of combined Attack Trees; to appear in Electronic Notes in Theoretical Computer Science, 2014 J2. S. Marrone, F. Flammini, N. Mazzocca, R. Nardone, V. Vittorini; Towards Model-Driven V&V assessment of railway control systems; International Journal on Software Tools for Technology Transfer, Springer, J3. F. Flammini, S. Marrone, M. Iacono, N. Mazzocca, V. Vittorini; A Multiformalism Modular Approach to ERTMS/ETCS Failure Modelling; International Journal of Reliability, Quality and Safety Engineering, World Scientific, J4. M. Iacono and S. Marrone, Telemaco: a language oriented tool for graph-based models layout optimization, Journal of Telecommunications and Information Technology (JTIT), vol. 4/2013, ISSN: J5. M. D'Arienzo, M. Iacono, R. Nardone and S. Marrone, Petri Net based Evaluation of Energy Consumption in Wireless Sensor Nodes, Journal of High Speed Networks, vol. 19(4), ; ISSN: IOS-Press. J6. S. Marrone, R. Nardone, A.Tedesco, P. D'Amore, V. Vittorini, R. Setola, F. De Cillis, N. Mazzocca, Vulnerability modeling and analysis for critical infrastructure protection applications, International Journal of Critical Infrastructure Protection (2013), J7. S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, V. Vittorini, Enabling the usage of UML in the verification of railway systems: The DAM-rail approach, Reliability Engineering & System Safety, 120( ), December 2013, ISSN , J8. S. Marrone, N. Mazzocca, R. Nardone, R. Presta, S.P. Romano, V. Vittorini; A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework; Transaction on Petri Nets and Other Models of Concurrency 6: (2012); J9. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini; A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance; in Journal of Reliability Engineering and System Safety, ISSN: , Volume 94, Issue 9, Book chapters BC1. V. Vittorini, S. Marrone, N. Mazzocca, R. Nardone, A. Drago; A Model-Driven Process for Physical Protection System Design and Vulnerability Evaluation; to appear in Railway Infrastructure Security, Springer, ISBN: BC2. S. Marrone, N. Mazzocca, C. Pragliola, A. Sforza, C. Sterle, V. Vittorini; The METRIP tool; to appear in Railway Infrastructure Security, Springer, ISBN: BC3. U. Gentile, S. Marrone, G. Mele, R. Nardone, A. Peron; Test Specification Patterns for Automatic Generation of Test Sequences; to appear in proceedings of FMICS 2014, Lecture Notes in Computer Science, vol (8718), September 2014 BC4. G. Barberio, B. Di Martino, N. Mazzocca, L. Velardi, A. Amato, R. De Guglielmo, U. Gentile, S. Marrone, R. Nardone, A. Peron, V. Vittorini; An Interoperable Testing Environment for ERTMS/ETCS control systems; to appear in proceedings of DECSoS 2014 workshop, Lecture Notes in Computer Science, vol (8696), September 2014 BC5. F. Flammini, U. Gentile, S. Marrone, R. Nardone, V. Vittorini; A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems; to appear in proceedings of SAFECOMP 2014, Lecture Notes in Computer Science, vol (8666), September 2014 BC6. F. Flammini, S. Marrone, N. Mazzocca, A. Pappalardo, C. Pragliola, V. Vittorini,
5 BC7. BC8. BC9. Trustworthiness Evaluation of Multi-Sensor Situation Recognition in Transit Surveillance Scenarios, Security and Cognitive Informatics for Homeland Defense (SeCIHD 2013) Conference, in proceedings of CD-ARES, volume 8128 of Lecture Notes on Computer Science, Springer Verlag, S. Marrone, N. Mazzocca, R. Nardone and V. Vittorini, Combining heterogeneity, compositionality and automatic generation in formal modelling, in Theory and Application of Multi-Formalism Modeling, IGI-Global, 2013, DOI: / , ISBN: R. Nardone and S. Marrone, A Complete Methodology to Evaluate Metro Systems Performability, in Theory and Application of Multi-Formalism Modeling, IGI-Global, 2013, DOI: / , ISBN: F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, Petri Net Modelling of Physical Vulnerability, in, proceedings of 6th International Conference on Critical Information Infrastructure Security (CRITIS 2011), Luzern (Switzerland) 8-9 September 2011, Lecture Notes on Computer Science vol 6983, pp , Springer-Verlag. BC10. F. Flammini, S. Marrone, N. Mazzocca, R. Nardone and V. Vittorini, Model-driven V&V processes for computer based control systems: a unifying perspective, in Lecture Notes on Computer Science, proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation October Amirandes, Heraclion, Crete BC11. S. Marrone, R. Nardone, A. Orazzo, I. Petrone and L. Velardi, Improving Verification Process in Driverless Metro Systems: the MBAT project, in Lecture Notes on Computer Science, proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation October Amirandes, Heraclion, Crete BC12. S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, V. Vittorini, Model-driven availability evaluation of railway control systems, in Lecture Notes on Computer Science, LNCS: proceedings of 30 th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), Naples (Italy) September BC13. E. Barbierato, M. Gribaudo, M. Iacono, S. Marrone; Performability modeling of exceptions-aware systems in multiformalism tools; in Lecture Notes on Computer Science, LNCS: proceedings of 18 th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 11) Venice (Italy) June BC14. S. Marrone, C. Papa, V. Vittorini; Multiformalism and transformation inheritance for dependability analysis of critical systems; in Lecture Notes on Computer Science, LNCS 6396: proceedings of 8 th Integrated Formal Methods Conference Nancy (France) October ISBN , pp BC15. M. Iacono, S. Marrone, N. Mazzocca, F. Moscato, V. Vittorini, Model Analysis of a Distributed Monitoring System using a Multi-Formalism Approach, In Proc. of 7th Workshop on State of the Art in Scientific Computing (PARA), Lyngby (Danemark) - June 2004, Revised Selected Papers, Springer 2006, ISBN: BC16. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca, V. Vittorini, Compositional modeling of complex systems: contact center scenarios in OsMoSys, In Proceedings of 25th International Conference on Application and Theory of Petri Nets (ATPN), Bologna (Italy) - June 2004, LNCS ISBN: , pp International conferences C1. U. Gentile, S. Marrone, N. Mazzocca, R. Nardone; A Cost-Energy Trade-off Model in Smart Energy Grids; accepted for publication in proceedings of 2nd International Workshop on Cloud and Distributed System Applications (CADSA), November 2014 C2. D. Amalfitano, N. Amatucci, A.R. Fasolino, U. Gentile, S. Marrone, G. Mele, R. Nardone, V. Vittorini; Improving Code Coverage in Android Apps Testing by Exploiting Patterns and
6 Automatic Test Case Generation; accepted for publication in proceedings of Fifth International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS 2014), ACM digital library, September C3. A. Drago, S. Marrone, N. Mazzocca, A. Tedesco, V. Vittorini; Model-driven estimation of distributed vulnerability in complex railway networks; in proceedings of 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013), IEEE-CS December C4. E. Battista, V. Casola, S. Marrone, N. Mazzocca, R. Nardone, V. Vittorini; An integrated lifetime and network quality model of large WSNs, in Measurements and Networking Proceedings (M&N), 2013 IEEE International Workshop on, pp.132,137, 7-8 Oct. 2013; C5. E. Battista, V. Casola, S. Marrone, N. Mazzocca, R. Nardone; A Compositional Modelling Approach for Large Sensor Networks Design; in proceeding of 3PGCIC-2013 conference, IEEE, October 2013; C6. M. D'Arienzo, M. Iacono, R. Nardone and S. Marrone, Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications, in proceedings of First International WorkShop on Energy-Aware Systems, Communications and Security (EASyCoSe 2013) in conjunction with the 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013), March 25-28, 2013, Barcelona, Spain C7. E. Barbierato, M. Iacono and S. Marrone, PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications, to appear in proceedings of 6th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012), October 9 12, 2012, Cargèse, France C8. M. Iacono, S. Marrone, E. Romano; Adaptive Monitoring of Marine Disasters with Intelligent Mobile Sensor Networks; in Proceedings of 2010 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS), IEEE Computers, C9. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, F. Moscato, V. Vittorini, Interfaces and Binding in Component Based Development of Formal Models, in Proc. of 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), ACM ISBN: , Pisa (Italy) - October 2009 C10. M. Iacono, S. Marrone, A Performance Driven Modelling Approach for SOA Based Application, In Proc. of European Simulation and Modelling Conference (ESMc), Le-Havre (France) - October 2008, ISBN: C11. R. Donini, S. Marrone, N. Mazzocca, A. Orazzo, D. Papa, S. Venticinque, Testing complex safety-critical systems in SOA context, In Proc. of 2nd International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), Barcelona (Spain) March 2008, IEEE Computers ISBN: C12. G. Di Lorenzo, F. Flammini, M. Iacono, S. Marrone, F. Moscato, V. Vittorini, The software architecture of the OsMoSys Multisolution Framework, In Proc. of 2nd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Nantes (France) - October 2007 ISBN: C13. F. De Carlo, M. Iacono, S. Marrone, Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems, In Proc. of 9th Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP), Florence (Italy) September 2007 ISBN: C14. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models, In Proc. of 18th European Safety and Reliability Conference (ESREL), Stavanger (Norway) - June 2007, Taylor & Francis - ISBN: C15. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, Modeling system reliability aspects of
7 ERTMS/ETCS by Fault Trees and Bayesian Networks, In Proc. of 17th European Safety and Reliability Conference (ESREL), Estoril (Portugal) - September 2006, Taylor & Francis - ISBN: C16. F. Flammini, M. Iacono, S. Marrone, N. Mazzocca, Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, pp , October 2005, ISBN: C17. M. Iacono, S. Marrone, N. Mazzocca, F. Moscato, Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology, In Proc. of European Simulation and Modelling Conference (ESMc), Paris (France) - October ISBN: C18. G. Franceschinis, S. Marrone, N. Mazzocca, V. Vittorini, SWN client-server composition operators in the OsMoSys framework, In Proc. of 10th International Workshop on Petri Nets and Performance Models (PNPM), Chicago (USA) - September 2003, IEEE ISBN: Editorial activity: Editorial Board: Journal of Computers (JCP) Academy Publisher; RSRS-BOOK Railway Safety, Reliability and Security: Technologies and Systems Engineering (IGI Global); Theory and Application of Multi-Formalism Modeling (IGI Global). Conference Chair: Social Networking and Mining track chair for the 5th International Conference on Emerging Intelligent Data and Web Technologies (EIDWT 2014) Intelligent Computing and Networking track chair for the 17th International Conference on Network Based Information Systems (NBiS 2014) Technical Committee Member: IEEE International Conference on Pervasive Intelligence and Computing (PI-Com 14); ACM/SPEC International Conference on Performance Engineering 2014 (ICPE 14); International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP) from 2013 to 2014; International Conference on Advances in System Simulation (SIMUL) from 2013 to 2014; International Conference on Performance, Safety and Robustness in Complex Systems and Applications 2014 (PESARO 14); Workshop on Research and Use of Multiformalism Modeling Methods (WRUMMM) in 2012 and 2014; European Simulation Conference (ESM) from 2008 to 2014; European Concurrent Engineering Conference (ECEC) from 2008 to 2014; Industrial Simulation Conference (ISC) from 2008 to 2014; IEEE International Conference on Autonomic and Trusted Computing (ATC) from 2013 to 2014; 10th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 13); International Conference on Consumer Electronics, Communications and Networks (CECNet 13); International Workshop on Non-functional Properties in Modeling: Analysis, Languages, Processes 2013 (NiM-ALP 13); International Workshop on Critical Computer Based Systems 2011 (CCBS 2011);
8 International Conference on Information Assurance and Security 2008 (IAS 2008). Organizing Committee: participation to organizing committee of 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), Naples (Italy) September 2011 Journal sexternal reviewer (last three years): IEEE Wireless Magazine - IEEE Computers; International Journal of Simulation Modelling - DAAAM International Vienna; IEEE Software - IEEE Computers; Advances in Software Engineering - Hindawi Publishing Corporation; International Journal of Simulation and Process Modelling (IJSPM) - Inderscience; International Journal of Critical Computer-Based Systems (IJCCBS) - Inderscience; Reliability Engineering & System Safety (RESS) - Elsevier; Chinese Journal of Aeronautics (CJA) Elsevier; International Journal of Eletrical Power and Energy Systems - Elsevier; The Computer journal Oxford University Press; International Journal of High Speed Networks IOS Press; International Journal of Software Tools and Technology Transfer Springer; Control Engineering Practice Elsevier; Security and Communication Networks Wiley; International Journal of Security and Its Applications (IJSIA) SERSC. Stefano Marrone Dipartimento di Matematica e Fisica, Seconda Università di Napoli viale Lincoln, Caserta, Italia tel: fax: skype: stefano.marrone.0 website: