Publications

Francesco MOSCATO Publications


2015
Articolo in rivista
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation
PROCEDIA COMPUTER SCIENCE. Vol. 51. Pag.562-571
ISSN:1877-0509.
Moscato, Francesco; Amato, F; De Paola, F; Diomaiuta, C; Giugni, M; Mazzocca, N.
Versione online
Digital Object Identifier (DOI): 10.1016/j.procs.2015.05.323
Codice identificativo ISI: WOS:000373939100057
Codice identificativo SCOPUS: 2-s2.0-84939164116
Show it in Product Database (IRIS)
2015
Articolo in rivista
A Model Driven Approach to Data Privacy Verification in E-Health Systems
TRANSACTIONS ON DATA PRIVACY. Vol. 8. Pag.273-296
ISSN:1888-5063.
Moscato, Francesco; Amato, F.
Versione online
Codice identificativo ISI: WOS:000366902200003
Codice identificativo SCOPUS: 2-s2.0-84949775424
Show it in Product Database (IRIS)
2015
Articolo in rivista
Exploiting Model Profiles in Requirements Verification of Cloud Systems
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING AND NETWORKING. Vol. 8. Pag.259-274
ISSN:1740-0562.
Moscato, Francesco
Versione online
Digital Object Identifier (DOI): 10.1504/IJHPCN.2015.071258
Codice identificativo SCOPUS: 2-s2.0-84940394110
Show it in Product Database (IRIS)
2015
Contributo in volume (Capitolo o Saggio)
Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services.
In Kin Fun Li;Toshiyuki Amagasa IEEE Proc. of Ninth International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2015 Pag.192-199 IEEE Computer Society.
ISBN:978-147998870-9
Moscato, Francesco
Versione online
Digital Object Identifier (DOI): 10.1109/CISIS.2015.26
Codice identificativo ISI: WOS:000380431900029
Codice identificativo SCOPUS: 2-s2.0-84959483143
Show it in Product Database (IRIS)
2015
Contributo in volume (Capitolo o Saggio)
Automatic Monitor Generation for Cloud Services.
In Leonard Barolli;Fatos Xhafa IEEE Proc. on Ninth International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2015 Pag.547-552 IEEE Computer Society.
ISBN:978-147998870-9
Moscato, Francesco; DI DOMENICO, D.
Versione online
Digital Object Identifier (DOI): 10.1109/CISIS.2015.81
Codice identificativo ISI: WOS:000380431900090
Codice identificativo SCOPUS: 2-s2.0-84959482105
Show it in Product Database (IRIS)