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

Pubblicazioni di ateneo

Found 86 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is Santone, A  [Clear All Filters]
Conference Paper
De Ruvo, G., and A. Santone, "Analysing Wiki Quality Using Probabilistic Model Checking", 24th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2015, Larnaca, Cyprus, June 15-17, pp. 224–229, 2015.
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., 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., and G. Vaglini, "Automatable Integrations for the Reuse of Concurrent Specifications", Seventh IEEE Workshop on Empirical Studies of Software Maintenance: IEEE, pp. 12, 2001.
Bernardeschi, C., A. Fantechi, S. Gnesi, and A. Santone, "Automated verification of fault tolerance mechanisms", 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS), CWI, Amsterdam, 1998.
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.
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.
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., "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, "Conformance Checking using Formal Methods.", Proceedings of the 11th International Conference on Software and Data Technologies (ICSOFT), Lisbon, Portugal, 24-26 July, 2016.
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.
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.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download Malware? No, thanks. How Formal Methods can Block Update Attacks", 4th {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering, FormaliSE 2016, Austin Texas, USA, May 15, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Download malware? no, thanks: how formal methods can block update attacks", Proceedings of the 4th {FME} Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pp. 22–28, 2016.
De Ruvo, G., and A. Santone, "An Eclipse-based Editor to Support LOTOS Newcomers", Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2014 IEEE 23rd International Conference on, pp. 372-377, June, 2014.
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.
De Ruvo, G., A. Santone, and D. Raucci, "Equivalence Checking in the Bank Supply Process", 2014 IEEE 10th World Congress on, IEEE Computer Society, pp. 87-97, 2014.
De Ruvo, G., and A. Santone, "Equivalence-Based Selection of Best-Fit Models to Support Wiki Design", 24th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2015, Larnaca, Cyprus, June 15-17, pp. 204–209, 2015.
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.
Bernardeschi, C., A. Fantechi, S. Gnesi, and A. Santone, "Formal validation of fault tolerance mechanisms", Proc. Digest of FastAbstracts-28th Fault-Tolerant Computing Symposium (FTCS), Munich, Germany, pp. 66–67, 1998.
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Formula based abstractions of transition systems for real-time model checking", FM’99 Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, vol. 1708: Springer, pp. 289–306, 1999.
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., "Heuristic for Simulation Checking", International Conference on Artificial Intelligence, USA, pp. 293-299, 2011.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Hey Malware, I can Find You!", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2016, Paris, June 13-15, 2016.
Battista, P., F. Mercaldo, V. Nardone, A. Santone, and C. Aaron Visaggio, "Identification of Android Malware Families with Model Checking", 2nd International Conference on Information Systems Security and Privacy (ICISSP 2016), Rome, Italy, February 19-21, 2016.

Pages