Francesco MOSCATO | Publications
Francesco MOSCATO Publications
221799A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation
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) |