Publications

Francesco MOSCATO Publications


2016
Articolo in rivista
A Formal Model for Autonomous Planning in High Performance Systems
PROCEDIA COMPUTER SCIENCE. Vol. 98. Pag.503-508
ISSN:1877-0509.
Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco
Versione online
Digital Object Identifier (DOI): 10.1016/j.procs.2016.09.085
Codice identificativo ISI: WOS:000387551200071
Codice identificativo SCOPUS: 2-s2.0-84992378377
Show it in Product Database (IRIS)
2016
Articolo in rivista
Pattern-based orchestration and automatic verification of composite cloud services
COMPUTERS & ELECTRICAL ENGINEERING.
ISSN:0045-7906.
Amato, Flora; Moscato, Francesco
Digital Object Identifier (DOI): 10.1016/j.compeleceng.2016.08.006
Codice identificativo ISI: WOS:000390640700061
Codice identificativo SCOPUS: 2-s2.0-84994108092
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
Automatic cloud services composition for big data management.
In: Proceedings - IEEE 30th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2016 Institute of Electrical and Electronics Engineers Inc. Pag.46-51
ISBN:9781509018574
30th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2016
Crans-Montana; Switzerland 2016
Amato, Flora; Moscato, Francesco
Versione online
Digital Object Identifier (DOI): 10.1109/WAINA.2016.169
Codice identificativo ISI: WOS:000387075700009
Codice identificativo SCOPUS: 2-s2.0-84983539716
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
Verification and Planning in Agent-Based Systems.
In: Proceedings - 11th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2015 Institute of Electrical and Electronics Engineers Inc. Pag.782-788
ISBN:9781467397216
11th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2015
Bangkok; Thailand; 2015
Amato, Flora; Mazzeo, Antonino; Moscato, Francesco; Pianese, Dario
Versione online
Digital Object Identifier (DOI): 10.1109/SITIS.2015.120
Codice identificativo ISI: WOS:000380406500116
Codice identificativo SCOPUS: 2-s2.0-84966264866
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems.
In: Proceedings - 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015 Institute of Electrical and Electronics Engineers Inc. Pag.568-573
ISBN:9781467394734
10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015
Krakow; Poland; 2015
Amato, Flora; Moscato, Francesco; Pianese, Dario
Versione online
Digital Object Identifier (DOI): 10.1109/3PGCIC.2015.112
Codice identificativo ISI: WOS:000380398500096
Codice identificativo SCOPUS: 2-s2.0-84964489741
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
An Agent-Based Model for Autonomous Planning.
In: Proceedings - 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2016 Institute of Electrical and Electronics Engineers Inc. Pag.555-560
ISBN:9781509009879
10th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2016
Fukuoka Institute of Technology (FIT), jpn 2016
Amato, Flora; Moscato, Francesco
Digital Object Identifier (DOI): 10.1109/CISIS.2016.135
Codice identificativo ISI: WOS:000391528700089
Codice identificativo SCOPUS: 2-s2.0-85011016398
Show it in Product Database (IRIS)