PASQUA, MICHELE
 Distribuzione geografica
Continente #
EU - Europa 569
NA - Nord America 486
AS - Asia 249
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.308
Nazione #
US - Stati Uniti d'America 481
IT - Italia 157
GB - Regno Unito 131
CN - Cina 128
FR - Francia 71
IE - Irlanda 55
SE - Svezia 55
RU - Federazione Russa 33
VN - Vietnam 33
SG - Singapore 31
DE - Germania 23
FI - Finlandia 17
HK - Hong Kong 14
JP - Giappone 14
IR - Iran 13
BE - Belgio 5
CA - Canada 5
KR - Corea 5
UA - Ucraina 5
IN - India 4
NL - Olanda 4
AU - Australia 3
CH - Svizzera 3
CZ - Repubblica Ceca 3
TH - Thailandia 3
TR - Turchia 3
AT - Austria 2
EE - Estonia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
DK - Danimarca 1
LU - Lussemburgo 1
NP - Nepal 1
PT - Portogallo 1
Totale 1.308
Città #
Southend 124
Chandler 116
Verona 52
Dublin 51
Ashburn 46
Beijing 26
Jacksonville 23
Dong Ket 21
Lawrence 16
Princeton 16
Ann Arbor 15
Helsinki 14
Hong Kong 14
Jinan 14
Singapore 14
Paris 13
Wilmington 13
Council Bluffs 12
Nanjing 12
Tokyo 12
Woodbridge 10
New York 9
Ningbo 7
Sindelfingen 7
Zhengzhou 7
Changsha 6
Los Angeles 6
Seattle 6
Brussels 5
Milan 5
Redwood City 5
Shenyang 5
Brooklyn 4
Cagliari 4
Gävle 4
Hangzhou 4
Jiaxing 4
Lana 4
Seoul 4
Guangzhou 3
Hebei 3
Nakhon Ratchasima 3
Nanchang 3
Nashville 3
San Giovanni Lupatoto 3
Taiyuan 3
Tehran 3
Tianjin 3
Udine 3
Vanves 3
Washington 3
Amsterdam 2
Berlin 2
Bre 2
Camerino 2
Chicago 2
Clearwater 2
Dongguan 2
Fairfield 2
Fuzhou 2
Gothenburg 2
Hanoi 2
Ideh 2
Lake Havasu City 2
Livorno 2
London 2
Norwalk 2
Old Westbury 2
Ottawa 2
Riva 2
San Martino Buon Albergo 2
Siena 2
St Petersburg 2
Tallinn 2
Toronto 2
Trieste 2
Voghera 2
West Jordan 2
Amersfoort 1
Arco 1
Atlanta 1
Bari 1
Basiano 1
Bengaluru 1
Bonndorf 1
Brierley Hill 1
Bursa 1
Canberra 1
Cavalcaselle 1
Cesena 1
Costabissara 1
Dallas 1
Dearborn 1
Düsseldorf 1
Forlì 1
Grenoble 1
Haikou 1
Hanover 1
Houston 1
Hyderabad 1
Totale 842
Nome #
A semantics-based approach to software watermarking by abstract interpretation 172
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 136
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 126
Software Watermarking: A Semantics-based Approach 87
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 81
On topologies for (hyper)properties 78
Securing Cross-App Interactions in IoT Platforms 71
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 66
Verifying Bounded Subset-Closed Hyperproperties 58
Friendly Fire: Cross-App Interactions in IoT Platforms 54
An abstract domain for objects in dynamic programming languages 53
Semantics-based software watermarking by abstract interpretation 45
Friendly Fire: Cross-App Interactions in IoT Platforms 39
A Calculus for Attribute-Based Memory Updates 36
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 34
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 33
Verifying Opacity by Abstract Interpretation 32
Restats: A Test Coverage Tool for RESTful APIs 28
Automated black-box testing of nominal and error scenarios in RESTful APIs 22
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 21
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 17
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 16
AbU: A calculus for distributed event-driven programming with attribute-based interaction 16
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 16
On the Security and Safety of AbU Systems 11
Enhancing REST API Testing with NLP Techniques 9
The AbU Language: IoT Distributed Programming Made Easy 9
Domain Precision in Galois Connection-Less Abstract Interpretation 9
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 8
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 8
Totale 1.391
Categoria #
all - tutte 5.449
article - articoli 1.253
book - libri 0
conference - conferenze 3.600
curatela - curatele 0
other - altro 596
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.898


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202094 0 0 1 4 16 5 18 7 11 13 12 7
2020/2021187 18 25 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/202538 37 1 0 0 0 0 0 0 0 0 0 0
Totale 1.391