Francesco Moscato

According to our database1, Francesco Moscato
  • authored at least 38 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services.
Future Generation Comp. Syst., 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

2016
Pattern-based orchestration and automatic verification of composite cloud services.
Computers & Electrical Engineering, 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 Privacy, 2015

Exploiting model profiles in requirements verification of cloud systems.
IJHPCN, 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.
IJGUC, 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. Automation Science and Engineering, 2012

Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology.
Scalable Computing: Practice and Experience, 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
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.
IJWGS, 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
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.
JSW, 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...