dblp.uni-trier.dewww.uni-trier.de

Maria Luisa Villani Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
16 Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22
2008
15EEGerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani: A framework for QoS-aware binding and re-binding of composite web services. Journal of Systems and Software 81(10): 1754-1769 (2008)
14EESara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani: Modular formal verification of specifications of concurrent systems. Softw. Test., Verif. Reliab. 18(1): 5-28 (2008)
2007
13EEElisabetta Di Nitto, Massimiliano Di Penta, Alessio Gambi, Gianluca Ripa, Maria Luisa Villani: Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach. ICSOC 2007: 295-306
12EEMassimiliano Di Penta, Antonella Santone, Maria Luisa Villani: Discovery of SOA patterns via model checking. IW-SOSWE 2007: 8-14
11EESara Gradara, Antonella Santone, Maria Luisa Villani: Formal Verification of Concurrent Systems via Directed Model Checking. Electr. Notes Theor. Comput. Sci. 185: 93-105 (2007)
2006
10EEGerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, Maria Luisa Villani: Service Composition (re)Binding Driven by Application-Specific QoS. ICSOC 2006: 141-152
9EESara Gradara, Antonella Santone, Maria Luisa Villani: DELFIN+: An efficient deadlock detection tool for CCS processes. J. Comput. Syst. Sci. 72(8): 1397-1412 (2006)
2005
8EEGerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani: An approach for QoS-aware service composition based on genetic algorithms. GECCO 2005: 1069-1075
7EEGerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani: QoS-Aware Replanning of Composite Web Services. ICWS 2005: 121-129
6EEGerardo Canfora, Piero Corte, Antonio De Nigro, Debora Desideri, Massimiliano Di Penta, Raffaele Esposito, Amedeo Falanga, Gloria Renna, Rita Scognamiglio, Francesco Torelli, Maria Luisa Villani, Paolo Zampognaro: The C-Cube framework: developing autonomic applications through web services. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
5EESara Gradara, Antonella Santone, Maria Luisa Villani: Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202(2): 191-226 (2005)
2004
4EESara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini: Model Checking Multithreaded Programs by Means of Reduced Models. Electr. Notes Theor. Comput. Sci. 110: 55-74 (2004)
3EELerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato, Silvio Stefanucci, Maria Luisa Villani: Managing coordination and cooperation in distributed software processes: the GENESIS environment. Software Process: Improvement and Practice 9(4): 239-263 (2004)
2002
2EELerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani: FlowManager: A Workflow Management System Based on Petri Nets. COMPSAC 2002: 1054-1059
1EEGerardo Canfora, Sandro Manzo, Vincenzo Fabio Rollo, Maria Luisa Villani: ContentP2P: A Peer-to-Peer Content Management System. COMPSAC 2002: 773-778

Coauthor Index

1Lerina Aversano [2] [3]
2Gerardo Canfora [1] [6] [7] [8] [10] [15]
3Aniello Cimitile [2]
4Piero Corte [6]
5Debora Desideri [6]
6Raffaele Esposito [6] [7] [8] [10] [15]
7Amedeo Falanga [6]
8Matteo Gaeta [3]
9Pierpaolo Gallucci [2]
10Alessio Gambi [13]
11Sara Gradara [4] [5] [9] [11] [14]
12Andrea De Lucia [3]
13Sandro Manzo [1]
14Antonio De Nigro [6]
15Elisabetta Di Nitto [13]
16Massimiliano Di Penta [6] [7] [8] [10] [12] [13] [15]
17Francesco Perfetto [10]
18Gloria Renna [6]
19Gianluca Ripa [13]
20Pierluigi Ritrovato [3]
21Vincenzo Fabio Rollo [1]
22Antonella Santone [4] [5] [9] [11] [12] [14] [16]
23Rita Scognamiglio [6]
24Silvio Stefanucci [3]
25Francesco Torelli [6]
26Gigliola Vaglini [4] [14] [16]
27Paolo Zampognaro [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)