Francesco Moscato

Valentina Casola

Giovanni Cozzolino

Alessandra De Benedictis

Nicola Mazzocca

ACM Trans. Multim. Comput. Commun. Appl., 2021

CAN-Bus Attack Detection With Deep Learning.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

Cognitive Analysis in Social Networks for Viral Marketing.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

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

[BibT_eX]

[DOI]

Neurocomputing, 2021

Smart Conversational User Interface for recommending Cultural Heritage Points of Interest (Discussion Paper).

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

2020

An agent-based approach for recommending cultural tours.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2020

Exploiting Workflow Languages and Semantics for Validation of Security Policies in IoT Composite Services.

[BibT_eX]

[DOI]

Valentina Casola

Giovanni Cozzolino

Alessandra De Benedictis

IEEE Internet Things J., 2020

An abstract reasoning architecture for privacy policies monitoring.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Privacy-aware design for E-Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

2019

Analyse digital forensic evidences through a semantic-based methodology and NLP techniques.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

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

[BibT_eX]

[DOI]

Computing, 2019

Generation of game contents by social media analysis and MAS planning.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2019

Summarizing Social Media Content for Multimedia Stories Creation.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

A Hybrid Approach for Document Analysis in Digital Forensic Domain.

[BibT_eX]

[DOI]

Proceedings of the Advances in Internet, 2019

Domain Formalization for Metaphorical Reasoning.

[BibT_eX]

[DOI]

Giovanni Cozzolino

Proceedings of the Advances in Internet, 2019

Enabling Accountable Collaboration in Distributed, Autonomous Systems by Intelligent Agents.

[BibT_eX]

[DOI]

Pasquale Femia

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2019

Textual Processing in Social Network Analysis.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

Exploiting Figures of Speech in Cultural Heritage Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

Analysis of Consumers Perceptions of Food Safety Risk in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2019

2018

Model driven design and evaluation of security level in orchestrated cloud services.

[BibT_eX]

[DOI]

Nicola Mazzocca

J. Netw. Comput. Appl., 2018

Improving security in cloud by formal modeling of IaaS resources.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Overview of Digital Forensic Tools for DataBase Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Network-Based Information Systems, 2018

Semantic Analysis of Social Data Streams.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2018

A MAS Model for Reaching Goals in Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2018

Data Mining in Social Network.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2018

Improving Results of Forensics Analysis by Semantic-Based Suggestion System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Internet, 2018

Cloud Orchestration with ORCS and OpenStack.

[BibT_eX]

[DOI]

Proceedings of the Advances in Internet, 2018

An Advanced Methodology to Analyse Data Stored on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the Cyberspace Safety and Security - 10th International Symposium, 2018

A Federation of Cognitive Cloud Services for Trusting Data Sources.

[BibT_eX]

[DOI]

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2018

An Application of Semantic Techniques for Forensic Analysis.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Enabling IoT Stream Management in Multi-cloud Environment by Orchestration.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Smart Intrusion Detection with Expert Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances on P2P, 2018

2017

Model transformations of MapReduce Design Patterns for automatic development and verification.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2017

Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2017

OFL: A Language for Cloud Orchestration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Networking and Collaborative Systems, 2017

A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the Advances in Internetworking, 2017

A Target Driven Approach Supporting Data Diversified Generation in IoT Applications.

[BibT_eX]

[DOI]

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

A Planner for Supporting Countermeasures in Large Scale Cyber Attacks.

[BibT_eX]

[DOI]

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

Multilayer Perceptron: An Intelligent Model for Classification and Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Formal Procedural Content Generation in Games Driven by Social Analyses.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Multi-level Orchestration of Cloud Services in OrCS.

[BibT_eX]

[DOI]

Proceedings of the Advances on P2P, 2017

ECT: A Novel Architecture for Evidence Collection in Forensic Investigation.

[BibT_eX]

[DOI]

Proceedings of the Advances on P2P, 2017

2016

Pattern-based orchestration and automatic verification of composite cloud services.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2016

A Formal Model for Autonomous Planning in High Performance Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Complex, 2016

Automatic Cloud Services Composition for Big Data Management.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

Self Planning in Critical Multi-Agent Systems.

[BibT_eX]

[DOI]

Nicola Mazzocca

Proceedings of the Advances on P2P, 2016

Modeling Approach for Specialist Domain.

[BibT_eX]

[DOI]

Proceedings of the Advances on P2P, 2016

2015

A model driven approach to data privacy verification in E-Health systems.

[BibT_eX]

[DOI]

Trans. Data Priv., 2015

Exploiting model profiles in requirements verification of cloud systems.

[BibT_eX]

[DOI]

Int. J. High Perform. Comput. Netw., 2015

Verification and Planning in Agent-Based Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Francesco M. De Paola

Proceedings of the International Conference on Computational Science, 2015

Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Complex, 2015

Automatic Monitor Generation for Cloud Services.

[BibT_eX]

[DOI]

Davide Di Domenico

Proceedings of the Ninth International Conference on Complex, 2015

An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems.

[BibT_eX]

[DOI]

Dario Pianese

Proceedings of the 10th International Conference on P2P, 2015

2014

Model-driven engineering of cloud components in MetaMORP(h)OSY.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2014

Critical Systems Verification in MetaMORP(h)OSY.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Thermal-Aware Verification and Monitoring of Service Providers in MetaMORP(H)OSY.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

A Modeling Profile for Availability Analysis of Composite Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 2014 Ninth International Conference on P2P, 2014

2012

Solution Workflows for Model-Based Analysis of Complex Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2012

Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2012

Describing Cloud Use Case in MetaMORP(h)OSY.

[BibT_eX]

[DOI]

Alba Amato

Proceedings of the Sixth International Conference on Complex, 2012

2011

An Analysis of mOSAIC ontology for Cloud Resources annotation.

[BibT_eX]

[DOI]

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

Multiformalism techniques for critical infrastructure modelling.

[BibT_eX]

[DOI]

Int. J. Syst. Syst. Eng., 2010

An Ontology Based Methodology for Automated Algorithms Recognition in Source Code.

[BibT_eX]

[DOI]

Proceedings of the CISIS 2010, 2010

2009

OVerFA: a collaborative framework for the semantic annotation of documents and websites.

[BibT_eX]

[DOI]

Salvatore Venticinque

Angelo Martone

Int. J. Web Grid Serv., 2009

Interfaces and binding in component based development of formal models.

[BibT_eX]

[DOI]

Giuliana Franceschinis

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

2008

Simulation-based optimization of multiple-task GRID applications.

[BibT_eX]

[DOI]

Emilio Pasquale Mancini

Umberto Villano

Massimiliano Rak

Future Gener. Comput. Syst., 2008

Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.

[BibT_eX]

[DOI]

Salvatore Venticinque