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

Pubblicazioni di ateneo

Found 22 results
[ Author(Desc)] Titolo Tipo Anno
Filters: Author is Santone, A  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Santone, A., and G. Vaglini, "Reusing LOTOS specifications", Microprocessors and Microsystems, vol. 25, no. 6: Elsevier, pp. 309–314, 2001.
Santone, A., "Automatic verification of concurrent systems using a formula-based compositional approach", Acta informatica, vol. 38, no. 8: Springer, pp. 531–564, 2002.
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.
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, "Formula-based abstractions and symbolic execution for model checking programs", Microprocessors and Microsystems, vol. 28, no. 2: Elsevier, pp. 69–76, 2004.
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.
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., 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, "Model Checking Properties on Reduced Trace Systems", Algorithms, vol. 7, no. 3, pp. 339-362, 2014.
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.
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.
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.
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.
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.
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.
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.
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.
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., 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.
Santone, A., and G. Vaglini, "Conformance Checking using Formal Methods.", Proceedings of the 11th International Conference on Software and Data Technologies (ICSOFT), Lisbon, Portugal, 24-26 July, 2016.