skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 10 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Villani, M.L.  [Clear All Filters]
2009
Bodhuin, T.., F.. Pagnozzi, A.. Santone, M.. Tortorella, and M.L.. Villani, "Abstracting models from execution traces for performing formal verification", Communications in Computer and Information Science, vol. 59 CCIS, pp. 143-150, 2009.
Canfora, G., M. Di Penta, P.. Lombardi, and M.L.. Villani, "Dynamic composition of web applications in human-centered processes", Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, PESOS 2009, 2009.
2007
Di Penta, M., A. Santone, and M.L.. Villani, "Discovery of SOA patterns via model checking", IW-SOSWE'07: 2nd International Workshop on Service Oriented Software Engineering - In conjunction with the 6th ESEC/FSE Joint Meeting, 2007.
Di Nitto, E.., M. Di Penta, A.. Gambi, G.. Ripa, and M.L.. Villani, "Negotiation of service level agreements: An architecture and a search-based approach", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4749 LNCS, 2007.
2006
Canfora, G., M. Di Penta, R.. Esposito, F.. Perfetto, and M.L.. Villani, "Service composition (re)binding driven by application-specific QoS", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4294 LNCS, 2006.
2005
Canfora, G., M. Di Penta, R.. Esposito, and M.L.. Villani, "An approach for QoS-aware service composition on algorithms", GECCO 2005 - Genetic and Evolutionary Computation Conference, 2005.
Canfora, G., M. Di Penta, R.. Esposito, and M.L.. Villani, "QoS-aware replanning of composite Web services", Proceedings - 2005 IEEE International Conference on Web Services, ICWS 2005, vol. 2005, 2005.
2002
Aversano, L.., A.. Cimitile, P.. Gallucci, and M.L.. Villani, "FlowManager: A workflow management system based on Petri nets", Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, pp. 1054-1059, 2002.