Francesco MOSCATO | Pubblicazioni
Francesco MOSCATO Pubblicazioni
2021 | |
Articolo in rivista | |
CAN-Bus Attack Detection with Deep Learning IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS. Vol. 22. Pag.5081-5090 ISSN:1524-9050. | |
Amato, F.; Coppolino, L.; Mercaldo, F.; Moscato, F.; Nardone, R.; Santone, A. | |
Digital Object Identifier (DOI): 10.1109/TITS.2020.3046974 Codice identificativo ISI: WOS:000684003100032 Codice identificativo SCOPUS: 2-s2.0-85099723457 | |
Visualizza sul Database dei Prodotti (IRIS) |
2021 | |
Articolo in rivista | |
Cognitive Analysis in Social Networks for Viral Marketing IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. Vol. 17. Pag.6162-6169 ISSN:1551-3203. | |
Castiglione, A.; Cozzolino, G.; Moscato, F.; Moscato, V. | |
Digital Object Identifier (DOI): 10.1109/TII.2020.3026013 Codice identificativo ISI: WOS:000663538800031 Codice identificativo SCOPUS: 2-s2.0-85097319615 | |
Visualizza sul Database dei Prodotti (IRIS) |
2021 | |
Articolo in rivista | |
Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain NEUROCOMPUTING. Vol. 444. Pag.79-91 ISSN:0925-2312. | |
Amato, F.; Coppolino, L.; Cozzolino, G.; Mazzeo, G.; Moscato, F.; Nardone, R. | |
Digital Object Identifier (DOI): 10.1016/j.neucom.2020.08.091 Codice identificativo ISI: WOS:000648645800001 Codice identificativo SCOPUS: 2-s2.0-85101877123 | |
Visualizza sul Database dei Prodotti (IRIS) |
2021 | |
Articolo in rivista | |
A Security and Privacy Validation Methodology for e-Health Systems ACM TRANSACTIONS ON MULTIMEDIA COMPUTING, COMMUNICATIONS AND APPLICATIONS. Vol. 17. Pag.1-22 ISSN:1551-6857. | |
Amato, F.; Casola, V.; Cozzolino, G.; De Benedictis, A.; Mazzocca, N.; Moscato, F. | |
Digital Object Identifier (DOI): 10.1145/3412373 Codice identificativo ISI: WOS:000667464100009 Codice identificativo SCOPUS: 2-s2.0-85108559720 | |
Visualizza sul Database dei Prodotti (IRIS) |
210188A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment
2021 | |
Articolo in rivista | |
A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. Vol. 17. Pag.7752-7759 ISSN:1551-3203. | |
Amato, F.; Cozzolino, G.; Moscato, F.; Moscato, V.; Xhafa, F. | |
Digital Object Identifier (DOI): 10.1109/TII.2021.3057595 Codice identificativo ISI: WOS:000679533900056 Codice identificativo SCOPUS: 2-s2.0-85100856681 | |
Visualizza sul Database dei Prodotti (IRIS) |
2020 | |
Articolo in rivista | |
An agent-based approach for recommending cultural tours PATTERN RECOGNITION LETTERS. Vol. 131. Pag.341-347 ISSN:0167-8655. | |
Amato, F.; Moscato, F.; Moscato, V.; Pascale, F.; Picariello, A. | |
Digital Object Identifier (DOI): 10.1016/j.patrec.2020.01.005 Codice identificativo ISI: WOS:000521971700046 Codice identificativo SCOPUS: 2-s2.0-85078235683 | |
Visualizza sul Database dei Prodotti (IRIS) |
2020 | |
Articolo in rivista | |
An abstract reasoning architecture for privacy policies monitoring FUTURE GENERATION COMPUTER SYSTEMS. Vol. 106. Pag.393-400 ISSN:0167-739X. | |
Amato, Flora; Coppolino, Luigi; D'Antonio, Salvatore; Mazzocca, Nicola; Moscato, Francesco; Sgaglione, L. | |
Digital Object Identifier (DOI): 10.1016/j.future.2020.01.019 Codice identificativo ISI: WOS:000527320000031 Codice identificativo SCOPUS: 2-s2.0-85077942480 | |
Visualizza sul Database dei Prodotti (IRIS) |
2020 | |
Articolo in rivista | |
Exploiting Workflow Languages and Semantics for Validation of Security Policies in IoT Composite Services IEEE INTERNET OF THINGS JOURNAL. Vol. 7. Pag.4655-4665 ISSN:2327-4662. | |
Amato, F.; Casola, V.; Cozzolino, G.; De Benedictis, A.; Moscato, F. | |
Digital Object Identifier (DOI): 10.1109/JIOT.2019.2960316 Codice identificativo ISI: WOS:000536066300085 Codice identificativo SCOPUS: 2-s2.0-85084920134 | |
Visualizza sul Database dei Prodotti (IRIS) |
2019 | |
Articolo in rivista | |
Generation of game contents by social media analysis and MAS planning COMPUTERS IN HUMAN BEHAVIOR. Vol. 100. Pag.286-294 ISSN:0747-5632. | |
Amato, F.; Moscato, F.; Xhafa, F. | |
Digital Object Identifier (DOI): 10.1016/j.chb.2019.02.030 Codice identificativo ISI: WOS:000484871400028 Codice identificativo SCOPUS: 2-s2.0-85062386729 | |
Visualizza sul Database dei Prodotti (IRIS) |
2019 | |
Articolo in rivista | |
Analyse digital forensic evidences through a semantic-based methodology and NLP techniques FUTURE GENERATION COMPUTER SYSTEMS. Vol. 98. Pag.297-307 ISSN:0167-739X. | |
Amato, F.; Cozzolino, G.; Moscato, V.; Moscato, F. | |
Digital Object Identifier (DOI): 10.1016/j.future.2019.02.040 Codice identificativo ISI: WOS:000503818800032 Codice identificativo SCOPUS: 2-s2.0-85063690160 | |
Visualizza sul Database dei Prodotti (IRIS) |
2019 | |
Articolo in rivista | |
Detect and correlate information system events through verbose logging messages analysis COMPUTING. ISSN:0010-485X. | |
Amato, Flora; Cozzolino, Giovanni; Mazzeo, Antonino; Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1007/s00607-018-0662-1 Codice identificativo ISI: WOS:000472037800006 Codice identificativo SCOPUS: 2-s2.0-85053811288 | |
Visualizza sul Database dei Prodotti (IRIS) |
2018 | |
Articolo in rivista | |
Improving security in cloud by formal modeling of IaaS resources FUTURE GENERATION COMPUTER SYSTEMS. Vol. 87. Pag.754-764 ISSN:0167-739X. | |
Amato, Flora; Moscato, Francesco; Moscato, Vincenzo; Colace, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.future.2017.08.016 Codice identificativo ISI: WOS:000437997500064 Codice identificativo SCOPUS: 2-s2.0-85028364880 | |
Visualizza sul Database dei Prodotti (IRIS) |
2018 | |
Articolo in rivista | |
Model driven design and evaluation of security level in orchestrated cloud services JOURNAL OF NETWORK AND COMPUTER APPLICATIONS. Vol. 106. Pag.78-89 ISSN:1084-8045. | |
Amato, Flora; Mazzocca, Nicola; Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.jnca.2017.12.006 Codice identificativo ISI: WOS:000428095700006 Codice identificativo SCOPUS: 2-s2.0-85040120883 | |
Visualizza sul Database dei Prodotti (IRIS) |
2017 | |
Articolo in rivista | |
Model transformations of MapReduce Design Patterns for automatic development and verification JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. Vol. 110. Pag.52-59 ISSN:0743-7315. | |
Amato, Flora; Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.jpdc.2016.12.017 Codice identificativo ISI: WOS:000411655400006 Codice identificativo SCOPUS: 2-s2.0-85008485922 | |
Visualizza sul Database dei Prodotti (IRIS) |
2017 | |
Articolo in rivista | |
Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services FUTURE GENERATION COMPUTER SYSTEMS. Vol. 67. Pag.255-265 ISSN:0167-739X. | |
Amato, Flora; Moscato, Francesco | |
Digital Object Identifier (DOI): 10.1016/j.future.2016.06.035 Codice identificativo ISI: WOS:000389555700020 Codice identificativo SCOPUS: 2-s2.0-84996598632 | |
Visualizza sul Database dei Prodotti (IRIS) |
2016 | |
Articolo in rivista | |
A Formal Model for Autonomous Planning in High Performance Systems PROCEDIA COMPUTER SCIENCE. Vol. 98. Pag.503-508 ISSN:1877-0509. | |
Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.procs.2016.09.085 Codice identificativo ISI: WOS:000387551200071 Codice identificativo SCOPUS: 2-s2.0-84992378377 | |
Visualizza sul Database dei Prodotti (IRIS) |
2016 | |
Articolo in rivista | |
Pattern-based orchestration and automatic verification of composite cloud services COMPUTERS & ELECTRICAL ENGINEERING. ISSN:0045-7906. | |
Amato, Flora; Moscato, Francesco | |
Digital Object Identifier (DOI): 10.1016/j.compeleceng.2016.08.006 Codice identificativo ISI: WOS:000390640700061 Codice identificativo SCOPUS: 2-s2.0-84994108092 | |
Visualizza sul Database dei Prodotti (IRIS) |
221799A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation
2015 | |
Articolo in rivista | |
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation PROCEDIA COMPUTER SCIENCE. Vol. 51. Pag.562-571 ISSN:1877-0509. | |
Moscato, Francesco; Amato, F; De Paola, F; Diomaiuta, C; Giugni, M; Mazzocca, N. | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.procs.2015.05.323 Codice identificativo ISI: WOS:000373939100057 Codice identificativo SCOPUS: 2-s2.0-84939164116 | |
Visualizza sul Database dei Prodotti (IRIS) |
2015 | |
Articolo in rivista | |
A Model Driven Approach to Data Privacy Verification in E-Health Systems TRANSACTIONS ON DATA PRIVACY. Vol. 8. Pag.273-296 ISSN:1888-5063. | |
Moscato, Francesco; Amato, F. | |
Versione online | |
Codice identificativo ISI: WOS:000366902200003 Codice identificativo SCOPUS: 2-s2.0-84949775424 | |
Visualizza sul Database dei Prodotti (IRIS) |
2015 | |
Articolo in rivista | |
Exploiting Model Profiles in Requirements Verification of Cloud Systems INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING AND NETWORKING. Vol. 8. Pag.259-274 ISSN:1740-0562. | |
Moscato, Francesco | |
Versione online | |
Digital Object Identifier (DOI): 10.1504/IJHPCN.2015.071258 Codice identificativo SCOPUS: 2-s2.0-84940394110 | |
Visualizza sul Database dei Prodotti (IRIS) |
2014 | |
Articolo in rivista | |
Model-driven engineering of cloud components in MetaMORP(h)OSY INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING. Vol. 5. Pag.107-122 ISSN:1741-847X. | |
Moscato, Francesco; Amato, F.; Amato, A.; Aversa, Rocco | |
Digital Object Identifier (DOI): 10.1504/IJGUC.2014.060198 Codice identificativo ISI: WOS:000344825700011 Codice identificativo SCOPUS: 2-s2.0-84897490236 | |
Visualizza sul Database dei Prodotti (IRIS) |
221787Enforcing historical research and teaching with computational thinking and metaphoric abstraction
2014 | |
Articolo in rivista | |
Enforcing historical research and teaching with computational thinking and metaphoric abstraction MONDO DIGITALE. Vol. 13. Pag.684-691 ISSN:1720-898X. | |
Moscato, Francesco; Cirillo, Giuseppe | |
Versione online | |
Codice identificativo SCOPUS: 2-s2.0-84923196252 | |
Visualizza sul Database dei Prodotti (IRIS) |
2012 | |
Articolo in rivista | |
Solution Workflows for Model-Based Analysis of Complex Systems IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING. Vol. 9. Pag.83-95 ISSN:1545-5955. | |
Moscato, Francesco; Vittorini, V; Amato, F; Mazzocca, N; Mazzeo, A. | |
Versione online | |
Digital Object Identifier (DOI): 10.1109/TASE.2011.2161981 Codice identificativo ISI: WOS:000304754400008 Codice identificativo SCOPUS: 2-s2.0-84855349761 | |
Visualizza sul Database dei Prodotti (IRIS) |
2012 | |
Articolo in rivista | |
Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology SCALABLE COMPUTING. PRACTICE AND EXPERIENCE. Vol. 13. Pag.29-44 ISSN:1895-1767. | |
Moscato, F; Di Martino, B; Aversa, R | |
Versione online | |
Codice identificativo SCOPUS: 2-s2.0-84864810548 | |
Visualizza sul Database dei Prodotti (IRIS) |
2010 | |
Articolo in rivista | |
Multiformalism techniques for critical infrastructure modelling INTERNATIONAL JOURNAL OF ENGINEERING SYSTEMS MODELLING AND SIMULATION. Vol. 2. Pag.19-37 ISSN:1755-9758. | |
Flammini, F; Mazzocca, N; Moscato, Francesco; Pappalardo, A; Pragliola, C; Vittorini, V. | |
Digital Object Identifier (DOI): 5. 10.1504/IJSSE.2010.035379 Codice identificativo SCOPUS: 2-s2.0-78751557744 | |
Visualizza sul Database dei Prodotti (IRIS) |
2010 | |
Articolo in rivista | |
Multiformalism techniques for critical infrastructure modeling INTERNATIONAL JOURNAL OF SYSTEM OF SYSTEMS ENGINEERING. Vol. 2. Pag.19-37 ISSN:1748-0671. | |
Flammini, F; Mazzocca, N.; Moscato, Francesco; Pappalardo, A.; Pragliola, C.; Vittorini, V. | |
Versione online | |
Digital Object Identifier (DOI): 10.1504/IJSSE.2010.035379 Codice identificativo SCOPUS: 2-s2.0-78751557744 | |
Visualizza sul Database dei Prodotti (IRIS) |
2009 | |
Articolo in rivista | |
OVerFA: a collaborative framework for the semantic annotation of documents and websites INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES. Vol. 5. Pag.30-45 ISSN:1741-1106. | |
Moscato, Francesco; DI MARTINO, Beniamino; Venticinque, Salvatore; Martone, Angelo | |
Versione online | |
Digital Object Identifier (DOI): 10.1504/IJWGS.2009.023867 Codice identificativo ISI: WOS:000271426900004 Codice identificativo SCOPUS: 2-s2.0-63149115314 | |
Visualizza sul Database dei Prodotti (IRIS) |
2008 | |
Articolo in rivista | |
Simulation-based optimization of multiple-task GRID applications FUTURE GENERATION COMPUTER SYSTEMS. Vol. 24. Pag.594-604 ISSN:0167-739X. | |
Rak, Massimiliano; Moscato, Francesco; Villano, U.; Mancini, E. | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.future.2007.07.016 Codice identificativo ISI: WOS:000255841300011 Codice identificativo SCOPUS: 2-s2.0-41549117974 | |
Visualizza sul Database dei Prodotti (IRIS) |
2008 | |
Articolo in rivista | |
Foreword: Semantic web and semantic information management INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES. Vol. 4. Pag.247-250 ISSN:1741-1106. | |
Moscato, F; Di Martino, B | |
Codice identificativo ISI: WOS:000271426700001 | |
Visualizza sul Database dei Prodotti (IRIS) |
2007 | |
Articolo in rivista | |
Towards semantics driven generation of executable web services compositions JOURNAL OF SOFTWARE. Vol. 2. Pag.1-15 ISSN:1796-217X. | |
Di Lorenzo, G.; Mazzocca, N.; Moscato, F.; Vittorini, V. | |
Digital Object Identifier (DOI): 10.4304/jsw.5.1.1-15 Codice identificativo SCOPUS: 2-s2.0-84866535426 | |
Visualizza sul Database dei Prodotti (IRIS) |
2007 | |
Articolo in rivista | |
Automatic generation of context-aware web services compositions JOURNAL OF SOFTWARE. Vol. 15. Pag.197-229 ISSN:1796-217X. | |
DI LORENZO, G.; Mazzocca, N.; Moscato, F.; Vittorini, V. | |
Versione online | |
Visualizza sul Database dei Prodotti (IRIS) |
2007 | |
Articolo in rivista | |
Towards Semantics Driven Generation of Executable Web Services Compositions JOURNAL OF SOFTWARE. Vol. 2. Pag.1-15 ISSN:1796-217X. | |
DI LORENZO, G; Moscato, F; Mazzocca, N; Vittorini, V | |
Versione online | |
Digital Object Identifier (DOI): 10.4304/jsw.5.1.1-15 Codice identificativo SCOPUS: 2-s2.0-84866535426 | |
Visualizza sul Database dei Prodotti (IRIS) |