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

Pubblicazioni di ateneo

Found 86 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Santone, A  [Clear All Filters]
2013
Santone, A., V. Intilangelo, and D. Raucci, "Application of Equivalence Checking in a Loan Origination Process in Banking Industry", Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE): IEEE, pp. 292-297, 2013.
Cuomo, A., A. Santone, and U.. Villano, "CD-Form: A clone detector based on formal methods", SCIENCE OF COMPUTER PROGRAMMING, 2013.
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Checking Safety Proprieties through Simulation and Heuristic Search", International Conference on Artificial Intelligence, USA, pp. 433 - 439, 2013.
Santone, A., V. Intilangelo, and D. Raucci, "Efficient Formal Verification in Banking Processes", IEEE Ninth World Congress on Services, SERVICES: IEEE, pp. 325-332, 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.
Santone, A., and G. Vaglini, "Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 233-238, 2013.
2012
Santone, A., and G. Vaglini, "Abstract reduction in directed model checking CCS processes", Acta informatica, vol. 49, no. 5: Springer, pp. 313–341, 2012.
Santone, A., and G. Vaglini, "Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.", Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pp. 336–339, 2012.
Cuomo, A., A. Santone, and U.. Villano, "A novel approach based on formal methods for clone detection", Proc. 6th International Workshop on Software Clones (IWSC), pp. 8–14, 2012.
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.
Santone, A., "Clone detection through process algebras and Java bytecode", Proceedings of the 5th International Workshop on Software Clones: ACM, pp. 73–74, 2011.
Santone, A., "Heuristic for Simulation Checking", International Conference on Artificial Intelligence, USA, pp. 293-299, 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.
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.
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.
De Francesco, N., A. Santone, and G. Vaglini, "A user-friendly interface to specify temporal properties of concurrent systems", Information Sciences, vol. 177, no. 1: Elsevier, pp. 299–311, 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
Santone, A., and G. Vaglini, "Compositionality and locality for improving model checking in the selective mu-calculus", Science of Computer Programming, vol. 54, no. 2: Elsevier, pp. 291–311, 2005.
Santone, A., and G. Vaglini, "A local approach for temporal model checking of Java bytecode", Journal of Computer and System Sciences, vol. 70, no. 2: Elsevier, pp. 258–281, 2005.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Reduced models for efficient CCS verification", Formal Methods in System Design, vol. 26, no. 3: Springer, pp. 319–350, 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
Santone, A., and G. Vaglini, "Formula-based abstractions and symbolic execution for model checking programs", Microprocessors and Microsystems, vol. 28, no. 2: Elsevier, pp. 69–76, 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.

Pages