CATALOGO DEI PRODOTTI DELLA RICERCA

PASQUA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.645
NA - Nord America 1.400
AS - Asia 1.236
SA - Sud America 185
Continente sconosciuto - Info sul continente non disponibili 112
AF - Africa 55
OC - Oceania 4
Totale 4.637
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.353
RU - Federazione Russa 692
SG - Singapore 525
IT - Italia 339
CN - Cina 260
GB - Regno Unito 191
BR - Brasile 144
VN - Vietnam 125
HK - Hong Kong 113
FR - Francia 100
SE - Svezia 64
IE - Irlanda 56
DE - Germania 49
FI - Finlandia 47
KR - Corea 37
IN - India 31
CA - Canada 29
BD - Bangladesh 26
ID - Indonesia 25
AT - Austria 23
JP - Giappone 19
IR - Iran 18
NL - Olanda 17
NG - Nigeria 14
EC - Ecuador 12
BJ - Benin 10
MX - Messico 10
TG - Togo 10
UA - Ucraina 10
AR - Argentina 9
PL - Polonia 9
BE - Belgio 8
TW - Taiwan 8
TR - Turchia 7
ES - Italia 6
IQ - Iraq 6
UZ - Uzbekistan 6
CO - Colombia 5
LU - Lussemburgo 5
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
GR - Grecia 3
LT - Lituania 3
MA - Marocco 3
PK - Pakistan 3
RS - Serbia 3
DK - Danimarca 2
EE - Estonia 2
GA - Gabon 2
GY - Guiana 2
MR - Mauritania 2
PT - Portogallo 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
CR - Costa Rica 1
EG - Egitto 1
GE - Georgia 1
GT - Guatemala 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
LK - Sri Lanka 1
MY - Malesia 1
PE - Perù 1
PR - Porto Rico 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
TJ - Tagikistan 1
Totale 4.527
Salva come PNG Salva come JPEG
Città #
Moscow 260
Singapore 247
Ashburn 224
San Jose 169
Dallas 138
Southend 124
Verona 124
Chandler 116
Hong Kong 107
The Dalles 57
Dublin 54
Beijing 50
Council Bluffs 46
Ho Chi Minh City 43
Helsinki 38
Los Angeles 38
Jacksonville 25
New York 25
Dong Ket 21
Hanoi 21
Milan 21
São Paulo 21
Vienna 18
Tokyo 17
Jakarta 16
Lawrence 16
London 16
Princeton 16
Ann Arbor 15
Buffalo 15
Nanjing 15
Paris 15
Santa Clara 15
Jinan 14
Abuja 13
Rome 13
Wilmington 13
Brooklyn 11
Redondo Beach 11
Amsterdam 10
Cotonou 10
Frankfurt am Main 10
Lomé 10
Woodbridge 10
Seattle 9
Hangzhou 8
Guangzhou 7
Ningbo 7
Orem 7
Rio de Janeiro 7
Sindelfingen 7
Stockholm 7
Zhengzhou 7
Changsha 6
Denver 6
Lappeenranta 6
Oxford 6
Poplar 6
Quito 6
Taipei 6
Tashkent 6
Toronto 6
Warsaw 6
Brussels 5
Chicago 5
Falkenstein 5
Houston 5
Luxembourg 5
Manchester 5
Montreal 5
Redwood City 5
Santa Cruz 5
Shenyang 5
Udine 5
Belo Horizonte 4
Brasília 4
Cagliari 4
Cesena 4
Chennai 4
Columbus 4
Da Nang 4
Gothenburg 4
Greater Noida 4
Guayaquil 4
Gävle 4
Jiaxing 4
Johannesburg 4
Lana 4
Mexico City 4
Montevideo 4
Mumbai 4
Nakhon Ratchasima 4
Padova 4
Padua 4
Roseville 4
Seoul 4
Taiyuan 4
Tianjin 4
Treviso 4
Trieste 4
Totale 2.553
Salva come PNG Salva come JPEG
Nome #
A semantics-based approach to software watermarking by abstract interpretation 279
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 249
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 206
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 169
Friendly Fire: Cross-App Interactions in IoT Platforms 158
Software Watermarking: A Semantics-based Approach 154
Automated black-box testing of nominal and error scenarios in RESTful APIs 153
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 151
On topologies for (hyper)properties 149
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 143
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 142
Securing Cross-App Interactions in IoT Platforms 139
An abstract domain for objects in dynamic programming languages 138
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 138
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 136
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 133
Supporting wine production from vineyard to glass through secure IoT devices and blockchain 129
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 128
A Calculus for Attribute-Based Memory Updates 125
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 116
Restats: A Test Coverage Tool for RESTful APIs 115
Semantics-based software watermarking by abstract interpretation 112
Friendly Fire: Cross-App Interactions in IoT Platforms 112
Verifying Bounded Subset-Closed Hyperproperties 111
Enhancing REST API Testing with NLP Techniques 109
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 109
AbU: A calculus for distributed event-driven programming with attribute-based interaction 107
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 106
Domain Precision in Galois Connection-Less Abstract Interpretation 104
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems 101
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools 100
Verifying Opacity by Abstract Interpretation 78
The AbU Language: IoT Distributed Programming Made Easy 77
On the Security and Safety of AbU Systems 64
CRUDinfer: Automated CRUD semantics inference for REST APIs through black-box testing. 53
SBFT Tool Competition 2026: REST League 21
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation 18
An Ontology of Defects for Ethereum and its Smart Contracts 5
Totale 4.637
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.140
article - articoli 4.100
book - libri 0
conference - conferenze 10.864
curatela - curatele 0
other - altro 1.176
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 32.280
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022137 0 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/20262.428 140 103 207 417 594 122 210 146 185 145 67 92
2026/202772 63 9 0 0 0 0 0 0 0 0 0 0
Totale 4.637