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

Pubblicazioni

2017
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.
2016
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.
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.
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.
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.
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.
2015
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.
2014
textbfCeccarelli, \textbfM. \, L. Cerulo, and A. Santone, De novo Reconstruction of Gene Regulatory Networks from Time Series Data, an approach based on Formal Methods, , vol. 69, no. 3, pp. 298–305, 2014.
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.
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.
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.
2013
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