Search the dblp DataBase

Publications of Author

1. Gerardo Canfora, Sandro Manzo, Vincenzo Fabio Rollo, Maria Luisa Villani
   ContentP2P: A Peer-to-Peer Content Management System. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2002, pp:773-778 [Conf]
   
2. Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani
   FlowManager: A Workflow Management System Based on Petri Nets. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2002, pp:1054-1059 [Conf]
   
3. Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
   An approach for QoS-aware service composition based on genetic algorithms. [Citation Graph (0, 0)][DBLP]
   GECCO, 2005, pp:1069-1075 [Conf]
   
4. Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, Maria Luisa Villani
   Service Composition (re)Binding Driven by Application-Specific QoS. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2006, pp:141-152 [Conf]
   
5. Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
   QoS-Aware Replanning of Composite Web Services. [Citation Graph (0, 0)][DBLP]
   ICWS, 2005, pp:121-129 [Conf]
   
6. Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
   Model Checking Multithreaded Programs by Means of Reduced Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:55-74 [Journal]
   
7. Sara Gradara, Antonella Santone, Maria Luisa Villani
   Using heuristic search for finding deadlocks in concurrent systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2005, v:202, n:2, pp:191-226 [Journal]
   
8. Sara Gradara, Antonella Santone, Maria Luisa Villani
   DELFIN⁺: An efficient deadlock detection tool for CCS processes. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 2006, v:72, n:8, pp:1397-1412 [Journal]
   
9. Lerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato, Silvio Stefanucci, Maria Luisa Villani
   Managing coordination and cooperation in distributed software processes: the GENESIS environment. [Citation Graph (0, 0)][DBLP]
   Software Process: Improvement and Practice, 2004, v:9, n:4, pp:239-263 [Journal]
   
10. Elisabetta Di Nitto, Massimiliano Di Penta, Alessio Gambi, Gianluca Ripa, Maria Luisa Villani
    Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:295-306 [Conf]
    
11. Sara Gradara, Antonella Santone, Maria Luisa Villani
    Formal Verification of Concurrent Systems via Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:93-105 [Journal]
    
12. 
    A Formula Driven Incremental Construction of Web Service Compositions. [Citation Graph (, )][DBLP]
    
    
13. 
    Discovery of SOA patterns via model checking. [Citation Graph (, )][DBLP]