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

Pubblicazioni

Conference Paper
Martinelli, F., F. Mercaldo, V. Nardone, A. Santone, and C. Aaron Visaggio, "Identifying Mobile Repackaged Applications through Formal Methods", Proceedings of the 3rd International Conference on Information Systems Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21, 2017., pp. 673–682, 2017.
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.
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.
Journal Article
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "Heuristic Search for Equivalence Checking", Software and Systems Modeling, vol. 15, no. 2, pp. 513-530, 2016.
Conference Paper
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.
Journal Article
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Integrating model driven and model checking to mine design patterns", Communications in Computer and Information Science, vol. 586, pp. 99-117, 2016.
Conference Paper
Raucci, D., V. Nardone, and A. Santone, "Model Checking to support Action Controls in the Purchasing Process", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2016, Paris, June 13-15, 2016.
Nardone, V., A. Santone, M. Tipaldi, and L.. Glielmo, "Probabilistic Model Checking applied to Spacecraft Reconfiguration", 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016, Florence, Italy, June 22-23: IEEE Computer Society, 2016.
Mercaldo, F., V. Nardone, and A. Santone, "Ransomware Inside Out", International Workshop on Malware Analysis (in conjunction with the 11th International Conference on Availability, Reliability and Security ARES 2016), Salzburg, Austria, August 31 - September 2, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Ransomware Steals your Phone. Formal Methods Rescue it.", Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Heraklion, Crete, June 6-9, 2016, Proceedings: Springer, 2016.
Mercaldo, F., V. Nardone, A. Santone, and C. Aaron Visaggio, "Ransomware Steals Your Phone. Formal Methods Rescue It", Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Cr, pp. 212–221, 2016.
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.
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.
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Improving Design Patterns Finder Precision Using a Model Checking Approach", Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 10th, pp. 113–120, 2015.
De Ruvo, G., G. Lettieri, D. Martino, A. Santone, and G. Vaglini, "k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes", Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, vol. 9539: Springer, pp. 181–198, 2015.
Bernardi, M. Luca, M. Cimitile, G. De Ruvo, G.A.. Di Lucca, and A. Santone, "Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems", {ICSOFT-PT} 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, pp. 53–63, 2015.
Conference Paper
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.
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.
Journal Article
De Francesco, N., G. Lettieri, A. Santone, and G. Vaglini, "GreASE: A Tool for Efficient "Nonequivalence" Checking", ACM Trans. Softw. Eng. Methodol., vol. 23, no. 3, pp. 24, 2014.
Santone, A., and G. Vaglini, "Model Checking Properties on Reduced Trace Systems", Algorithms, vol. 7, no. 3, pp. 339-362, 2014.
Conference Paper
De Ruvo, G., and A. Santone, "A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis", Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2014 IEEE 23rd International Conference on, pp. 411-416, June, 2014.
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.

Pages