| 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 | 208 | 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 | 57 | 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 | 55 | 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 | 52 | 2017 |
| Pattern-based orchestration and automatic verification of composite cloud services F Amato, F Moscato Computers & Electrical Engineering 56, 842-853, 2016 | 49 | 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 | 39 | 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 | 37 | 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 | 36 | 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 | 33 | 2007 |
| Describing cloud use case in metamorp (h) osy F Moscato, R Aversa, A Amato 2012 Sixth International Conference on Complex, Intelligent, and Software …, 2012 | 31 | 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 | 30 | 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 | 30 | 2009 |
| 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 | 29 | 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 | 27 | 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 | 26 | 2014 |
| Exploiting model profiles in requirements verification of cloud systems F Moscato International Journal of High Performance Computing and Networking 8 (3 …, 2015 | 23 | 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 | 23 | 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 | 22 | 2005 |
| 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 | 18 | 2014 |
| Model driven design and evaluation of security level in orchestrated cloud services F Amato, N Mazzocca, F Moscato Journal of Network and Computer Applications 106, 78-89, 2018 | 17 | 2018 |
Flora AmatoUniversità degli Studi di Napoli Federico IIVerified email at unina.it
