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

Pubblicazioni di ateneo

Found 9 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Villani, Maria Luisa  [Clear All Filters]
2013
Santone, A., G. Vaglini, and M. Luisa Villani, "Incremental construction of systems: An efficient characterization of the lacking sub-system", Science of Computer Programming, vol. 78, no. 9: Elsevier, pp. 1346-1367, 2013.
2011
Francesca, G., A. Santone, G. Vaglini, and M. Luisa Villani, "Ant Colony Optimization for Deadlock Detection in Concurrent Systems", Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual: IEEE, pp. 108–117, 2011.
2009
Santone, A., G. Vaglini, and M. Luisa Villani, "A Formula Driven Incremental Construction of Web Service Compositions.", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 13–22, 2009.
2008
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular formal verification of specifications of concurrent systems", Software Testing, Verification and Reliability, vol. 18, no. 1: Wiley Online Library, pp. 5–28, 2008.
2007
Di Penta, M., A. Santone, and M. Luisa Villani, "Discovery of SOA patterns via model checking", 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting: ACM, pp. 8–14, 2007.
Gradara, S., A. Santone, and M. Luisa Villani, "Formal verification of concurrent systems via directed model checking", Electronic Notes in Theoretical Computer Science, vol. 185: Elsevier, pp. 93–105, 2007.
2006
Gradara, S., A. Santone, and M. Luisa Villani, "DELFIN+: An efficient deadlock detection tool for CCS processes", Journal of Computer and System Sciences, vol. 72, no. 8: Elsevier, pp. 1397–1412, 2006.
2005
Gradara, S., A. Santone, and M. Luisa Villani, "Using heuristic search for finding deadlocks in concurrent systems", Information and Computation, vol. 202, no. 2: Elsevier, pp. 191–226, 2005.
2004
Gradara, S., A. Santone, M. Luisa Villani, and G. Vaglini, "Model checking multithreaded programs by means of reduced models", Electronic Notes in Theoretical Computer Science, vol. 110: Elsevier, pp. 55–74, 2004.