Curriculum

Francesco MOSCATO Curriculum

Training and Education

23/12/2005 Ph.D in Electronic Engineering at Second University of Naples with the thesis: "Multisolution of Multiformalism Models: Formal Specification of The OsMoSys Framework.

29/05/2002 Master Degree in Computer Science Engineering at University Of Naples "Federico II" (Italy) with the thesis (in Italian) "Realizzazione e Validazione di un sistema remoto per il controllo di una cella robotizzata"

1995: Scientific maturity achieved at the Liceo Scientifico "Pythagoras" of Torre Annunziata in 1995.Final vote: 60/60.

Qualified Engineer in 2002 at the University of University of Naples "Federico II". Rating: 19/20

Professional Experience and Scholarships

November 2006 - October 2008 Research Fellow at "Informatica e Sistemistica" Department at University of Naples "Federico II" in Discipline: METHODOLOGIES AND TECHNOLOGIES FOR ACCESS AND SAFETY PERFORMANCE EVALUATION OF GRID SYSTEMS, Project SCOPE

September 2007 - March 2007: Coordinated and Collaboration Agreement Continued management of E-Learning platform of the Second University of Naples in the project POR Campania 2000 2006 Misura 3.22 Action i.

September 2007: Occasional Collaboration Agreement for the design E-Learning platform of the Second University of Naples in the project POR Campania 2000 2006 3.22 Measure, Action i

Scientific Activities

Francesco Moscato works in the "PARSEC" research Group of the Department of Information Engineering at Second University of Naples and in the Department of European Studies and Mediterranean.
His research activities are focused on the following topics:
• Methods, Models and techniques based on formal methods for analysis and verification of Critical Systems
• Methods, techniques and languages ​​for service composition with applications to Web services, distributed computing, and HPC
• Semantic-based Models and Annotations applied to document processing, to distributed computing and to high-performance computing.


Scientific Collaborations

As part of research activities Francesco Moscato has established several collaborations with other universities and scientific research and industrial institutes:

- Dip. di Informatica e Sistemistica della Università di Napoli “Federico II”.
- Dipartimento dell'Informazione della Seconda Università di Napoli
- Dip. di Informatica dell'Università del Piemonte Orientale
- ATOS Origin S.p.a , Napoli
- ANSALDO Signal, Napoli
- CIRA, Centro Italiano Ricerche AereoSpaziali, Capua.

Participation in research projects

The research activity is part of a series of research projects, including:

- "Serviceware" Project in collaboration with ATOS Origin Spa, for the definition of a workflow language for describing VAS services consisting of several orchestrated components

- Francesco Moscato is the Task Leader for the European project "Mosaic" (EU FP7-ICT program, project under grant # 256910), in this task T1.2-Cloud ontology and ontological resource representation.

- Francesco Moscato participated in the project LC3, Public Private Laboratory, with the definition of a semantic annotation model for document-based and multimedia resources and with the development of a graphical tool that would support it.



Organizing Activities and Program Committee for International Conferences:

- Member of the Organizing Committee del Workshop on Grid Engine. Giugno
2003, Caserta, Italia.
- Member of the Organizing Committee di ESM2003 European Simulation and
Modeling Conference. Ottobre 2003, Napoli, Italia.
- Session Chair in ESM2003 European Simulation and Modelling Conference. Ottobre 2003, Napoli, Italia.
- Session Chair in PARA 04 International Conference, June 2004, Copenaghen, Danimarca.
- Member of the Organizing Committee of the High Performance Computing and Communication (HPCC05) Conference, Sept. 23-25 2005, Sorrento, Italy
- Member of the organizing committee of the EuroPVMMPI 2005 International conference, Sept. 21-22 2005, Sorrento, Italy
- Member of the Program Committee of the High Performance Computing and Communication (HPCC05) Conference, Sept. 23-25 2005, Sorrento, Italy
- Member of the Program Committee of the ESM05 European Simulation and Modelling Conference. Porto, Portogallo Oct. 24-26 2005.
- Member of the Program Committee of the ESM06 European Simulation and Modelling Conference. Oct. 23-25 2006, LAAS, Toulouse, France.
- Member of the Program Committee of the ISPA06 International Symposium on Parallel and Distributed Processing and Application 2006. Sorrento, Italy, Dec. 4-6 2006.
- Member of the Program Committee of the Ubiquitous Intelligence and Computing (UIC) 2006 Conference, China, 2006

Francesco Moscato was member of the Program Committee of the following international conferences and journal:
- PDP2004 12-th Euromicro Conference on Parallel, Distributed and Network based Processing, A Coruña - Spain February, 2004.
- IEEE Distributed System, Special Issue On Data Management, I/O Techniques, and Storage Systems for Large-Scale Data Intensive Applications.
- FLAIRS 04 The 17th International FLAIRS Conference - Miami Beach, Florida May 17-19, 2004.
- EUROPAR2004 ,31th Aug, 3rd Sept. University of Pisa, Italy
- PACT04
- ISPA04 : Second International Symposium on Parallel and Distributed Processing and Applications, Hong Kong, China, 13-15 Dec. 2004.
- International Journal of High Performance Computing and Networking (IJHPCN)
- CIT2004 - The 4th International Conference on Computer and Information Technology Wuhan, China, 14-16 September 2004.
- PARA'04 - Copenhagen, Denmark, June 20-23, 2004.
- ICCS 2005 International Conferenceon Computational Science, May 22-25, 2005, Emory University, Atlanta, USA.
- EGC 05 -European Grid Conference, February 14 -16 2005, Science Park Amsterdam, The Netherlands.
- CCGRID 2005 -International Conference on Cluster Computing and Grid 2005, 9 - 12 May 2005 (Cardiff, UK).
- HASE 05 - The 9th IEEE International Symposium on High Assurance Systems Engineering Conference, Heidelberg, Germany, October, 2005.
- CCGRID 2006
- ISPA05 : Third International Symposium on Parallel and Distributed Processing and Applications, Naples, Italy, Dec. 2006.
- International Journal on High Performance Computing (IJHPC). Sage Publication, Editors: Dongarra J., Keyes D.E.
- ESMC 2005: European Simulation and Modeling conference, Porto, Portugal, 24-26 Oct. 2005.
- ESMC 2006 European Simulation and Modeling Conference : Oct 23-25 2006, LAAS, Toulouse, France.
- ISPA 06 Conference
- AINA 2006 Conference
- ICCSA 2006 Conference
- EUROPAR 2006 Conference
- ISPDC 2006 Conference
- PDSEC-09 10th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing. May 25-29, 2009 ~ Rome, Italy
- PDSEC-10 11th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing. April 19-23, 2010 ~ Atlanta, USA
- PDSEC-11 12th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing. May 16-20, 2010 ~ Anchorage, Alaska, USA
- SPEDA2010 1st International Workshop on Security and Performance in Emerging Distributed Architectures (SPEDA2010) August 23 - 25, 2010 – Atlanta
- IAS2010 6th International Conference On Information Assurance and Security, Atalanta, USA, 23-25 Aug. 2010
- IAS2011 7th International Conference On Information Assurance and Security, Malacca, Malaysia, 5-8 Dec. 2011
- CISIS-2011 The Fifth International Conference on Complex, Intelligent, and Software Intensive Systems, June 30th-July 2nd, 2011 Korean Bible University (KBU), Seoul, Korea , Track 8: Semantic Web, Web Services and Data Integration.
- MESM'2009, Middle Eastern Simulation and Modelling Conference, September 27-29, 2009, Lebanese American University, Beirut, Lebanon.
- MESM'2010, Middle Eastern Simulation and Modelling Conference December 1-3, 2010, Alexandria, Egypt,


Teaching
Francesco Moscato is assistant professor in the faculties of Engineering and of Political Studies of the Second University of Naples. He teaches in the Courses :
"Sistemi Web e Basi di Dati"; "Macchine per l'elaborazione delle Informazioni", "Calcolatori Elettronici" "Sistemi Informatici Orientati ai servizi in rete per le PP.AA.", "Fondamenti di Informatica".


Publications:

Pubblicazioni in riviste internazionali
1. Mancini E., Villano U., Rak M.., Moscato F. “Simulation-based optimization of Multiple-task GRID Applications”. in Internationa Jounal on Future Generation Computer Systems, Volume 24 , Issue 6 (June 2008), Pages 594-604, ISSN:0167-739X, Elsevier.

2. Moscato F., Di Lorenzo G., Mazzocca N., Vittorini V. “Towards Semantics Driven Generation of Executable Web Services Compositions” In the Journal of Software, Academy Publisher, Vol2, issue 5, 1-15, Nov 2007, ISSN: 1796-217X.

3. Moscato F., Vittorini V., Amato F., Mazzocca N. Mazzeo A.: “Solution Workflows for Model-Based Analysis of Complex Systems”, to appear IEEE Transaction on Automation Science and Engineering, Issue 99, ISSN 1545-5955, DOI:10.1109/TASE.2011.2161981 (Online Version already available on IEEE)

4. F. Moscato, B. Di Martino, S.Venticinque, A.Martone, “OverFA: A collaborative Framework for Semantic Annotation of Documents and Web Sites ”. International Journal of Web and Grid Services, Volume 5, Number 1, 17 March 2009 , pp. 30-45(16), Inderscience, ISSN: 1741-1106

5. F. Flammini, N. Mazzocca, F. Moscato, A. Pappalardo, C. Pragliola, V. Vittorini. “Multiformalism techniques for critical infrastructure modelling”, in International Journal of System of Systems Engineering (IJSSE), Volume 2, Number 1 / 2010 Pages: 19 – 37 DOI: 10.1504/IJSSE.2010.035379

6. F.Moscato, B.Di Martino: “Semantic Web and Semantic Information Management”, Int. J. Web and Grid Services, Vol. 4, No. 3, Nov. 2008, pp.247-250, ISSN: 1741-1106

7. Iacono M., Marrone S., Mazzocca N., Moscato F., Vittorini V. “A Model Analysis of a Distributed Monitornig System using a Multi-Formalism Approach”. LNCS 3732 Applied Parallel Computing, State of the Art in Scientific Computing, Proceedings of 7th International Workshop PARA'04, June 20-23, 2004, Copenhagen, Denmark, Springer-Verlag proceedings in Lecture Notes in Computer Science. ISSN 0302-9743.

8. Moscato F., Mazzocca N., Vittorini V., Di Lorenzo G., Mosca P., Magaldi M.: Workflow Pattern Analysisin Web Services Orcherstration: The BPEL4WS Example. LNCS 3276 : High Performance Computing Communication, Proc. of First International Conference on High Performance Computing and Communications HPCC 2005. Sept. 21-25 2005, Sorrento, Italy. ISSN 0302-9743.

9. Francesco Moscato, Rocco Aversa, Beniamino Di Martino, Dana Petcu, Massimiliano Rak, and Salvatore Venticinque: “An Ontology for the Cloud in mOSAIC”, to be pubished (Aug. 2011) in Cloud Computing: Methodology, Systems, and Applications, Editors: Lizhe Wang, Rajiv Ranjan, Jinjun Chen, Boualem Benatallah CRC, Taylor & Francis group.

10. Moscato F., Iacono M., Mazzocca N., “Coupling formal methods in a performance modelling methodology for etherogeneous supervisory systems”, in proc. of the European Simulation and Modeling conference 2003, 27-29 October, 2003, Naples, Italy. ISBN 90-77381-04-X.

11. Iacono M., Marrone S., Mazzocca N., Moscato F. “Modeling Distributed supervisory systems using a modular multi-formalism methodology” in Proc. of the European Simulation and Modeling Conference 2004, 25-27 Oct 2004, ISBN 90-77381-14-7, Paris, France.

12. Moscato F . Mazzocca N., Vittorini V. “Workflow principles applied to Multi-Solution Analysis of Dependlable Distributed Systems”, in proc. of 12th Euromicro conference on parallel, distributed and network-based processing, A Coruna, Spain, feb. 11-13 2004. ISBN 0-7695-2083-9.

13.Moscato F. , Mazzocca N. , Vittorini V. , Gribaudo M. Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework, in the proceedings of the 2nd International Conference on the Quantitative
Evaluation of Systems (QEST) 2005, Sept. 19-22 2005, Torino, Italy. ISBN: 0-7695-2427-3.

14.Moscato F., Venticinque S., Di Martino B., Aversa R., Mazzocca N.: “Enabling Mobile Agents transparent execution context migration through Globus services” .In Proc. of 1st Austrian Grid Symposium. Schloss Haganberg, Austria. December 01-02, 2005, ISBN: 3-85403-210-2.

15.Di Lorenzo G., Moscato F., Mazzocca N., Vittorini V.: “Automatic Analisys of control Flow in Web Services Composition processes”. In Proc. Of 15.th IEEE Euromicro international conference on Parallel, distributed and Network-based processing. Naples, Italy, Feb. 7-9 2007, ISSN 1066-6192, ISBN-10 0-7695-2784-1, ISBN-13 07695-2784-1.

16. Moscato F., Flammini F., Di Lorenzo G., Vittorini V., Marrone S., Iacono M.: “The software architecture of the OsMoSys Multisolution Framework” in Peter W. Glynn (Ed.): Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007. ACM International Conference Proceeding Series ACM 2007, ISBN 978-963-9799-00-4 .

17. Francesco Moscato, Salvatore Venticinque, Rocco Aversa, and Beniamino Di Martino, “Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework ”, in Proc. of 2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Catania, Settembre 2008, Note: ISBN 3540852565 .

18. Di Martino Beniamino, Martone Angelo, Moscato Francesco, Venticinque Salvatore, “A versioning based framework for semantic annotation of Web documents: OverFA”, in Proceedings of "MTISD 2008. Methods, Models and Information Technologies for Decision Support Systems" - Università del Salento, Lecce, 18 - 20 September 2008; pp. 110-112, ISBN 978-88-8305-061-9

19. Francesco Moscato, Valeria Vittorini, Stefano Marrone, Mauro Iacono, Giuliana Franceschinis and Marco Gribaudo. “Interfaces and Binding in Component Based Development of Formal Models”, in Proc. Of IEEE/ACM 4th International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2009, Oct. 20-22, 2009, Pisa, Italy. ICST, Brussels, Belgium, ISBN: 978-963-9799-70-7 DOI:10.4108/ICST.VALUETOOLS2009.7677

20. Beniamino Di Martino , Francesco Moscato, "Automatic semantic annotation of documents with Neural Networks.": Proc. of VI ITIAS Conference, Olbia, 2-4 Oct. 2009 ISBN: 978-88-6105-060-0.

21. Francesco Moscato, Giusy Di Lorenzo, Nicola Mazzocca, Valeria Vittorini, "Automating web service composition in e-government processes", in Proc. Of IES 09 Conference, June, 24-26, 2009, Brescia, Italy, ISBN: 8888971173, ISBN-13 9788888971179.

22. Beniamino Di Martino, Francesco Moscato, "An Ontology based methodology for automated algoritms recognition in source code", in Proc. of IEEE Computer Society Conference Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), 2010, Krakow, Date: 15-18 Feb. 2010 On page(s): 1111 – 1116 Print ISBN: 978-1-4244-5917-9 DOI: 10.1109/CISIS.2010.145.

23. Editor of the International Journal of Web and Grid Services (IJWGS) , ISSN (Online): 1741-
1114, ISSN (Print): 1741-1106: “Special Issue on Web/Grid Information and Services Discovery and Management “, Vol.4, No3.

24.G.Civitillo, B. Di Martino, F.Moscato, S.Selvaggi, V.Sica, G. Sicignano: “ E-
Learning, Modelli e Tecnologie”, ISBN: 9788838666063, Editore, MCGraw-Hill,
Pub Date: February 2008, 107 pagine

25. Aversa, Di Martino, Moscato, Venticinque - “Modellazione e Verifica di Sistemi Multi-Agente Real-Time: Il Framework REMM”, WOA 2009 Decimo Workshop Nazionale "Dagli Oggetti agli Agenti" Verso il Futuro dei Sistemi Software Basati su Agenti Parma, 9-10 Luglio 2009, Demo Session

26. Imperatore, Moscato, Guida, Ruello, Iodice, Riccio, Mazzocca, Franceschetti “Strumento su piattaforma GRID per la Predizione del campo elettromagnetico in aree urbane”, Conferenza Nazionale Italian e-Science
2008 IES08, 27-29 maggio 2008, Napoli.

27.Moscato, Mazzocca, Imperatore, Franceschetti, Guida: “COSCA: una architettura per l'analisi di campi elettromagnetici su scala geografica in ambienti e-science basati su GRID”, Conferenza Nazionale Italian e-Science 2008 IES08, 27-29 maggio 2008, Napoli.

28. G. Civitillo, B. Di Martino, F. Moscato, S. Selvaggi, V. Sica, G. Sicignano "Percorsi di formazione a distanza: dalla progettazione alla realizzazione", Didamatica 2008, Taranto, Apr. 28-30, 2008. ISBN: 978-88-8231-456-9.

29.Beniamino Di Martino, Rocco Aversa, Francesco Moscato, Salvatore Venticinque, "Gestione semantica ed adattativa per la fruizione dei Contenuti Culturali nel Progetto LC3", Poster Session, Conferenza GARR 2009 "Network Humanitatis - linguaggi, risorse, persone", Napoli dal 30 Settembre al 2 Ottobre 2009.