CATALOGO DEI PRODOTTI DELLA RICERCA

PASQUA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.515
AS - Asia 963
NA - Nord America 934
SA - Sud America 151
AF - Africa 34
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.602
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 906
RU - Federazione Russa 688
SG - Singapore 417
IT - Italia 252
CN - Cina 216
GB - Regno Unito 178
BR - Brasile 125
HK - Hong Kong 104
VN - Vietnam 102
FR - Francia 92
SE - Svezia 64
IE - Irlanda 56
DE - Germania 44
FI - Finlandia 44
KR - Corea 29
AT - Austria 23
ID - Indonesia 18
IN - India 16
CA - Canada 15
IR - Iran 15
JP - Giappone 15
NL - Olanda 15
BJ - Benin 10
TG - Togo 10
PL - Polonia 9
AR - Argentina 8
BE - Belgio 8
MX - Messico 8
UA - Ucraina 8
BD - Bangladesh 6
EC - Ecuador 6
ES - Italia 6
AU - Australia 4
CH - Svizzera 4
CZ - Repubblica Ceca 4
IQ - Iraq 4
LU - Lussemburgo 4
NP - Nepal 4
TH - Thailandia 4
TR - Turchia 4
UY - Uruguay 4
LT - Lituania 3
PY - Paraguay 3
ZA - Sudafrica 3
CO - Colombia 2
DK - Danimarca 2
EE - Estonia 2
GA - Gabon 2
GR - Grecia 2
GY - Guiana 2
KE - Kenya 2
MA - Marocco 2
MR - Mauritania 2
NO - Norvegia 2
RS - Serbia 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BZ - Belize 1
CG - Congo 1
EG - Egitto 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
JM - Giamaica 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
SV - El Salvador 1
TJ - Tagikistan 1
TN - Tunisia 1
Totale 3.602
Salva come PNG Salva come JPEG
Città #
Moscow 260
Singapore 153
Dallas 133
Southend 124
Ashburn 120
Chandler 116
Hong Kong 103
Verona 82
Dublin 52
Beijing 43
Helsinki 35
Ho Chi Minh City 35
The Dalles 32
Los Angeles 29
Jacksonville 25
Dong Ket 21
Council Bluffs 20
Milan 19
New York 19
Vienna 18
Lawrence 16
London 16
Princeton 16
Ann Arbor 15
Jakarta 15
Hanoi 14
Jinan 14
São Paulo 14
Buffalo 13
Paris 13
Tokyo 13
Wilmington 13
Nanjing 12
Redondo Beach 11
Brooklyn 10
Cotonou 10
Lomé 10
Woodbridge 10
Santa Clara 9
Amsterdam 8
Rome 8
Seattle 8
Guangzhou 7
Ningbo 7
Rio de Janeiro 7
Sindelfingen 7
Stockholm 7
Zhengzhou 7
Changsha 6
Hangzhou 6
Lappeenranta 6
Oxford 6
Warsaw 6
Brussels 5
Falkenstein 5
Frankfurt am Main 5
Redwood City 5
Santa Cruz 5
Shenyang 5
Belo Horizonte 4
Brasília 4
Cagliari 4
Cesena 4
Chennai 4
Columbus 4
Gothenburg 4
Greater Noida 4
Gävle 4
Jiaxing 4
Lana 4
Luxembourg 4
Mexico City 4
Montevideo 4
Padova 4
Padua 4
Poplar 4
Quito 4
Roseville 4
Seoul 4
Taiyuan 4
Tianjin 4
Toronto 4
Treviso 4
Udine 4
Veranópolis 4
Chicago 3
Da Nang 3
Denver 3
Etterbeek 3
Fuzhou 3
Haiphong 3
Hebei 3
Houston 3
Johannesburg 3
Manchester 3
Mumbai 3
Nakhon Ratchasima 3
Nanchang 3
Nashville 3
Nuremberg 3
Totale 1.958
Salva come PNG Salva come JPEG
Nome #
A semantics-based approach to software watermarking by abstract interpretation 251
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 221
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 183
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 144
Friendly Fire: Cross-App Interactions in IoT Platforms 135
Software Watermarking: A Semantics-based Approach 128
On topologies for (hyper)properties 127
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 122
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 120
Securing Cross-App Interactions in IoT Platforms 119
An abstract domain for objects in dynamic programming languages 117
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 112
Automated black-box testing of nominal and error scenarios in RESTful APIs 112
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 108
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 104
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 102
A Calculus for Attribute-Based Memory Updates 102
Supporting wine production from vineyard to glass through secure IoT devices and blockchain 101
Semantics-based software watermarking by abstract interpretation 97
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 95
Friendly Fire: Cross-App Interactions in IoT Platforms 95
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 94
Verifying Bounded Subset-Closed Hyperproperties 91
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 91
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 90
Restats: A Test Coverage Tool for RESTful APIs 85
Enhancing REST API Testing with NLP Techniques 81
AbU: A calculus for distributed event-driven programming with attribute-based interaction 80
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems 79
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools 77
Domain Precision in Galois Connection-Less Abstract Interpretation 77
Verifying Opacity by Abstract Interpretation 63
The AbU Language: IoT Distributed Programming Made Easy 57
On the Security and Safety of AbU Systems 46
Totale 3.706
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.762
article - articoli 3.095
book - libri 0
conference - conferenze 8.661
curatela - curatele 0
other - altro 1.006
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 25.524
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202189 0 0 0 0 0 9 17 13 3 1 12 34
2021/2022141 4 29 4 4 8 14 5 12 10 2 7 42
2022/2023369 24 25 36 40 36 81 19 26 50 11 13 8
2023/2024320 19 17 32 29 28 40 28 20 4 44 37 22
2024/2025784 37 26 23 123 25 50 43 52 106 72 120 107
2025/20261.569 140 103 207 417 594 108 0 0 0 0 0 0
Totale 3.706