A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. - Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Francesco Moscato 001; Valeria Vittorini (PARA, 2004)

Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (PDP, 2004)

Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini; Giusy Di Lorenzo; Paola Mosca; Massimo Magaldi (HPCC, 2005)

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. - Marco Gribaudo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (QEST, 2005)

Automatic Analysis of Control Flow inWeb Services Composition Processes. - Giusy Di Lorenzo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (PDP, 2007)

The software architecture of the OsMoSys multisolution framework. - Francesco Moscato 001; Francesco Flammini; Giusy Di Lorenzo; Valeria Vittorini; Stefano Marrone 001; Mauro Iacono (VALUETOOLS, 2007)

Towards Semantics Driven Generation of Executable Web Services Compositions. - Giusy Di Lorenzo; Nicola Mazzocca; Francesco Moscato 001; Valeria Vittorini (J. Softw., 2007)

Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework. - Francesco Moscato 001; Salvatore Venticinque; Rocco Aversa; Beniamino Di Martino (IDC, 2008)

Simulation-based optimization of multiple-task GRID applications. - Emilio Pasquale Mancini; Umberto Villano; Massimiliano Rak; Francesco Moscato 001 (Future Gener. Comput. Syst., 2008)

Interfaces and binding in component based development of formal models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Francesco Moscato 001; Valeria Vittorini (VALUETOOLS, 2009)

OVerFA: a collaborative framework for the semantic annotation of documents and websites. - Francesco Moscato 001; Beniamino Di Martino; Salvatore Venticinque; Angelo Martone (Int. J. Web Grid Serv., 2009)

An Ontology Based Methodology for Automated Algorithms Recognition in Source Code. - Beniamino Di Martino; Francesco Moscato 001 (CISIS, 2010)

Multiformalism techniques for critical infrastructure modelling. - Francesco Flammini; Nicola Mazzocca; Francesco Moscato 001; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (Int. J. Syst. Syst. Eng., 2010)

An Analysis of mOSAIC ontology for Cloud Resources annotation. - Francesco Moscato 001; Rocco Aversa; Beniamino Di Martino; Teodor-Florin Fortis; Victor Ion Munteanu (FedCSIS, 2011)

Describing Cloud Use Case in MetaMORP(h)OSY. - Francesco Moscato 001; Rocco Aversa; Alba Amato (CISIS, 2012)

Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology. - Francesco Moscato 001; Beniamino Di Martino; Rocco Aversa (Scalable Comput. Pract. Exp., 2012)

Solution Workflows for Model-Based Analysis of Complex Systems. - Francesco Moscato 001; Valeria Vittorini; Flora Amato; Antonino Mazzeo; Nicola Mazzocca (IEEE Trans Autom. Sci. Eng., 2012)

A Modeling Profile for Availability Analysis of Composite Cloud Services. - Flora Amato; Francesco Moscato 001 (3PGCIC, 2014)

Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY. - Francesco Moscato 001 (INCoS, 2014)

Thermal-Aware Verification and Monitoring of Service Providers in MetaMORP(H)OSY. - Francesco Moscato 001; Flora Amato (INCoS, 2014)

Critical Systems Verification in MetaMORP(h)OSY. - Rocco Aversa; Beniamino Di Martino; Francesco Moscato 001 (SAFECOMP Workshops, 2014)

Model-driven engineering of cloud components in MetaMORP(h)OSY. - Francesco Moscato 001; Flora Amato; Alba Amato; Rocco Aversa (Int. J. Grid Util. Comput., 2014)

An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems. - Flora Amato; Francesco Moscato 001; Dario Pianese (3PGCIC, 2015)

Automatic Monitor Generation for Cloud Services. - Davide Di Domenico; Francesco Moscato 001 (CISIS, 2015)

Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services. - Francesco Moscato 001 (CISIS, 2015)

A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation. - Flora Amato; Francesco M. De Paola; Crescenzo Diomaiuta; Maurizio Giugni; Nicola Mazzocca; Francesco Moscato 001 (ICCS, 2015)

Verification and Planning in Agent-Based Systems. - Flora Amato; Antonino Mazzeo; Francesco Moscato 001; Dario Pianese (SITIS, 2015)

Exploiting model profiles in requirements verification of cloud systems. - Francesco Moscato 001 (Int. J. High Perform. Comput. Netw., 2015)

A model driven approach to data privacy verification in E-Health systems. - Flora Amato; Francesco Moscato 001 (Trans. Data Priv., 2015)

Modeling Approach for Specialist Domain. - Flora Amato; Giovanni Cozzolino; Francesco Moscato 001; Vincenzo Moscato; Antonio Picariello (3PGCIC, 2016)

Self Planning in Critical Multi-Agent Systems. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001 (3PGCIC, 2016)

Automatic Cloud Services Composition for Big Data Management. - Flora Amato; Francesco Moscato 001 (AINA Workshops, 2016)

An Agent-Based Model for Autonomous Planning. - Flora Amato; Francesco Moscato 001 (CISIS, 2016)

A Formal Model for Autonomous Planning in High Performance Systems. - Flora Amato; Antonino Mazzeo; Nicola Mazzocca; Francesco Moscato 001 (EUSPN/ICTH, 2016)

Pattern-based orchestration and automatic verification of composite cloud services. - Flora Amato; Francesco Moscato 001 (Comput. Electr. Eng., 2016)

ECT: A Novel Architecture for Evidence Collection in Forensic Investigation. - Flora Amato; Leonard Barolli; Giovanni Cozzolino; Antonino Mazzeo; Francesco Moscato 001 (3PGCIC, 2017)

Multi-level Orchestration of Cloud Services in OrCS. - Flora Amato; Francesco Moscato 001; Fatos Xhafa (3PGCIC, 2017)

Formal Procedural Content Generation in Games Driven by Social Analyses. - Flora Amato; Francesco Moscato 001 (AINA Workshops, 2017)

Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001; Emilio Vivenzio (AINA Workshops, 2017)

A Planner for Supporting Countermeasures in Large Scale Cyber Attacks. - Flora Amato; Francesco Moscato 001 (CISIS, 2017)

A Target Driven Approach Supporting Data Diversified Generation in IoT Applications. - Flora Amato; Beniamino Di Martino; Fiammetta Marulli; Antonino Mazzeo; Francesco Moscato 001 (CISIS, 2017)

A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001; Fatos Xhafa (EIDWT, 2017)

Multi-agent Collaborative Planning in Smart Environments. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001; Fatos Xhafa (INCoS, 2017)

OFL: A Language for Cloud Orchestration. - Flora Amato; Aniello Castiglione; Nicola Mazzocca; Francesco Moscato 001; Vincenzo Moscato (ISPA/IUCC, 2017)

Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services. - Flora Amato; Francesco Moscato 001 (Future Gener. Comput. Syst., 2017)

Model transformations of MapReduce Design Patterns for automatic development and verification. - Flora Amato; Francesco Moscato 001 (J. Parallel Distributed Comput., 2017)

Smart Intrusion Detection with Expert Systems. - Flora Amato; Francesco Moscato 001; Fatos Xhafa; Emilio Vivenzio (3PGCIC, 2018)

Enabling IoT Stream Management in Multi-cloud Environment by Orchestration. - Flora Amato; Francesco Moscato 001; Fatos Xhafa (AINA Workshops, 2018)

An Application of Semantic Techniques for Forensic Analysis. - Flora Amato; Giovanni Cozzolino; Antonino Mazzeo; Francesco Moscato 001 (AINA Workshops, 2018)

A Federation of Cognitive Cloud Services for Trusting Data Sources. - Flora Amato; Beniamino Di Martino; Fiammetta Marulli; Francesco Moscato 001 (CISIS, 2018)

An Advanced Methodology to Analyse Data Stored on Mobile Devices. - Flora Amato; Giovanni Cozzolino; Antonino Mazzeo; Francesco Moscato 001 (CSS, 2018)

Cloud Orchestration with ORCS and OpenStack. - Flora Amato; Francesco Moscato 001; Fatos Xhafa (EIDWT, 2018)

Improving Results of Forensics Analysis by Semantic-Based Suggestion System. - Flora Amato; Leonard Barolli; Giovanni Cozzolino; Antonino Mazzeo; Francesco Moscato 001 (EIDWT, 2018)

Data Mining in Social Network. - Flora Amato; Giovanni Cozzolino; Francesco Moscato 001; Vincenzo Moscato; Antonio Picariello; Giancarlo Sperlì (IIMSS, 2018)

A MAS Model for Reaching Goals in Critical Systems. - Flora Amato; Giovanni Cozzolino; Antonino Mazzeo; Francesco Moscato 001 (IIMSS, 2018)

Semantic Analysis of Social Data Streams. - Flora Amato; Giovanni Cozzolino; Francesco Moscato 001; Fatos Xhafa (INCoS, 2018)

Overview of Digital Forensic Tools for DataBase Analysis. - Flora Amato; Giovanni Cozzolino; Marco Giacalone; Antonino Mazzeo; Francesco Moscato 001; Francesco Romeo (NBiS, 2018)

Improving security in cloud by formal modeling of IaaS resources. - Flora Amato; Francesco Moscato 001; Vincenzo Moscato; Francesco Colace (Future Gener. Comput. Syst., 2018)

Model driven design and evaluation of security level in orchestrated cloud services. - Flora Amato; Nicola Mazzocca; Francesco Moscato 001 (J. Netw. Comput. Appl., 2018)

Analysis of Consumers Perceptions of Food Safety Risk in Social Networks. - Alessandra Amato; Walter Balzano; Giovanni Cozzolino; Francesco Moscato 001 (AINA, 2019)

Exploiting Figures of Speech in Cultural Heritage Reasoning. - Flora Amato; Walter Balzano; Giovanni Cozzolino; Francesco Moscato 001 (AINA Workshops, 2019)

Textual Processing in Social Network Analysis. - Flora Amato; Walter Balzano; Giovanni Cozzolino; Alessandro De Luca 002; Francesco Moscato 001 (AINA Workshops, 2019)

Enabling Accountable Collaboration in Distributed, Autonomous Systems by Intelligent Agents. - Flora Amato; Pasquale Femia; Francesco Moscato 001 (CISIS, 2019)

Domain Formalization for Metaphorical Reasoning. - Flora Amato; Giovanni Cozzolino; Francesco Moscato 001 (EIDWT, 2019)

A Hybrid Approach for Document Analysis in Digital Forensic Domain. - Flora Amato; Giovanni Cozzolino; Marco Giacalone; Francesco Moscato 001; Francesco Romeo; Fatos Xhafa (EIDWT, 2019)

Summarizing Social Media Content for Multimedia Stories Creation. - Flora Amato; Francesco Moscato 001; Vincenzo Moscato; Antonio Picariello; Giancarlo Sperlì (SEBD, 2019)

Generation of game contents by social media analysis and MAS planning. - Flora Amato; Francesco Moscato 001; Fatos Xhafa (Comput. Hum. Behav., 2019)

Detect and correlate information system events through verbose logging messages analysis. - Flora Amato; Giovanni Cozzolino; Antonino Mazzeo; Francesco Moscato 001 (Computing, 2019)

Analyse digital forensic evidences through a semantic-based methodology and NLP techniques. - Flora Amato; Giovanni Cozzolino; Vincenzo Moscato; Francesco Moscato 001 (Future Gener. Comput. Syst., 2019)

Privacy-aware design for E-Health Information Systems. - Flora Amato; Giovanni Cozzolino; Francesco Moscato 001; Vincenzo Moscato; Antonio Picariello; Giancarlo Sperlì (SEBD, 2020)

An abstract reasoning architecture for privacy policies monitoring. - Flora Amato; Luigi Coppolino; Salvatore D'Antonio; Nicola Mazzocca; Francesco Moscato 001; Luigi Sgaglione (Future Gener. Comput. Syst., 2020)

Exploiting Workflow Languages and Semantics for Validation of Security Policies in IoT Composite Services. - Flora Amato; Valentina Casola; Giovanni Cozzolino; Alessandra De Benedictis; Francesco Moscato 001 (IEEE Internet Things J., 2020)

An agent-based approach for recommending cultural tours. - Flora Amato; Francesco Moscato 001; Vincenzo Moscato; Francesco Pascale; Antonio Picariello (Pattern Recognit. Lett., 2020)

Smart Conversational User Interface for recommending Cultural Heritage Points of Interest (Discussion Paper). - Flora Amato; Francesco Moscato 001; Vincenzo Moscato; Giancarlo Sperlì (SEBD, 2021)

Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain. - Flora Amato; Luigi Coppolino; Giovanni Cozzolino; Giovanni Mazzeo; Francesco Moscato 001; Roberto Nardone (Neurocomputing, 2021)

A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment. - Flora Amato; Giovanni Cozzolino; Francesco Moscato 001; Vincenzo Moscato; Fatos Xhafa (IEEE Trans. Ind. Informatics, 2021)

Cognitive Analysis in Social Networks for Viral Marketing. - Aniello Castiglione; Giovanni Cozzolino; Francesco Moscato 001; Vincenzo Moscato (IEEE Trans. Ind. Informatics, 2021)

CAN-Bus Attack Detection With Deep Learning. - Flora Amato; Luigi Coppolino; Francesco Mercaldo; Francesco Moscato 001; Roberto Nardone; Antonella Santone (IEEE Trans. Intell. Transp. Syst., 2021)

A Security and Privacy Validation Methodology for e-Health Systems. - Flora Amato; Valentina Casola; Giovanni Cozzolino; Alessandra De Benedictis; Nicola Mazzocca; Francesco Moscato 001 (ACM Trans. Multim. Comput. Commun. Appl., 2021)

Towards Semantic Description of Symbology and Heraldry Using Ontologies. - Alba Amato; Giuseppe Cirillo; Francesco Moscato 001 (CISIS, 2022)

Credit Score Prediction Relying on Machine Learning. - Flora Amato; Antonino Ferraro; Antonio Galli; Francesco Moscato 001; Vincenzo Moscato; Giancarlo Sperlì (SEBD, 2022)

Unsupervised Anomaly Detection in Predictive Maintenance Using Sound Data. - Antonino Ferraro; Antonio Galli; Valerio La Gatta; Vincenzo Moscato; Marco Postiglione; Giancarlo Sperlì; Francesco Moscato 001 (SEBD, 2023)

A Comparative Assessment of eXplainable AI Tools in Predicting Hard Disk Drive Health. - Flora Amato; Antonino Ferraro; Antonio Galli; Valerio La Gatta; Francesco Moscato 001; Vincenzo Moscato; Marco Postiglione; Carlo Sansone; Giancarlo Sperlì (SEBD, 2024)

Fast and low cost FPGA-based architecture for arrhythmia detection with CNN. - Luca Greco 001; Francesco Moscato 001; Pierluigi Ritrovato; Mario Vento (Internet Things, 2025)