Francesco Moscato
Francesco Moscato
Università della Campania "Luigi Vanvitelli"
Verified email at
Cited by
Cited by
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
Exploiting cloud and workflow patterns for the analysis of composite cloud services
F Amato, F Moscato
Future Generation Computer Systems 67, 255-265, 2017
A model driven approach to data privacy verification in E-Health systems.
F Amato, F Moscato
Trans. Data Privacy 8 (3), 273-296, 2015
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
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 Martin, M Rak, S Venticinque, D Petcu
Cloud Computing, 467-485, 2017
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
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
Describing cloud use case in metamorp (h) osy
F Moscato, R Aversa, A Amato
2012 Sixth International Conference on Complex, Intelligent, and Software …, 2012
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
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
Model driven engineering and verification of composite cloud services in metamorp (h) osy
F Moscato
2014 International Conference on Intelligent Networking and Collaborative …, 2014
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
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
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
Exploiting model profiles in requirements verification of cloud systems.
F Moscato
IJHPCN 8 (3), 259-274, 2015
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
The software architecture of the OsMoSys multisolution framework
F Moscato, F Flammini, GD Lorenzo, V Vittorini, S Marrone, M Iacono
Proceedings of the 2nd international conference on Performance evaluation …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20