IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.113
NA - Nord America 5.095
AS - Asia 752
AF - Africa 597
SA - Sud America 16
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 5
Totale 11.590
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.014
IE - Irlanda 2.302
IT - Italia 849
CI - Costa d'Avorio 580
UA - Ucraina 461
DE - Germania 402
FI - Finlandia 392
CN - Cina 332
SE - Svezia 281
SG - Singapore 241
AT - Austria 99
CA - Canada 78
BE - Belgio 63
IN - India 61
GR - Grecia 56
FR - Francia 54
GB - Regno Unito 45
SI - Slovenia 30
IR - Iran 20
PL - Polonia 18
JP - Giappone 14
KR - Corea 13
CH - Svizzera 11
RO - Romania 11
TR - Turchia 11
AU - Australia 10
NL - Olanda 10
BR - Brasile 9
PK - Pakistan 9
HK - Hong Kong 7
ID - Indonesia 7
MY - Malesia 6
ES - Italia 5
NO - Norvegia 5
RU - Federazione Russa 5
CM - Camerun 4
EU - Europa 4
PE - Perù 4
TW - Taiwan 4
BD - Bangladesh 3
DK - Danimarca 3
IQ - Iraq 3
MX - Messico 3
PT - Portogallo 3
QA - Qatar 3
TH - Thailandia 3
AO - Angola 2
BW - Botswana 2
CZ - Repubblica Ceca 2
IL - Israele 2
JO - Giordania 2
KE - Kenya 2
LB - Libano 2
LT - Lituania 2
MA - Marocco 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SA - Arabia Saudita 2
SD - Sudan 2
VN - Vietnam 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AR - Argentina 1
BG - Bulgaria 1
CL - Cile 1
CO - Colombia 1
EE - Estonia 1
EG - Egitto 1
HU - Ungheria 1
LK - Sri Lanka 1
LU - Lussemburgo 1
NG - Nigeria 1
ZM - Zambia 1
Totale 11.590
Salva come PNG Salva come JPEG
Città #
Dublin 2.302
Chandler 1.228
Jacksonville 1.063
Abidjan 580
Baranello 343
Helsinki 340
Wilmington 274
Princeton 202
San Mateo 162
Singapore 143
Ann Arbor 120
Ashburn 108
Vienna 97
Dallas 81
Beijing 67
Boardman 65
Dearborn 63
Brussels 62
Lappeenranta 52
Ottawa 52
Redwood City 46
Molise 41
New York 39
Woodbridge 28
Jinan 27
Milan 27
Rome 25
Houston 24
Shenyang 21
Nanjing 20
Tianjin 20
Redmond 17
Campobasso 16
Los Angeles 16
Norwalk 15
Washington 15
Zhengzhou 14
Guangzhou 13
Naples 12
Hangzhou 11
Leawood 11
Shanghai 11
Gunzenhausen 10
Mumbai 10
Napoli 10
Santa Clara 10
Borås 9
Falkenstein 9
Falls Church 9
Mountain View 9
Pune 9
Seattle 9
Frankfurt am Main 8
L'aquila 8
Lanzhou 8
Montoro 8
Morcone 8
Nanchang 8
Paris 8
Taizhou 8
Berlin 7
Changsha 7
Hebei 7
Kunming 7
Ningbo 7
Toronto 7
Xian 7
Bari 6
Chengdu 6
Melíki 6
Rumia 6
Trezzo 6
Afragola 5
Draveil 5
Haikou 5
Islamabad 5
Jakarta 5
Monmouth Junction 5
Ottaviano 5
Rockville 5
Bremen 4
Cambridge 4
Casalciprano 4
Catania 4
Cava 4
Clearwater 4
Colchester 4
Columbus 4
Fuzhou 4
Isernia 4
Martinsicuro 4
Padova 4
Pescara 4
Phoenix 4
Pisa 4
Portocannone 4
San Giovanni Rotondo 4
Serra 4
Sydney 4
São Paulo 4
Totale 8.230
Salva come PNG Salva come JPEG
Nome #
Can machine learning predict soccer match results? 164
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 132
Poster: A data life cycle modeling proposal by means of formal methods 101
Wearable Devices for Human Activity Recognition and User Detection 99
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 97
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 94
Model Checking Techniques applied to Satellite Operational Mode Management 89
A blockchain based proposal for protecting healthcare systems through formal methods 89
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 88
An ensemble learning approach for brain cancer detection exploiting radiomic features 86
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 85
Talos: No more Ransomware Victims with Formal Methods 85
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 84
Measuring Mobile Applications Quality and Security in Higher Education 82
Deep learning for image-based mobile malware detection 82
Car Hacking Identification through Fuzzy Logic Algorithms 81
Model Checking to Detect the Hummingbad Malware 81
Evaluating model checking for cyber threats code obfuscation identification 80
Spyware detection using temporal logic 80
Visualizing the outcome of dynamic analysis of Android malware with VizMal 76
Machine Learning to Identify Gender via Hair Elements 75
Investigating mobile applications quality in official and third-party marketplaces 74
Real-time driver behaviour characterization through rule-based machine learning 73
Formal Methods for Android Banking Malware Analysis and Detection 73
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 73
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 72
Real-Time SCADA Attack Detection by Means of Formal Methods 71
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 71
Neural Networks for Lung Cancer Detection through Radiomic Features 71
Formal modeling for magnetic resonance images tamper mitigation 71
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 71
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 70
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 70
Android run-time permission exploitation user awareness by means of formal methods 69
De novo Reconstruction of Gene Regulatory Networks from Time Series, an approach based on Formal Methods 68
A “pay-how-you-drive” car insurance approach through cluster analysis 68
Model checking based approach for compliance checking 68
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems 67
Dynamic mobile malware detection through system call-based image representation 67
A Model Checking based Proposal for Mobile Colluding Attack Detection 66
Accidental sensitive data leaks prevention via formal verification 66
Colluding Android Apps Detection via Model Checking 65
Exploiting supervised machine learning for driver detection in a real-world environment 65
Automated Verification of Fault Tolerance Mechanism 64
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 64
Dunuen: A user-friendly formal verification tool 64
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 64
A methodology based on formal methods for thermal ablation area detection 64
Local Model Checking of Java Bytecode 63
k-bisimulation: a new bisimulation for defining the dissimilarity between processes 63
Malicious Collusion Detection in Mobile Environment by means of Model Checking 63
VisualDroid: Automatic triage and detection of Android repackaged applications 63
A Notion of Non-Interference for Timed Automata 62
Exploiting model checking for mobile botnet detection 62
Applying formal methods to process innovation 61
Identifying Mobile Repackaged Applications through Formal Methods 61
Identification of Android Malware Families with Model Checking 61
Model Checking Multithreaded Programs by means of reduced models 61
Detecting colluding inter-app communication in mobile environment 61
A method for automatic penetration testing and mitigation: A Red Hat approach 61
Abstracting models from execution traces for performing formal verification 60
Automatable Integrations for the Reuse of Concurrent Specifications 60
A Tableau-based Procedure for Model Checking Programs 60
Model checking for data anomaly detection 60
Abstract Reduction in Directed Model Checking CCS Processes 60
Mobile family detection through audio signals classification 60
State Space Reduction by Non-Standard Semantics for Deadlock Analysis 59
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 59
Cluster Analysis for Driver Aggressiveness Identification 59
Energy consumption metrics for mobile device dynamic malware detection 59
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes 59
Abstract Interpretation of Trace Semantics for Concurrent Calculi 58
Formal Methods Meet Mobile Code Obfuscation 58
Application of Equivalence Checking in a Loan Origination Process in Banking Industry 58
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 58
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 58
Anomaly detection in substation networks 58
2Faces: a new model of malware based on dynamic compiling and reflection 58
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 58
GreASE: a tool for efficient “non-equivalence” checking 57
A novel approach based on formal methods for clone detection 57
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 57
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 57
A User-Friendly Interface to Specify Temporal Properties of Concurrent Systems 56
A formula-driven modular attack on state explosion 56
Logic Based Abstractions of Real-time Systems 56
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 56
A* for Deadlock Detection in CCS processes 56
Safety Critical Systems Formal Verification Using Execution Traces 56
Social Network Polluting Contents Detection through Deep Learning Techniques 56
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 55
Model checking for malicious family detection and phylogenetic analysis in mobile environment 55
A Notion of Non-Interference for Timed Automata 54
CD-Form: A Clone Detector based on Formal Methods 54
How Discover a Malware using Model Checking 54
Ransomware Steals your Phone. Formal Methods Rescue it 54
Formula-based Abstractions and Symbolic Execution for Model Checking Programs 54
Checking Safety Proprieties through Simulation and Heuristic Search 54
A Non-Standard Semantics for Generating Reduced Transition Systems 54
Heuristic Search for Equivalence Checking 54
Totale 6.802
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68.241
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 68.241
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.183 0 0 145 70 150 53 236 57 189 66 33 184
2020/20211.469 37 156 11 262 204 97 200 37 183 56 195 31
2021/20221.151 30 160 10 41 92 68 50 108 173 125 68 226
2022/20235.088 565 163 74 422 196 374 19 261 2.705 108 112 89
2023/20241.449 261 183 50 48 36 128 112 55 26 78 354 118
2024/2025969 733 233 3 0 0 0 0 0 0 0 0 0
Totale 11.997