MOSCATO, FRANCESCO
MOSCATO, FRANCESCO
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach
2006 Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
Automatic generation of context-aware web services compositions
2007 G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria
The software architecture of the OsMoSys Multisolution Framework
2007 Moscato, Francesco; F., Flammini; G., DI LORENZO; Vittorini, Valeria; S., Marrone; M., Iacono
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO
2008 Franceschetti, Giorgio; Guida, Raffaella; Imperatore, Pasquale; Iodice, Antonio; Mazzocca, Nicola; Moscato, Francesco; Riccio, Daniele; Ruello, Giuseppe
Strumento su Piattaforma GRID per la Predizione del Campo Elettromagnetico in Aree Urbane
2008 Imperatore, Pasquale; Moscato, Francesco; Guida, Raffaella; Ruello, Giuseppe; Iodice, Antonio; Riccio, Daniele; Mazzocca, Nicola; Franceschetti, Giorgio
Multiformalism techniques for critical infrastructure modelling
2010 F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems
2003 Moscato, Francesco; M., Iacono; Mazzocca, Nicola
Automatic Analysis of Control Flow inWeb Services Composition Processes
2007 G., DI LORENZO; Moscato, Francesco; Mazzocca, Nicola; Vittorini, Valeria
Multisolution of complex performability models in the OsMoSys/DrawNET framework
2005 Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco
Down-regulation of Wild-type p53-induced Phosphatase 1 (Wip1) Plays a Critical Role in Regulating Several p53-dependent Functions in Premature Senescent Tumor Cells
2013 Crescenzi, Elvira; Z., Raia; Pacifico, FRANCESCO MARIA; Mellone, Stefania; Moscato, Francesco; Palumbo, Giuseppe; Leonardi, Antonio
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example
2005 Mazzocca, Nicola; Vittorini, Valeria; G., DI LORENZO; M., Magaldi; P., Mosca; Moscato, Francesco
A Formal Model for Autonomous Planning in High Performance Systems
2016 Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco
Verification and Planning in Agent-Based Systems
2015 Amato, Flora; Mazzeo, Antonino; Moscato, Francesco; Pianese, D.
Pattern-based orchestration and automatic verification of composite cloud services
2016 Amato, Flora; Moscato, Francesco
Automatic cloud services composition for big data management
2016 Amato, Flora; Moscato, Francesco
A model driven approach to data privacy verification in e-health systems
2015 Amato, Flora; Moscato, Francesco
Model-driven engineering of cloud components in MetaMORP(h)OSY
2014 Moscato, Francesco; Amato, Flora; A., Amato; R., Aversa
Model driven design and evaluation of security level in orchestrated cloud services
2018 Amato, Flora; Mazzocca, Nicola; Moscato, Francesco
Model transformations of MapReduce Design Patterns for automatic development and verification
2017 Amato, Flora; Moscato, Francesco
Message from BOSON 2017 international workshop organizers
2017 Amato, Flora; Moscato, Francesco; Moscato, Vincenzo
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach | 2.1 Contributo in volume (Capitolo o Saggio) | 2006 | Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria | |
Automatic generation of context-aware web services compositions | 1.1 Articolo in rivista | 2007 | G., DI LORENZO; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria | |
The software architecture of the OsMoSys Multisolution Framework | 4.1 Articoli in Atti di convegno | 2007 | Moscato, Francesco; F., Flammini; G., DI LORENZO; Vittorini, Valeria; S., Marrone; M., Iacono | |
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO | 4.1 Articoli in Atti di convegno | 2008 | Franceschetti, Giorgio; Guida, Raffaella; Imperatore, Pasquale; Iodice, Antonio; Mazzocca, Nicola; Moscato, Francesco; Riccio, Daniele; Ruello, Giuseppe | |
Strumento su Piattaforma GRID per la Predizione del Campo Elettromagnetico in Aree Urbane | 4.1 Articoli in Atti di convegno | 2008 | Imperatore, Pasquale; Moscato, Francesco; Guida, Raffaella; Ruello, Giuseppe; Iodice, Antonio; Riccio, Daniele; Mazzocca, Nicola; Franceschetti, Giorgio | |
Multiformalism techniques for critical infrastructure modelling | 1.1 Articolo in rivista | 2010 | F., Flammini; Mazzocca, Nicola; Moscato, Francesco; Pappalardo, Alfio; C., Pragliola; Vittorini, Valeria | |
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems | 4.1 Articoli in Atti di convegno | 2003 | Moscato, Francesco; M., Iacono; Mazzocca, Nicola | |
Automatic Analysis of Control Flow inWeb Services Composition Processes | 4.1 Articoli in Atti di convegno | 2007 | G., DI LORENZO; Moscato, Francesco; Mazzocca, Nicola; Vittorini, Valeria | |
Multisolution of complex performability models in the OsMoSys/DrawNET framework | 4.1 Articoli in Atti di convegno | 2005 | Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco | |
Down-regulation of Wild-type p53-induced Phosphatase 1 (Wip1) Plays a Critical Role in Regulating Several p53-dependent Functions in Premature Senescent Tumor Cells | 1.1 Articolo in rivista | 2013 | Crescenzi, Elvira; Z., Raia; Pacifico, FRANCESCO MARIA; Mellone, Stefania; Moscato, Francesco; Palumbo, Giuseppe; Leonardi, Antonio | |
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Mazzocca, Nicola; Vittorini, Valeria; G., DI LORENZO; M., Magaldi; P., Mosca; Moscato, Francesco | |
A Formal Model for Autonomous Planning in High Performance Systems | 4.1 Articoli in Atti di convegno | 2016 | Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco | |
Verification and Planning in Agent-Based Systems | 4.1 Articoli in Atti di convegno | 2015 | Amato, Flora; Mazzeo, Antonino; Moscato, Francesco; Pianese, D. | |
Pattern-based orchestration and automatic verification of composite cloud services | 1.1 Articolo in rivista | 2016 | Amato, Flora; Moscato, Francesco | |
Automatic cloud services composition for big data management | 4.1 Articoli in Atti di convegno | 2016 | Amato, Flora; Moscato, Francesco | |
A model driven approach to data privacy verification in e-health systems | 1.1 Articolo in rivista | 2015 | Amato, Flora; Moscato, Francesco | |
Model-driven engineering of cloud components in MetaMORP(h)OSY | 1.1 Articolo in rivista | 2014 | Moscato, Francesco; Amato, Flora; A., Amato; R., Aversa | |
Model driven design and evaluation of security level in orchestrated cloud services | 1.1 Articolo in rivista | 2018 | Amato, Flora; Mazzocca, Nicola; Moscato, Francesco | |
Model transformations of MapReduce Design Patterns for automatic development and verification | 1.1 Articolo in rivista | 2017 | Amato, Flora; Moscato, Francesco | |
Message from BOSON 2017 international workshop organizers | 7.1 Curatore o Editor di Libri Scientifici | 2017 | Amato, Flora; Moscato, Francesco; Moscato, Vincenzo |