Publications

Francesco MOSCATO Publications


2014
Articolo in rivista
Enforcing historical research and teaching with computational thinking and metaphoric abstraction
MONDO DIGITALE. Vol. 13. Pag.684-691
ISSN:1720-898X.
Moscato, Francesco; Cirillo, Giuseppe
Versione online
Codice identificativo SCOPUS: 2-s2.0-84923196252
Show it in Product Database (IRIS)
2014
Articolo in rivista
Model-driven engineering of cloud components in MetaMORP(h)OSY
INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING. Vol. 5. Pag.107-122
ISSN:1741-847X.
Moscato, Francesco; Amato, F.; Amato, A.; Aversa, Rocco
Digital Object Identifier (DOI): 10.1504/IJGUC.2014.060198
Codice identificativo ISI: WOS:000344825700011
Codice identificativo SCOPUS: 2-s2.0-84897490236
Show it in Product Database (IRIS)
2014
Contributo in volume (Capitolo o Saggio)
Critical systems verification in MetaMORP(h)OSY.
In Bondavalli Andrea Ceccarelli Andrea Ortmeier Frank Computer Safety, Reliability, and Security: SAFECOMP 2014 Pag.119-129 Springer.
ISBN:978-331910556-7
Aversa, Rocco; DI MARTINO, Beniamino; Moscato, Francesco
Versione online
Digital Object Identifier (DOI): 10.1007/978-3-319-10557-4_15
Codice identificativo ISI: WOS:000347679100015
Codice identificativo SCOPUS: 2-s2.0-84907300528
Show it in Product Database (IRIS)
2014
Contributo in volume (Capitolo o Saggio)
Thermal-Aware Verification and Monitoring of service providers in MetaMORP(H)OSY.
In F. Xhafa L. Barolli F. Palmieri M. Koeppen V. Loia Proceedings of the 6th International Conference on Intelligent Networking and Collaborative Systems (INCOS 2014) Pag.551-556 USA IEEE Computer Society.
ISBN:978-147996386-7
Moscato, Francesco; Amato, F.
Digital Object Identifier (DOI): 10.1109/INCoS.2014.37D
Codice identificativo ISI: WOS:000380454200085
Codice identificativo SCOPUS: 2-s2.0-84988239800
Show it in Product Database (IRIS)
2014
Contributo in volume (Capitolo o Saggio)
Model Driven Engineering and Verification of Composite Cloud Services in MetaMORP(h)OSY.
In Xhafa F.Koeppen M.Palmieri F.Loia V.Barolli L. Intelligent Networking and Collaborative Systems (INCoS), 2014 International Conference on Pag.635-640 Institute of Electrical and Electronics Engineers Inc..
ISBN:978-147996386-7
Moscato, Francesco
Versione online
Digital Object Identifier (DOI): 10.1109/INCoS.2014.38
Codice identificativo ISI: WOS:000380454200099
Codice identificativo SCOPUS: 2-s2.0-84946689161
Show it in Product Database (IRIS)
2014
Contributo in volume (Capitolo o Saggio)
A Modeling Profile for Availability Analysis of Composite Cloud Services.
In Barolli L.Li J.Ogiela M.R.Xhafa F.Yoshihisa T. Proc of The9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing Pag.406-413 Institute of Electrical and Electronics Engineers Inc..
ISBN:978-147994171-1
Moscato, Francesco; Amato, F.
Versione online
Digital Object Identifier (DOI): 10.1109/3PGCIC.2014.85
Codice identificativo ISI: WOS:000380474400070
Codice identificativo SCOPUS: 2-s2.0-84946691929
Show it in Product Database (IRIS)