Francesco Moscato
Francesco Moscato
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
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
A model driven approach to data privacy verification in E-Health systems.
F Amato, F Moscato
Trans. Data Priv. 8 (3), 273-296, 2015
Exploiting cloud and workflow patterns for the analysis of composite cloud services
F Amato, F Moscato
Future Generation Computer Systems 67, 255-265, 2017
Pattern-based orchestration and automatic verification of composite cloud services
F Amato, F Moscato
Computers & Electrical Engineering 56, 842-853, 2016
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
An Ontology for the Cloud in mOSAIC
F Moscato, R Aversa, B Di Martino, D Petcu, M Rak, S Venticinque
Cloud Computing: Methodology, System, and Applications, 467-487, 2011
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
Towards Semantics Driven Generation of Executable Web Services Compositions.
G Di Lorenzo, N Mazzocca, F Moscato, V Vittorini
JSW 2 (5), 1-15, 2007
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
Describing cloud use case in metamorp (h) osy
F Moscato, R Aversa, A Amato
2012 Sixth International Conference on Complex, Intelligent, and Software …, 2012
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
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
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
Model driven engineering and verification of composite cloud services in metamorp (h) osy
F Moscato
2014 International Conference on Intelligent Networking and Collaborative …, 2014
Exploiting model profiles in requirements verification of cloud systems
F Moscato
International Journal of High Performance Computing and Networking 8 (3 …, 2015
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
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
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
Critical systems verification in metamorp (h) osy
R Aversa, B Di Martino, F Moscato
International Conference on Computer Safety, Reliability, and Security, 119-129, 2014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20