CATALOGO DEI PRODOTTI DELLA RICERCA

PASQUA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.635
NA - Nord America 1.355
AS - Asia 1.224
SA - Sud America 182
AF - Africa 54
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.455
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.312
RU - Federazione Russa 692
SG - Singapore 523
IT - Italia 332
CN - Cina 259
GB - Regno Unito 190
BR - Brasile 144
VN - Vietnam 125
HK - Hong Kong 110
FR - Francia 100
SE - Svezia 64
IE - Irlanda 56
DE - Germania 49
FI - Finlandia 47
KR - Corea 37
IN - India 28
BD - Bangladesh 26
CA - Canada 26
ID - Indonesia 24
AT - Austria 23
JP - Giappone 19
NL - Olanda 17
IR - Iran 16
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
NP - Nepal 5
PY - Paraguay 5
TH - Thailandia 5
ZA - Sudafrica 5
AU - Australia 4
CH - Svizzera 4
CZ - Repubblica Ceca 4
LU - Lussemburgo 4
NO - Norvegia 4
PH - Filippine 4
UY - Uruguay 4
CO - Colombia 3
KE - Kenya 3
LT - Lituania 3
MA - Marocco 3
PK - Pakistan 3
RS - Serbia 3
DK - Danimarca 2
EE - Estonia 2
GA - Gabon 2
GR - Grecia 2
GY - Guiana 2
MR - Mauritania 2
PT - Portogallo 2
TN - Tunisia 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
SV - El Salvador 1
TJ - Tagikistan 1
VE - Venezuela 1
Totale 4.455
Salva come PNG Salva come JPEG
Città #
Moscow 260
Singapore 246
Ashburn 221
San Jose 168
Dallas 136
Southend 124
Verona 124
Chandler 116
Hong Kong 107
The Dalles 57
Dublin 52
Beijing 49
Ho Chi Minh City 43
Council Bluffs 41
Helsinki 38
Los Angeles 38
Jacksonville 25
New York 24
Dong Ket 21
Hanoi 21
São Paulo 21
Milan 20
Vienna 18
Tokyo 17
Jakarta 16
Lawrence 16
London 16
Princeton 16
Ann Arbor 15
Buffalo 15
Nanjing 15
Paris 15
Jinan 14
Abuja 13
Wilmington 13
Rome 12
Santa Clara 12
Brooklyn 11
Redondo Beach 11
Amsterdam 10
Cotonou 10
Frankfurt am Main 10
Lomé 10
Woodbridge 10
Hangzhou 8
Seattle 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
Falkenstein 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
Chicago 4
Columbus 4
Da Nang 4
Gothenburg 4
Greater Noida 4
Guayaquil 4
Gävle 4
Houston 4
Jiaxing 4
Johannesburg 4
Lana 4
Luxembourg 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.528
Salva come PNG Salva come JPEG
Nome #
A semantics-based approach to software watermarking by abstract interpretation 277
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 248
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 205
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 163
Friendly Fire: Cross-App Interactions in IoT Platforms 158
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 151
Automated black-box testing of nominal and error scenarios in RESTful APIs 151
Software Watermarking: A Semantics-based Approach 150
On topologies for (hyper)properties 149
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 143
Securing Cross-App Interactions in IoT Platforms 139
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 138
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 137
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 136
An abstract domain for objects in dynamic programming languages 135
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 133
Supporting wine production from vineyard to glass through secure IoT devices and blockchain 128
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 126
A Calculus for Attribute-Based Memory Updates 125
Restats: A Test Coverage Tool for RESTful APIs 115
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 113
Semantics-based software watermarking by abstract interpretation 112
Verifying Bounded Subset-Closed Hyperproperties 111
Friendly Fire: Cross-App Interactions in IoT Platforms 110
Enhancing REST API Testing with NLP Techniques 108
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 108
AbU: A calculus for distributed event-driven programming with attribute-based interaction 105
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 104
Domain Precision in Galois Connection-Less Abstract Interpretation 103
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 95
The AbU Language: IoT Distributed Programming Made Easy 77
Verifying Opacity by Abstract Interpretation 76
On the Security and Safety of AbU Systems 64
CRUDinfer: Automated CRUD semantics inference for REST APIs through black-box testing. 33
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation 18
SBFT Tool Competition 2026: REST League 17
An Ontology of Defects for Ethereum and its Smart Contracts 3
Totale 4.565
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.273
article - articoli 3.856
book - libri 0
conference - conferenze 10.270
curatela - curatele 0
other - altro 1.147
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 30.546
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202134 0 0 0 0 0 0 0 0 0 0 0 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/20262.428 140 103 207 417 594 122 210 146 185 145 67 92
Totale 4.565