Search the dblp DataBase

Publications of Author

1. Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi
   Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. [Citation Graph (0, 0)][DBLP]
   HPCC, 2005, pp:395-400 [Conf]
   
2. Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
   A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. [Citation Graph (0, 0)][DBLP]
   PARA, 2004, pp:499-508 [Conf]
   
3. Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
   Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. [Citation Graph (0, 0)][DBLP]
   PDP, 2004, pp:134-0 [Conf]
   
4. Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
   Automatic Analysis of Control Flow inWeb Services Composition Processes. [Citation Graph (0, 0)][DBLP]
   PDP, 2007, pp:299-306 [Conf]
   
5. Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
   Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. [Citation Graph (0, 0)][DBLP]
   QEST, 2005, pp:85-94 [Conf]
   
6. 
   The software architecture of the OsMoSys multisolution framework. [Citation Graph (, )][DBLP]
   
   
7. 
   Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework. [Citation Graph (, )][DBLP]
   
   
8. 
   An Ontology Based Methodology for Automated Algorithms Recognition in Source Code. [Citation Graph (, )][DBLP]