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

Pubblicazioni di ateneo

Found 89 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Santone, A.  [Clear All Filters]
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.
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.
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.
2002
Santone, A., "Automatic verification of concurrent systems using a formula-based compositional approach", Acta informatica, vol. 38, no. 8: Springer, pp. 531–564, 2002.
De Francesco, N., and A. Santone, "Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking", Concurrency Specification and Programming, 2002, Berlin, Germany, pp. 105-116, 2002.
Mazzocca, N., A. Santone, G. Vaglini, and V. Vittorini, "Efficient model checking of properties of a distributed application: a multimedia case study", Software Testing, Verification and Reliability, vol. 12, no. 1: Wiley Online Library, pp. 3–21, 2002.
De Francesco, N., and A. Santone, "A Formula-Driven Modular Attack on State Explosion", International Journal of Foundations of Computer Science, vol. 13, no. 05: World Scientific, pp. 719–731, 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.
2001
Santone, A., and G. Vaglini, "Automatable Integrations for the Reuse of Concurrent Specifications", Seventh IEEE Workshop on Empirical Studies of Software Maintenance: IEEE, pp. 12, 2001.
Anastasi, G., A. Bartoli, N. De Francesco, and A. Santone, "Efficient verification of a multicast protocol for mobile computing", The Computer Journal, vol. 44, no. 1: Br Computer Soc, pp. 21–30, 2001.
Barbuti, R., N. De Francesco, A. Santone, and L. Tesei, "A Notion of Non-Interference for Timed Automata", Concurrency Specification and Programming, 2001, Warsaw, Poland, pp. 6-15, 2001.
Santone, A., and G. Vaglini, "Reusing LOTOS specifications", Microprocessors and Microsystems, vol. 25, no. 6: Elsevier, pp. 309–314, 2001.
2000
Santone, A., "Compositionality for Improving Model Checking", Formal Techniques for Distributed System Development, {FORTE/PSTV} 2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XIII)} and Protocol Specification, , pp. 105-120, 2000.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Logic based abstractions of real-time systems", Formal Methods in System Design, vol. 17, no. 3: Springer, pp. 201–220, 2000.
1999
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Abstract interpretation of trace semantics for concurrent calculi", Information processing letters, vol. 70, no. 2: Elsevier, pp. 69–78, 1999.

Pages