CATALOGO DEI PRODOTTI DELLA RICERCA

PASQUA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.725
NA - Nord America 1.723
AS - Asia 1.253
SA - Sud America 191
Continente sconosciuto - Info sul continente non disponibili 113
AF - Africa 55
OC - Oceania 4
Totale 5.064
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.656
RU - Federazione Russa 692
SG - Singapore 525
IT - Italia 406
CN - Cina 261
GB - Regno Unito 198
BR - Brasile 147
VN - Vietnam 125
HK - Hong Kong 116
FR - Francia 100
SE - Svezia 64
IE - Irlanda 56
DE - Germania 50
FI - Finlandia 47
CA - Canada 45
KR - Corea 37
IN - India 35
ID - Indonesia 29
BD - Bangladesh 26
AT - Austria 23
JP - Giappone 22
IR - Iran 18
NL - Olanda 17
NG - Nigeria 14
EC - Ecuador 12
AR - Argentina 10
BJ - Benin 10
MX - Messico 10
TG - Togo 10
UA - Ucraina 10
PL - Polonia 9
TW - Taiwan 9
BE - Belgio 8
CO - Colombia 7
TR - Turchia 7
ES - Italia 6
IQ - Iraq 6
LT - Lituania 6
LU - Lussemburgo 6
UZ - Uzbekistan 6
NP - Nepal 5
PY - Paraguay 5
TH - Thailandia 5
ZA - Sudafrica 5
AU - Australia 4
CH - Svizzera 4
CZ - Repubblica Ceca 4
KE - Kenya 4
NO - Norvegia 4
PH - Filippine 4
UY - Uruguay 4
CR - Costa Rica 3
EE - Estonia 3
GR - Grecia 3
MA - Marocco 3
PK - Pakistan 3
RS - Serbia 3
DK - Danimarca 2
GA - Gabon 2
GT - Guatemala 2
GY - Guiana 2
LK - Sri Lanka 2
MR - Mauritania 2
PT - Portogallo 2
SV - El Salvador 2
TN - Tunisia 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BZ - Belize 1
CG - Congo 1
CL - Cile 1
EG - Egitto 1
GE - Georgia 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
MY - Malesia 1
PE - Perù 1
PR - Porto Rico 1
SX - ???statistics.table.value.countryCode.SX??? 1
TJ - Tagikistan 1
Totale 4.953
Salva come PNG Salva come JPEG
Città #
Ashburn 293
Moscow 260
Singapore 247
San Jose 205
Dallas 165
Verona 134
Southend 124
Chandler 116
Hong Kong 108
Council Bluffs 72
The Dalles 57
Dublin 54
Beijing 50
Ho Chi Minh City 43
Los Angeles 43
Helsinki 38
Staranzano 31
New York 28
Jacksonville 26
Milan 23
Santa Clara 22
Dong Ket 21
Hanoi 21
São Paulo 21
Tokyo 20
Vienna 18
London 17
Jakarta 16
Lawrence 16
Princeton 16
Ann Arbor 15
Buffalo 15
Nanjing 15
Paris 15
Rome 15
Jinan 14
Wilmington 14
Abuja 13
Brooklyn 12
Denver 12
Redondo Beach 11
Seattle 11
Amsterdam 10
Cotonou 10
Frankfurt am Main 10
Houston 10
Lomé 10
Woodbridge 10
Hangzhou 8
Toronto 8
Guangzhou 7
Ningbo 7
Orem 7
Rio de Janeiro 7
Sindelfingen 7
Stockholm 7
Washington 7
Zhengzhou 7
Changsha 6
Lappeenranta 6
Luxembourg 6
McKinney 6
Montreal 6
Oxford 6
Poplar 6
Quito 6
Taipei 6
Tashkent 6
Warsaw 6
Atlanta 5
Brussels 5
Chicago 5
Columbus 5
Falkenstein 5
Manchester 5
Naples 5
North Hollywood 5
Phoenix 5
Redwood City 5
Santa Cruz 5
Shenyang 5
Udine 5
Belo Horizonte 4
Boardman 4
Brasília 4
Cagliari 4
Campinas 4
Cesena 4
Chennai 4
Da Nang 4
Gothenburg 4
Greater Noida 4
Guayaquil 4
Gävle 4
Jiaxing 4
Johannesburg 4
Lana 4
Mexico City 4
Modena 4
Montevideo 4
Totale 2.802
Salva come PNG Salva come JPEG
Nome #
A semantics-based approach to software watermarking by abstract interpretation 297
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 281
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 214
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 178
Automated black-box testing of nominal and error scenarios in RESTful APIs 176
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 168
Friendly Fire: Cross-App Interactions in IoT Platforms 164
Software Watermarking: A Semantics-based Approach 163
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 158
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 153
On topologies for (hyper)properties 152
Securing Cross-App Interactions in IoT Platforms 147
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 147
An abstract domain for objects in dynamic programming languages 146
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 145
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 143
Supporting wine production from vineyard to glass through secure IoT devices and blockchain 140
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 131
A Calculus for Attribute-Based Memory Updates 129
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 127
Restats: A Test Coverage Tool for RESTful APIs 123
Enhancing REST API Testing with NLP Techniques 121
Friendly Fire: Cross-App Interactions in IoT Platforms 121
Verifying Bounded Subset-Closed Hyperproperties 119
Semantics-based software watermarking by abstract interpretation 119
AbU: A calculus for distributed event-driven programming with attribute-based interaction 117
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 117
Domain Precision in Galois Connection-Less Abstract Interpretation 115
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools 111
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 111
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems 107
CRUDinfer: Automated CRUD semantics inference for REST APIs through black-box testing. 97
The AbU Language: IoT Distributed Programming Made Easy 87
Verifying Opacity by Abstract Interpretation 87
On the Security and Safety of AbU Systems 76
SBFT Tool Competition 2026: REST League 31
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation 27
An Ontology of Defects for Ethereum and its Smart Contracts 14
Abstract Lipschitz Continuity 5
Totale 5.064
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.651
article - articoli 4.498
book - libri 0
conference - conferenze 11.876
curatela - curatele 0
other - altro 1.277
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 35.302
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022104 0 0 0 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/20262.428 140 103 207 417 594 122 210 146 185 145 67 92
2026/2027499 63 65 166 205 0 0 0 0 0 0 0 0
Totale 5.064