Segui
Francesco Moscato
Francesco Moscato
Email verificata su unisa.it
Titolo
Citata da
Citata da
Anno
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
2322011
Exploiting cloud and workflow patterns for the analysis of composite cloud services
F Amato, F Moscato
Future Generation Computer Systems 67, 255-265, 2017
602017
A model driven approach to data privacy verification in E-Health systems.
F Amato, F Moscato
Trans. Data Priv. 8 (3), 273-296, 2015
592015
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
522016
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 Martino, D Petcu, M Rak, S Venticinque
Cloud Computing: Methodology, System, and Applications, 467-487, 2011
402011
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
392011
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
382018
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
332009
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
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, 2009
312009
Formal modeling and verification of real-time multi-agent systems: The remm framework
F Moscato, S Venticinque, R Aversa, BD Martino
Intelligent distributed computing, systems and applications, 187-196, 2008
302008
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
292017
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
282019
Model driven engineering and verification of composite cloud services in metamorp (h) osy
F Moscato
2014 International Conference on Intelligent Networking and Collaborative …, 2014
282014
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
242007
Workflow pattern analysis in web services orchestration: The BPEL4WS example
F Moscato, N Mazzocca, V Vittorini, GD Lorenzo, P Mosca, M Magaldi
International Conference on High Performance Computing and Communications …, 2005
242005
Exploiting model profiles in requirements verification of cloud systems.
F Moscato
Int. J. High Perform. Comput. Netw. 8 (3), 259-274, 2015
222015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20