Francesco Moscato
Francesco Moscato
Verified email at unisa.it
Title
Cited by
Cited by
Year
An analysis of mosaic ontology for cloud resources annotation
F Moscato, R Aversa, B Di Martino, TF Fortiş, V Munteanu
2011 federated conference on computer science and information systems …, 2011
2202011
Exploiting cloud and workflow patterns for the analysis of composite cloud services
F Amato, F Moscato
Future Generation Computer Systems 67, 255-265, 2017
582017
A model driven approach to data privacy verification in E-Health systems.
F Amato, F Moscato
Trans. Data Priv. 8 (3), 273-296, 2015
582015
Model-driven engineering of cloud components in metamorp (h) osy
F Moscato, F Amato, A Amato, R Aversa
International Journal of Grid and Utility Computing 5 (2), 107-122, 2014
562014
Pattern-based orchestration and automatic verification of composite cloud services
F Amato, F Moscato
Computers & Electrical Engineering 56, 842-853, 2016
502016
Enabling model driven engineering of cloud services by using mosaic ontology
F Moscato, B Di Martino, R Aversa
Scalable Computing: Practice and Experience 13 (1), 29-44, 2012
412012
An Ontology for the Cloud in mOSAIC
F Moscato, R Aversa, B Di Martin, M Rak, S Venticinque, D Petcu
Cloud Computing, 467-485, 2017
382017
Solution workflows for model-based analysis of complex systems
F Moscato, V Vittorini, F Amato, A Mazzeo, N Mazzocca
IEEE Transactions on Automation Science and Engineering 9 (1), 83-95, 2011
372011
Towards Semantics Driven Generation of Executable Web Services Compositions.
G Di Lorenzo, N Mazzocca, F Moscato, V Vittorini
J. Softw. 2 (5), 1-15, 2007
332007
Improving security in cloud by formal modeling of IaaS resources
F Amato, F Moscato, V Moscato, F Colace
Future Generation Computer Systems 87, 754-764, 2018
322018
Describing cloud use case in metamorp (h) osy
F Moscato, R Aversa, A Amato
2012 Sixth International Conference on Complex, Intelligent, and Software …, 2012
322012
Overfa: A collaborative framework for the semantic annotation of documents and websites
F Moscato, B Di Martino, S Venticinque, A Martone
International Journal of Web and Grid Services 5 (1), 30-45, 2009
312009
Interfaces and binding in component based development of formal models
G Franceschinis, M Gribaudo, M Iacono, S Marrone, F Moscato, V Vittorini
Proceedings of the Fourth International ICST Conference on Performance …, 2009
302009
Formal modeling and verification of real-time multi-agent systems: The remm framework
F Moscato, S Venticinque, R Aversa, B Di Martino
Intelligent distributed computing, systems and applications, 187-196, 2008
282008
Model driven engineering and verification of composite cloud services in metamorp (h) osy
F Moscato
2014 International Conference on Intelligent Networking and Collaborative …, 2014
272014
Multilayer perceptron: an intelligent model for classification and intrusion detection
F Amato, N Mazzocca, F Moscato, E Vivenzio
2017 31st International Conference on Advanced Information Networking and …, 2017
232017
Automatic analysis of control flow inweb services composition processes
G Di Lorenzo, F Moscato, N Mazzocca, V Vittorini
15th EUROMICRO International Conference on Parallel, Distributed and Network …, 2007
232007
Workflow pattern analysis in web services orchestration: The BPEL4WS example
F Moscato, N Mazzocca, V Vittorini, G Di Lorenzo, P Mosca, M Magaldi
International Conference on High Performance Computing and Communications …, 2005
232005
Analyse digital forensic evidences through a semantic-based methodology and NLP techniques
F Amato, G Cozzolino, V Moscato, F Moscato
Future Generation Computer Systems 98, 297-307, 2019
222019
Exploiting model profiles in requirements verification of cloud systems
F Moscato
International Journal of High Performance Computing and Networking 8 (3 …, 2015
222015
The system can't perform the operation now. Try again later.
Articles 1–20