Maria Luisa Villani

2008
15	EE	Gerardo 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)
14	EE	Sara 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
13	EE	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. ICSOC 2007: 295-306
12	EE	Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani: Discovery of SOA patterns via model checking. IW-SOSWE 2007: 8-14
11	EE	Sara 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
10	EE	Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, Maria Luisa Villani: Service Composition (re)Binding Driven by Application-Specific QoS. ICSOC 2006: 141-152
9	EE	Sara 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
8	EE	Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani: An approach for QoS-aware service composition based on genetic algorithms. GECCO 2005: 1069-1075
7	EE	Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani: QoS-Aware Replanning of Composite Web Services. ICWS 2005: 121-129
6	EE	Gerardo 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)
5	EE	Sara Gradara, Antonella Santone, Maria Luisa Villani: Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202(2): 191-226 (2005)
2004
4	EE	Sara 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)
3	EE	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. Software Process: Improvement and Practice 9(4): 239-263 (2004)
2002
2	EE	Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani: FlowManager: A Workflow Management System Based on Petri Nets. COMPSAC 2002: 1054-1059
1	EE	Gerardo Canfora, Sandro Manzo, Vincenzo Fabio Rollo, Maria Luisa Villani: ContentP2P: A Peer-to-Peer Content Management System. COMPSAC 2002: 773-778

Coauthor Index

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