Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDAntonella Santone
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j62]Giacomo Iadarola
, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Towards an interpretable deep learning model for mobile malware detection and family identification. Comput. Secur. 105: 102198 (2021)- [j61]Rosangela Casolare, Carlo De Dominicis, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Dynamic Mobile Malware Detection through System Call-based Image representation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(1): 44-63 (2021) - [j60]Francesco Mercaldo, Antonella Santone:
Audio signal processing for Android malware detection and family identification. J. Comput. Virol. Hacking Tech. 17(2): 139-152 (2021) - [c96]Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli:
A Methodology based on Formal Methods for Thermal Ablation Area Detection. BIOINFORMATICS 2021: 191-194 - [c95]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. ICISSP 2021: 811-818 - [c94]Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Mobile Family Detection through Audio Signals Classification. SECRYPT 2021: 479-486 - 2020
- [j59]Lanfranco Lopriore, Antonella Santone:
Extended pointers for memory protection in single address space systems. Comput. Electr. Eng. 82: 106551 (2020) - [j58]Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah:
Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83: 102504 (2020) - [j57]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
An ensemble learning approach for brain cancer detection exploiting radiomic features. Comput. Methods Programs Biomed. 185: 105134 (2020) - [j56]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays. Comput. Methods Programs Biomed. 196: 105608 (2020) - [j55]Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini:
Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. 90: 101691 (2020) - [j54]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata for Mobile Ransomware Detection. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j53]Domenico Raucci, Antonella Santone, Francesco Mercaldo, Tomasz Dyczkowski:
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes. Ind. Manag. Data Syst. 120(7): 1383-1400 (2020) - [j52]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences. Inf. 11(6): 304 (2020) - [j51]Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone:
Visualizing the outcome of dynamic analysis of Android malware with VizMal. J. Inf. Secur. Appl. 50 (2020) - [j50]Philipp Kreimel, Oliver Eigner, Francesco Mercaldo, Antonella Santone, Paul Tavolato:
Anomaly detection in substation networks. J. Inf. Secur. Appl. 54: 102527 (2020) - [j49]Longquan Jiang, Xuan Sun, Francesco Mercaldo, Antonella Santone:
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification. Knowl. Based Syst. 210: 106486 (2020) - [j48]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Radiomics for Gleason Score Detection through Deep Learning. Sensors 20(18): 5411 (2020) - [j47]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020) - [j46]Antonella Santone:
Editorial. J. Comput. Virol. Hacking Tech. 16(1): 1-2 (2020) - [j45]Francesco Mercaldo, Antonella Santone:
Deep learning for image-based mobile malware detection. J. Comput. Virol. Hacking Tech. 16(2): 157-171 (2020) - [c93]Rosangela Casolare, Carlo De Dominicis, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
VisualDroid: automatic triage and detection of Android repackaged applications. ARES 2020: 50:1-50:7 - [c92]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Colluding Android Apps Detection via Model Checking. AINA Workshops 2020: 776-786 - [c91]Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone:
Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. AINA Workshops 2020: 890-901 - [c90]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops 2020: 959-969 - [c89]Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA 2020: 1368-1382 - [c88]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP 2020: 804-814 - [c87]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP 2020: 825-834 - [c86]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Bank Credit Risk Management based on Data Mining Techniques. ICISSP 2020: 837-843 - [c85]Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone:
Identify Potential Attacks from Simulated Log Analysis. IJCNN 2020: 1-6 - [c84]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers. IJCNN 2020: 1-8 - [c83]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Malicious Collusion Detection in Mobile Environment by means of Model Checking. IJCNN 2020: 1-6 - [c82]Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone:
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN 2020: 1-8 - [c81]Francesco Mercaldo, Antonella Santone, Francesco Tariello, Giuseppe Peter Vanoli:
Hourly Global Solar Radiation Reconstruction Applying Machine Learning. IJCNN 2020: 1-8 - [c80]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques. IoTBDS 2020: 499-506 - [c79]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. ISSRE Workshops 2020: 255-260 - [c78]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Deep learning for heart disease detection through cardiac sounds. KES 2020: 2202-2211 - [c77]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine learning for coronavirus covid-19 detection from chest x-rays. KES 2020: 2212-2221 - [c76]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine Learning for Driver Detection through CAN bus. VTC Spring 2020: 1-5
2010 – 2019
- 2019
- [j44]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification. IEEE Access 7: 186236-186246 (2019) - [j43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019) - [j42]Lanfranco Lopriore, Antonella Santone:
Protected pointers to specify access privileges in distributed systems. J. Parallel Distributed Comput. 126: 1-12 (2019) - [j41]Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo:
Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. 13(1): 1018-1029 (2019) - [j40]Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23(9): 2863-2875 (2019) - [j39]Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019) - [c75]Giovanni Capobianco, Umberto Di Giacomo, Tommaso Di Tusa, Francesco Mercaldo, Antonella Santone:
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking. IEEE BigData 2019: 5995-5997 - [c74]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Model Checking based Proposal for Mobile Colluding Attack Detection. IEEE BigData 2019: 5998-6000 - [c73]Fabio Di Tommaso, Michele Guerra, Fabio Martinelli, Francesco Mercaldo, Massimo Piedimonte, Giovanni Rosa, Antonella Santone:
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. IEEE BigData 2019: 6232-6234 - [c72]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS 2019: 670-672 - [c71]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Investigating Mobile Applications Quality in Official and Third-party Marketplaces. ENASE 2019: 169-178 - [c70]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Can Machine Learning Predict Soccer Match Results? ICAART (2) 2019: 458-465 - [c69]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Spyware Detection using Temporal Logic. ICISSP 2019: 690-699 - [c68]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494 - [c67]Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone:
Machine Learning to Identify Gender via Hair Elements. IJCNN 2019: 1-7 - [c66]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Neural Networks for Lung Cancer Detection through Radiomic Features. IJCNN 2019: 1-10 - [c65]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. IJCNN 2019: 1-10 - [c64]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Social Network Polluting Contents Detection through Deep Learning Techniques. IJCNN 2019: 1-10 - [c63]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Formal Methods for Android Banking Malware Analysis and Detection. IoTSMS 2019: 331-336 - [c62]Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Exploiting Model Checking for Mobile Botnet Detection. KES 2019: 963-972 - [c61]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. KES 2019: 1045-1052 - [c60]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Model Checking for Data Anomaly Detection. KES 2019: 1277-1286 - [c59]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone:
Dunuen: A User-Friendly Formal Verification Tool. KES 2019: 1431-1438 - [c58]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods. KES 2019: 1787-1794 - [c57]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Radiomic Features for Medical Images Tamper Detection by Equivalence Checking. KES 2019: 1795-1802 - [c56]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Formal Modeling for Magnetic Resonance Images Tamper Mitigation. KES 2019: 1803-1810 - [c55]Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Wearable Devices for Human Activity Recognition and User Detection. PDP 2019: 365-372 - [c54]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Real-Time SCADA Attack Detection by Means of Formal Methods. WETICE 2019: 231-236 - [c53]Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone:
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE 2019: 249-254 - 2018
- [j38]Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17(6): 719-738 (2018) - [j37]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile:
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119: 203-218 (2018) - [j36]Antonella Santone:
Special issue on formal methods for security engineering. J. Comput. Virol. Hacking Tech. 14(4): 251 (2018) - [c52]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone:
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment. IEEE BigData 2018: 5305-5307 - [c51]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Measuring Mobile Applications Quality and Security in Higher Education. IEEE BigData 2018: 5319-5321 - [c50]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372 - [c49]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569 - [c48]Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018 - [c47]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148 - [c46]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - [c45]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250 - 2017
- [c44]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6 - [c43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904 - [c42]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7 - [c41]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682 - [c40]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c39]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES 2017: 2519-2528 - [c38]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - 2016
- [j35]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Softw. Syst. Model. 15(2): 513-530 (2016) - [c37]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Ransomware Inside Out. ARES 2016: 628-637 - [c36]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE 2016: 212-221 - [c35]Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identification of Android Malware Families with Model Checking. ICISSP 2016: 542-547 - [c34]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE 2016: 22-28 - [c33]Antonella Santone, Gigliola Vaglini:
Conformance Checking using Formal Methods. ICSOFT-EA 2016: 258-263 - [c32]Vittoria Nardone, Domenico Raucci, Antonella Santone:
Model Checking to Support Action Controls in the Purchasing Process. WETICE 2016: 199-204 - [c31]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Hey Malware, I Can Find You! WETICE 2016: 261-262 - 2015
- [c30]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Improving Design Patterns Finder Precision Using a Model Checking Approach. CAiSE Forum 2015: 113-120 - [c29]Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS 2015: 181-198 - [c28]Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone:
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE 2015: 26-32 - [c27]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. ICSOFT-PT 2015: 53-63 - [c26]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Integrating Model Driven and Model Checking to Mine Design Patterns. ICSOFT (Selected Papers) 2015: 99-117 - [c25]Giuseppe De Ruvo, Antonella Santone:
Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. WETICE 2015: 204-209 - [c24]Giuseppe De Ruvo, Antonella Santone:
Analysing Wiki Quality Using Probabilistic Model Checking. WETICE 2015: 224-229 - 2014
- [j34]Antonella Santone, Gigliola Vaglini:
Model Checking Properties on Reduced Trace Systems. Algorithms 7(3): 339-362 (2014) - [j33]Antonio Cuomo, Antonella Santone, Umberto Villano:
CD-Form: A clone detector based on formal methods. Sci. Comput. Program. 95: 390-405 (2014) - [j32]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23(3): 24:1-24:26 (2014) - [c23]Giuseppe De Ruvo, Antonella Santone, Domenico Raucci:
Powerful Equivalence Checking in the Bank Supply Process. SERVICES 2014: 87-94 - [c22]Giuseppe De Ruvo, Antonella Santone:
An Eclipse-Based Editor to Support LOTOS Newcomers. WETICE 2014: 372-377 - [c21]Giuseppe De Ruvo, Antonella Santone:
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. WETICE 2014: 411-416 - 2013
- [j31]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Incremental construction of systems: An efficient characterization of the lacking sub-system. Sci. Comput. Program. 78(9): 1346-1367 (2013) - [c20]Michele Ceccarelli, Luigi Cerulo, Antonella Santone:
Infer gene regulatory networks from time series data with formal methods. BIBM 2013: 115-120 - [c19]Antonella Santone, Gigliola Vaglini:
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT 2013: 233-238 - [c18]Antonella Santone, Valentina Intilangelo, Domenico Raucci:
Efficient Formal Verification in Banking Processes. SERVICES 2013: 325-332 - [c17]Antonella Santone, Valentina Intilangelo, Domenico Raucci:
Application of Equivalence Checking in a Loan Origination Process in Banking Industry. WETICE 2013: 292-297 - 2012
- [j30]Antonella Santone, Gigliola Vaglini:
Abstract reduction in directed model checking CCS processes. Acta Informatica 49(5): 313-341 (2012) - [c16]Antonella Santone, Gigliola Vaglini:
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT 2012: 336-339 - [c15]Antonio Cuomo, Antonella Santone, Umberto Villano:
A novel approach based on formal methods for clone detection. IWSC 2012: 8-14 - 2011
- [c14]Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC 2011: 108-117 - [c13]Antonella Santone:
Clone detection through process algebras and Java bytecode. IWSC 2011: 73-74
2000 – 2009
- 2009
- [c12]Antonella Santone, Maria Tortorella:
Applying Formal Methods to Process Innovation. FGIT-ASEA 2009: 135-142 - [c11]Thierry Bodhuin, Federico Pagnozzi, Antonella Santone, Maria Tortorella, Maria Luisa Villani:
Abstracting Models from Execution Traces for Performing Formal Verification. FGIT-ASEA 2009: 143-150 - [c10]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22 - 2008
- [j29]Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Modular formal verification of specifications of concurrent systems. Softw. Test. Verification Reliab. 18(1): 5-28 (2008) - 2007
- [j28]Sara Gradara, Antonella Santone, Maria Luisa Villani:
Formal Verification of Concurrent Systems via Directed Model Checking. Electron. Notes Theor. Comput. Sci. 185: 93-105 (2007) - [j27]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007) - [c9]