CATALOGO DEI PRODOTTI DELLA RICERCA

PASQUA, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 821
AS - Asia 734
NA - Nord America 734
SA - Sud America 96
AF - Africa 13
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.402
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 715
SG - Singapore 320
IT - Italia 211
CN - Cina 162
GB - Regno Unito 151
HK - Hong Kong 102
FR - Francia 92
BR - Brasile 86
RU - Federazione Russa 78
SE - Svezia 64
IE - Irlanda 56
FI - Finlandia 44
VN - Vietnam 44
DE - Germania 43
KR - Corea 29
AT - Austria 22
ID - Indonesia 15
IR - Iran 15
JP - Giappone 15
NL - Olanda 14
CA - Canada 13
TG - Togo 10
BE - Belgio 8
IN - India 8
PL - Polonia 7
UA - Ucraina 6
CH - Svizzera 4
ES - Italia 4
NP - Nepal 4
TH - Thailandia 4
TR - Turchia 4
AR - Argentina 3
AU - Australia 3
CZ - Repubblica Ceca 3
EC - Ecuador 3
IQ - Iraq 3
LT - Lituania 3
BD - Bangladesh 2
DK - Danimarca 2
EE - Estonia 2
GR - Grecia 2
MX - Messico 2
NO - Norvegia 2
UY - Uruguay 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
BG - Bulgaria 1
BZ - Belize 1
CO - Colombia 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
JM - Giamaica 1
LU - Lussemburgo 1
MA - Marocco 1
MR - Mauritania 1
PE - Perù 1
PK - Pakistan 1
PT - Portogallo 1
TJ - Tagikistan 1
ZA - Sudafrica 1
Totale 2.402
Salva come PNG Salva come JPEG
Città #
Southend 124
Chandler 116
Singapore 116
Dallas 107
Hong Kong 101
Verona 78
Ashburn 62
Dublin 52
Helsinki 35
Beijing 29
Jacksonville 25
Dong Ket 21
Council Bluffs 20
The Dalles 17
Vienna 17
Lawrence 16
Princeton 16
Ann Arbor 15
Jakarta 15
Jinan 14
Los Angeles 14
New York 13
Paris 13
Tokyo 13
Wilmington 13
Nanjing 12
Lomé 10
Milan 10
São Paulo 10
Woodbridge 10
Amsterdam 7
Brooklyn 7
Guangzhou 7
Ningbo 7
Sindelfingen 7
Stockholm 7
Zhengzhou 7
Changsha 6
Ho Chi Minh City 6
Lappeenranta 6
Oxford 6
Seattle 6
Brussels 5
Falkenstein 5
Hangzhou 5
London 5
Moscow 5
Redwood City 5
Shenyang 5
Cagliari 4
Cesena 4
Columbus 4
Frankfurt am Main 4
Gothenburg 4
Gävle 4
Hanoi 4
Jiaxing 4
Lana 4
Padova 4
Roseville 4
Santa Clara 4
Seoul 4
Toronto 4
Veranópolis 4
Warsaw 4
Belo Horizonte 3
Chennai 3
Chicago 3
Etterbeek 3
Hebei 3
Nakhon Ratchasima 3
Nanchang 3
Nashville 3
Nuremberg 3
Rio de Janeiro 3
Roubaix 3
San Giovanni Lupatoto 3
Taiyuan 3
Tehran 3
Tianjin 3
Udine 3
Vanves 3
Washington 3
Acigné 2
Athens 2
Baghdad 2
Berlin 2
Boston 2
Brasília 2
Bre 2
Camerino 2
Campinas 2
Charlotte 2
Clearwater 2
Dongguan 2
Dongyang 2
Düsseldorf 2
Fairfield 2
Fuzhou 2
Groningen 2
Totale 1.380
Salva come PNG Salva come JPEG
Nome #
A semantics-based approach to software watermarking by abstract interpretation 209
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 177
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 152
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 110
Software Watermarking: A Semantics-based Approach 107
On topologies for (hyper)properties 106
Securing Cross-App Interactions in IoT Platforms 92
Friendly Fire: Cross-App Interactions in IoT Platforms 92
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 91
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 87
Verifying Bounded Subset-Closed Hyperproperties 77
An abstract domain for objects in dynamic programming languages 77
A Calculus for Attribute-Based Memory Updates 70
Semantics-based software watermarking by abstract interpretation 70
Automated black-box testing of nominal and error scenarios in RESTful APIs 67
Friendly Fire: Cross-App Interactions in IoT Platforms 66
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 61
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 60
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 58
Restats: A Test Coverage Tool for RESTful APIs 56
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 51
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 50
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems 50
Domain Precision in Galois Connection-Less Abstract Interpretation 48
Verifying Opacity by Abstract Interpretation 48
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 48
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 46
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools 45
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 43
AbU: A calculus for distributed event-driven programming with attribute-based interaction 43
The AbU Language: IoT Distributed Programming Made Easy 41
Supporting wine production from vineyard to glass through secure IoT devices and blockchain 38
Enhancing REST API Testing with NLP Techniques 38
On the Security and Safety of AbU Systems 32
Totale 2.506
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.524
article - articoli 2.554
book - libri 0
conference - conferenze 7.102
curatela - curatele 0
other - altro 868
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 21.048
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021144 0 0 11 29 15 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/2026369 140 103 126 0 0 0 0 0 0 0 0 0
Totale 2.506