statistiche ricercatore

Continente	#
NA - Nord America	255
EU - Europa	152
AS - Asia	106
AF - Africa	4
Continente sconosciuto - Info sul continente non disponibili	2
SA - Sud America	2
OC - Oceania	1
Totale	522

Nome	#
Download malware? no, thanks: how formal methods can block update attacks	60
Identification of Android Malware Families with Model Checking	57
Model Checking Techniques Applied to Satellite Operational Mode Management	47
Identifying Mobile Repackaged Applications through Formal Methods	45
Ransomware Steals Your Phone. Formal Methods Rescue It	44
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking	43
LEILA: formaL tool for idEntifying mobIle maLicious behAviour	43
Detecting Video Game-Specific Bad Smells in Unity Projects	43
Hey Malware, I Can Find You!	40
Talos: no more ransomware victims with formal methods	36
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique	31
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems	23
UnityLint: A Bad Smell Detector for Unity	12
Video Game Bad Smells: What They Are and How Developers Perceive Them	7
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study	7
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching	5
Totale	543

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	39	0	0	0	0	0	11	2	13	1	10	2	0
2020/2021	119	10	12	0	10	1	26	1	11	5	12	30	1
2021/2022	51	4	0	25	7	0	0	0	10	3	0	2	0
2022/2023	104	22	0	7	11	1	13	2	7	12	0	24	5
2023/2024	70	10	8	17	4	5	0	0	0	16	5	0	5
2024/2025	82	18	3	8	2	46	5	0	0	0	0	0	0
Totale													543