Francesco Moscato

Orcid: 0000-0002-7056-4579

Affiliations:
  • Second University of Naples, Department of Political Sciences Jean Monnet, Italy


According to our database1, Francesco Moscato authored at least 82 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Unsupervised Anomaly Detection in Predictive Maintenance Using Sound Data.
Proceedings of the 31st Symposium of Advanced Database Systems, 2023

2022
Credit Score Prediction Relying on Machine Learning.
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Towards Semantic Description of Symbology and Heraldry Using Ontologies.
Proceedings of the Complex, Intelligent and Software Intensive Systems - Proceedings of the 16th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2022), June 29, 2022

2021
A Security and Privacy Validation Methodology for e-Health Systems.
ACM Trans. Multim. Comput. Commun. Appl., 2021

CAN-Bus Attack Detection With Deep Learning.
IEEE Trans. Intell. Transp. Syst., 2021

Cognitive Analysis in Social Networks for Viral Marketing.
IEEE Trans. Ind. Informatics, 2021

A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment.
IEEE Trans. Ind. Informatics, 2021

Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain.
Neurocomputing, 2021

Smart Conversational User Interface for recommending Cultural Heritage Points of Interest (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

2020
An agent-based approach for recommending cultural tours.
Pattern Recognit. Lett., 2020

Exploiting Workflow Languages and Semantics for Validation of Security Policies in IoT Composite Services.
IEEE Internet Things J., 2020

An abstract reasoning architecture for privacy policies monitoring.
Future Gener. Comput. Syst., 2020

Privacy-aware design for E-Health Information Systems.
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

2019
Analyse digital forensic evidences through a semantic-based methodology and NLP techniques.
Future Gener. Comput. Syst., 2019

Detect and correlate information system events through verbose logging messages analysis.
Computing, 2019

Generation of game contents by social media analysis and MAS planning.
Comput. Hum. Behav., 2019

Summarizing Social Media Content for Multimedia Stories Creation.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

A Hybrid Approach for Document Analysis in Digital Forensic Domain.
Proceedings of the Advances in Internet, 2019

Domain Formalization for Metaphorical Reasoning.
Proceedings of the Advances in Internet, 2019

Enabling Accountable Collaboration in Distributed, Autonomous Systems by Intelligent Agents.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2019

Textual Processing in Social Network Analysis.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

Exploiting Figures of Speech in Cultural Heritage Reasoning.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

Analysis of Consumers Perceptions of Food Safety Risk in Social Networks.
Proceedings of the Advanced Information Networking and Applications, 2019

2018
Model driven design and evaluation of security level in orchestrated cloud services.
J. Netw. Comput. Appl., 2018

Improving security in cloud by formal modeling of IaaS resources.
Future Gener. Comput. Syst., 2018

Overview of Digital Forensic Tools for DataBase Analysis.
Proceedings of the Advances in Network-Based Information Systems, 2018

Semantic Analysis of Social Data Streams.
Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2018

A MAS Model for Reaching Goals in Critical Systems.
Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2018

Data Mining in Social Network.
Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2018

Improving Results of Forensics Analysis by Semantic-Based Suggestion System.
Proceedings of the Advances in Internet, 2018

Cloud Orchestration with ORCS and OpenStack.
Proceedings of the Advances in Internet, 2018

An Advanced Methodology to Analyse Data Stored on Mobile Devices.
Proceedings of the Cyberspace Safety and Security - 10th International Symposium, 2018

A Federation of Cognitive Cloud Services for Trusting Data Sources.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2018

An Application of Semantic Techniques for Forensic Analysis.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Enabling IoT Stream Management in Multi-cloud Environment by Orchestration.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Smart Intrusion Detection with Expert Systems.
Proceedings of the Advances on P2P, 2018

2017
Model transformations of MapReduce Design Patterns for automatic development and verification.
J. Parallel Distributed Comput., 2017

Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services.
Future Gener. Comput. Syst., 2017

OFL: A Language for Cloud Orchestration.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Multi-agent Collaborative Planning in Smart Environments.
Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2017

A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services.
Proceedings of the Advances in Internetworking, 2017

A Target Driven Approach Supporting Data Diversified Generation in IoT Applications.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

A Planner for Supporting Countermeasures in Large Scale Cyber Attacks.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Formal Procedural Content Generation in Games Driven by Social Analyses.
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Multi-level Orchestration of Cloud Services in OrCS.
Proceedings of the Advances on P2P, 2017

ECT: A Novel Architecture for Evidence Collection in Forensic Investigation.
Proceedings of the Advances on P2P, 2017

2016
Pattern-based orchestration and automatic verification of composite cloud services.
Comput. Electr. Eng., 2016

A Formal Model for Autonomous Planning in High Performance Systems.
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016

An Agent-Based Model for Autonomous Planning.
Proceedings of the 10th International Conference on Complex, 2016

Automatic Cloud Services Composition for Big Data Management.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

Self Planning in Critical Multi-Agent Systems.
Proceedings of the Advances on P2P, 2016

Modeling Approach for Specialist Domain.
Proceedings of the Advances on P2P, 2016

2015
A model driven approach to data privacy verification in E-Health systems.
Trans. Data Priv., 2015

Exploiting model profiles in requirements verification of cloud systems.
Int. J. High Perform. Comput. Netw., 2015

Verification and Planning in Agent-Based Systems.
Proceedings of the 11th International Conference on Signal-Image Technology & Internet-Based Systems, 2015

A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation.
Proceedings of the International Conference on Computational Science, 2015

Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services.
Proceedings of the Ninth International Conference on Complex, 2015

Automatic Monitor Generation for Cloud Services.
Proceedings of the Ninth International Conference on Complex, 2015

An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems.
Proceedings of the 10th International Conference on P2P, 2015

2014
Model-driven engineering of cloud components in MetaMORP(h)OSY.
Int. J. Grid Util. Comput., 2014

Critical Systems Verification in MetaMORP(h)OSY.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Thermal-Aware Verification and Monitoring of Service Providers in MetaMORP(H)OSY.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

A Modeling Profile for Availability Analysis of Composite Cloud Services.
Proceedings of the 2014 Ninth International Conference on P2P, 2014

2012
Solution Workflows for Model-Based Analysis of Complex Systems.
IEEE Trans Autom. Sci. Eng., 2012

Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology.
Scalable Comput. Pract. Exp., 2012

Describing Cloud Use Case in MetaMORP(h)OSY.
Proceedings of the Sixth International Conference on Complex, 2012

2011
An Analysis of mOSAIC ontology for Cloud Resources annotation.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010
Multiformalism techniques for critical infrastructure modelling.
Int. J. Syst. Syst. Eng., 2010

An Ontology Based Methodology for Automated Algorithms Recognition in Source Code.
Proceedings of the CISIS 2010, 2010

2009
OVerFA: a collaborative framework for the semantic annotation of documents and websites.
Int. J. Web Grid Serv., 2009

Interfaces and binding in component based development of formal models.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

2008
Simulation-based optimization of multiple-task GRID applications.
Future Gener. Comput. Syst., 2008

Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.
Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

2007
Towards Semantics Driven Generation of Executable Web Services Compositions.
J. Softw., 2007

The software architecture of the OsMoSys multisolution framework.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Automatic Analysis of Control Flow inWeb Services Composition Processes.
Proceedings of the 15th Euromicro International Conference on Parallel, 2007

2005
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.
Proceedings of the High Performance Computing and Communications, 2005

2004
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
Proceedings of the 12th Euromicro Workshop on Parallel, 2004

A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
Proceedings of the Applied Parallel Computing, 2004


  Loading...