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

Pubblicazioni di ateneo

Found 89 results
Author Titolo Tipo [ Anno(Desc)]
Filters: Author is Santone, A.  [Clear All Filters]
2002
Santone, A., and G. Vaglini, "Local model checking of Java bytecode", Proceedings of the 14th international conference on Software engineering and knowledge engineering: ACM, pp. 383–389, 2002.
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A notion of non-interference for timed automata", Fundamenta Informaticae, vol. 51, no. 1: IOS Press, pp. 1–11, 2002.
De Francesco, N., and A. Santone, "Syntactic reductions for efficient deadlock analysis", Software Testing, Verification and Reliability, vol. 12, no. 3: Wiley Online Library, pp. 173–186, 2002.
Santone, A., and G. Vaglini, "A tableau-based procedure for model checking programs", Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings of the 26th Annual International: IEEE, pp. 723–728, 2002.
De Francesco, N., and A. Santone, "A tool supporting efficient model checking of concurrent specifications", Microprocessors and Microsystems, vol. 25, no. 9: Elsevier, pp. 401–407, 2002.
2003
De Francesco, N., A. Santone, and L. Tesei, "Abstract interpretation and model checking for checking secure information flow in concurrent systems", Fundamenta Informaticae, vol. 54, no. 2: IOS Press, pp. 195–211, 2003.
De Francesco, N., A. Santone, and L. Tesei, "Abstract Interpretation and Model Checking for Checking Secure Information Flow", Fundamenta Informaticae, vol. 55, pp. 1–17, 2003.
Gradara, S., A. Santone, and M. Luisa Villani, "A* for Deadlock Detection in CCS processes", Concurrency Specification and Programming, 2003, Czarna, Poland, pp. 182-193, 2003.
Santone, A., "Heuristic search+ local model checking in selective mu-calculus", Software Engineering, IEEE Transactions on, vol. 29, no. 6: IEEE, pp. 510–523, 2003.
Santone, A., and G. Vaglini, "Modifying LOTOS specifications by means of automatable formula-based integrations", Journal of Automated Reasoning, vol. 30, no. 1: Springer, pp. 33–58, 2003.
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.
Gradara, S., A. Santone, G. Vaglini, and M. Luisa Villani, "Modular verification of abstract software descriptions", First Conference on the PRInciples of Software Engineering (PRISE'04), Buenos Aires, pp. 61-70, 2004.
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.
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.
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.
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.
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.
Santone, A.., and M.. Tortorella, "Applying formal methods to process innovation", Communications in Computer and Information Science, vol. 59 CCIS, pp. 135-142, 2009.

Pages