CATALOGO DEI PRODOTTI DELLA RICERCA

PASQUA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.616
NA - Nord America 1.263
AS - Asia 1.171
SA - Sud America 180
AF - Africa 54
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.289
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.230
RU - Federazione Russa 692
SG - Singapore 520
IT - Italia 315
CN - Cina 250
GB - Regno Unito 190
BR - Brasile 144
VN - Vietnam 121
HK - Hong Kong 108
FR - Francia 100
SE - Svezia 64
IE - Irlanda 56
DE - Germania 49
FI - Finlandia 47
KR - Corea 37
AT - Austria 23
IN - India 23
ID - Indonesia 20
JP - Giappone 19
CA - Canada 18
NL - Olanda 17
IR - Iran 15
NG - Nigeria 14
BD - Bangladesh 12
EC - Ecuador 12
BJ - Benin 10
MX - Messico 10
TG - Togo 10
AR - Argentina 9
PL - Polonia 9
UA - Ucraina 9
BE - Belgio 8
ES - Italia 6
IQ - Iraq 6
TR - Turchia 6
UZ - Uzbekistan 6
NP - Nepal 5
TH - Thailandia 5
ZA - Sudafrica 5
AU - Australia 4
CH - Svizzera 4
CZ - Repubblica Ceca 4
LU - Lussemburgo 4
PH - Filippine 4
UY - Uruguay 4
CO - Colombia 3
KE - Kenya 3
LT - Lituania 3
MA - Marocco 3
NO - Norvegia 3
PK - Pakistan 3
PY - Paraguay 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
BG - Bulgaria 1
BZ - Belize 1
CG - Congo 1
CL - Cile 1
EG - Egitto 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 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
SV - El Salvador 1
TJ - Tagikistan 1
VE - Venezuela 1
Totale 4.289
Salva come PNG Salva come JPEG
Città #
Moscow 260
Singapore 245
Ashburn 213
San Jose 155
Dallas 134
Southend 124
Verona 123
Chandler 116
Hong Kong 106
The Dalles 56
Dublin 52
Beijing 48
Ho Chi Minh City 39
Helsinki 38
Los Angeles 32
Jacksonville 25
New York 23
Council Bluffs 21
Dong Ket 21
Hanoi 21
São Paulo 21
Milan 19
Vienna 18
Tokyo 17
Jakarta 16
Lawrence 16
London 16
Princeton 16
Ann Arbor 15
Nanjing 15
Paris 15
Buffalo 14
Jinan 14
Abuja 13
Wilmington 13
Rome 12
Redondo Beach 11
Santa Clara 11
Amsterdam 10
Brooklyn 10
Cotonou 10
Frankfurt am Main 10
Lomé 10
Woodbridge 10
Seattle 8
Guangzhou 7
Ningbo 7
Orem 7
Rio de Janeiro 7
Sindelfingen 7
Stockholm 7
Zhengzhou 7
Changsha 6
Hangzhou 6
Lappeenranta 6
Oxford 6
Poplar 6
Quito 6
Tashkent 6
Warsaw 6
Brussels 5
Denver 5
Falkenstein 5
Manchester 5
Montreal 5
Redwood City 5
Santa Cruz 5
Shenyang 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
Nakhon Ratchasima 4
Padova 4
Padua 4
Roseville 4
Seoul 4
Taiyuan 4
Tianjin 4
Toronto 4
Treviso 4
Udine 4
Veranópolis 4
Baghdad 3
Belgrade 3
Totale 2.455
Salva come PNG Salva come JPEG
Nome #
A semantics-based approach to software watermarking by abstract interpretation 276
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 245
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 202
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 163
Software Watermarking: A Semantics-based Approach 150
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 147
Friendly Fire: Cross-App Interactions in IoT Platforms 147
On topologies for (hyper)properties 145
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 140
Securing Cross-App Interactions in IoT Platforms 136
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 136
Automated black-box testing of nominal and error scenarios in RESTful APIs 134
An abstract domain for objects in dynamic programming languages 133
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 131
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 129
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 126
Supporting wine production from vineyard to glass through secure IoT devices and blockchain 124
A Calculus for Attribute-Based Memory Updates 123
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 122
Restats: A Test Coverage Tool for RESTful APIs 113
Semantics-based software watermarking by abstract interpretation 112
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 111
Friendly Fire: Cross-App Interactions in IoT Platforms 109
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 108
Verifying Bounded Subset-Closed Hyperproperties 106
Enhancing REST API Testing with NLP Techniques 105
Domain Precision in Galois Connection-Less Abstract Interpretation 102
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 102
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems 101
AbU: A calculus for distributed event-driven programming with attribute-based interaction 98
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools 90
The AbU Language: IoT Distributed Programming Made Easy 75
Verifying Opacity by Abstract Interpretation 75
On the Security and Safety of AbU Systems 63
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation 15
Totale 4.394
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.053
article - articoli 3.456
book - libri 0
conference - conferenze 9.518
curatela - curatele 0
other - altro 1.079
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 28.106
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202147 0 0 0 0 0 0 0 0 0 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/20262.257 140 103 207 417 594 122 210 146 185 133 0 0
Totale 4.394