Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maria Luisa Villani" ( http://dblp.L3S.de/Authors/Maria_Luisa_Villani )

  Author page on DBLP  Author page in RDF  Community of Maria Luisa Villani in ASPL-2

Publication years (Num. hits)
2002-2008 (15) 2009-2011 (2)
Publication types (Num. hits)
article(8) inproceedings(9)
Venues (Conferences, Journals, ...)
COMPSAC(3) Electr. Notes Theor. Comput. S...(2) ICSOC(2) ACM SIGSOFT Software Engineeri...(1) GECCO(1) ICSOFT(1) ICWS(1) Inf. Comput.(1) IW-SOSWE(1) J. Comput. Syst. Sci.(1) Journal of Systems and Softwar...(1) Softw. Test., Verif. Reliab.(1) Software Process: Improvement ...(1)
Authors
Maria Luisa Villani(17) Antonella Santone(8) Massimiliano Di Penta(7) Gerardo Canfora(6) Raffaele Esposito(5) Sara Gradara(5) Gigliola Vaglini(4) Lerina Aversano(2) Alessio Gambi(1) Amedeo Falanga(1) Andrea De Lucia(1) Aniello Cimitile(1) Antonio De Nigro(1) Debora Desideri(1) Elisabetta Di Nitto(1) Francesco Perfetto(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani Ant Colony Optimization for Deadlock Detection in Concurrent Systems. Search on Bibsonomy COMPSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonella Santone, Gigliola Vaglini, Maria Luisa Villani A Formula Driven Incremental Construction of Web Service Compositions. Search on Bibsonomy ICSOFT The full citation details ... 2009 DBLP  BibTeX  RDF
1Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani A framework for QoS-aware binding and re-binding of composite web services. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani Modular formal verification of specifications of concurrent systems. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sara Gradara, Antonella Santone, Maria Luisa Villani Formal Verification of Concurrent Systems via Directed Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elisabetta Di Nitto, Massimiliano Di Penta, Alessio Gambi, Gianluca Ripa, Maria Luisa Villani Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach. Search on Bibsonomy ICSOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Optimization Heuristics, Quality of Service, Negotiation, Service Level Agreements
1Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani Discovery of SOA patterns via model checking. Search on Bibsonomy IW-SOSWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SOA patterns, comprehension of service-oriented systems, model checking, pattern discovery
1Sara Gradara, Antonella Santone, Maria Luisa Villani DELFIN+: An efficient deadlock detection tool for CCS processes. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, Maria Luisa Villani Service Composition (re)Binding Driven by Application-Specific QoS. Search on Bibsonomy ICSOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sara Gradara, Antonella Santone, Maria Luisa Villani Using heuristic search for finding deadlocks in concurrent systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerardo 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. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic service discovery, automatic service negotiation, run-time binding, service replanning, service-oriented systems
1Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani An approach for QoS-aware service composition based on genetic algorithms. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF QoS-aware composition, service-oriented software engineering
1Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani QoS-Aware Replanning of Composite Web Services. Search on Bibsonomy ICWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Web Services, Composite, Dynamic binding, Replanning
1Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini Model Checking Multithreaded Programs by Means of Reduced Models. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato, Silvio Stefanucci, Maria Luisa Villani Managing coordination and cooperation in distributed software processes: the GENESIS environment. Search on Bibsonomy Software Process: Improvement and Practice The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerardo Canfora, Sandro Manzo, Vincenzo Fabio Rollo, Maria Luisa Villani ContentP2P: A Peer-to-Peer Content Management System. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani FlowManager: A Workflow Management System Based on Petri Nets. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.