PASQUA, Michele
 Distribuzione geografica
Continente #
EU - Europa 667
NA - Nord America 510
AS - Asia 357
AF - Africa 10
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.548
Nazione #
US - Stati Uniti d'America 505
IT - Italia 166
CN - Cina 146
GB - Regno Unito 134
SG - Singapore 101
FR - Francia 74
RU - Federazione Russa 74
IE - Irlanda 55
SE - Svezia 55
FI - Finlandia 39
VN - Vietnam 33
DE - Germania 30
HK - Hong Kong 18
ID - Indonesia 15
JP - Giappone 14
IR - Iran 13
TG - Togo 10
BE - Belgio 8
NL - Olanda 8
AT - Austria 6
CA - Canada 5
KR - Corea 5
UA - Ucraina 5
CH - Svizzera 4
IN - India 4
AU - Australia 3
CZ - Repubblica Ceca 3
TH - Thailandia 3
TR - Turchia 3
EE - Estonia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
DK - Danimarca 1
LU - Lussemburgo 1
NO - Norvegia 1
NP - Nepal 1
PT - Portogallo 1
Totale 1.548
Città #
Southend 124
Chandler 116
Singapore 80
Verona 52
Dublin 51
Ashburn 50
Helsinki 35
Beijing 27
Jacksonville 23
Dong Ket 21
Hong Kong 18
Lawrence 16
Princeton 16
Ann Arbor 15
Jakarta 15
Jinan 14
Paris 13
Wilmington 13
Council Bluffs 12
Nanjing 12
Tokyo 12
Lomé 10
Woodbridge 10
New York 9
Los Angeles 8
Ningbo 7
Sindelfingen 7
Zhengzhou 7
Amsterdam 6
Changsha 6
Seattle 6
Brussels 5
Falkenstein 5
Guangzhou 5
Milan 5
Moscow 5
Redwood City 5
Shenyang 5
Vienna 5
Brooklyn 4
Cagliari 4
Cesena 4
Gävle 4
Hangzhou 4
Jiaxing 4
Lana 4
Padova 4
Roseville 4
Santa Clara 4
Seoul 4
Dallas 3
Etterbeek 3
Hebei 3
London 3
Nakhon Ratchasima 3
Nanchang 3
Nashville 3
San Giovanni Lupatoto 3
Taiyuan 3
Tehran 3
Tianjin 3
Udine 3
Vanves 3
Washington 3
Berlin 2
Bre 2
Camerino 2
Chicago 2
Clearwater 2
Dongguan 2
Dongyang 2
Fairfield 2
Fuzhou 2
Gothenburg 2
Hanoi 2
Ideh 2
Lake Havasu City 2
Livorno 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
Totale 999
Nome #
A semantics-based approach to software watermarking by abstract interpretation 184
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 152
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 135
Software Watermarking: A Semantics-based Approach 91
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 89
On topologies for (hyper)properties 83
Securing Cross-App Interactions in IoT Platforms 74
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 69
Verifying Bounded Subset-Closed Hyperproperties 63
Friendly Fire: Cross-App Interactions in IoT Platforms 61
An abstract domain for objects in dynamic programming languages 57
Semantics-based software watermarking by abstract interpretation 48
A Calculus for Attribute-Based Memory Updates 47
Friendly Fire: Cross-App Interactions in IoT Platforms 43
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 41
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 41
Restats: A Test Coverage Tool for RESTful APIs 36
Verifying Opacity by Abstract Interpretation 35
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 30
Automated black-box testing of nominal and error scenarios in RESTful APIs 29
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation 26
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs 26
AbU: A calculus for distributed event-driven programming with attribute-based interaction 26
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 22
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning 21
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 19
Enhancing REST API Testing with NLP Techniques 19
The AbU Language: IoT Distributed Programming Made Easy 17
Domain Precision in Galois Connection-Less Abstract Interpretation 16
On the Security and Safety of AbU Systems 15
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 14
Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems 8
Totale 1.637
Categoria #
all - tutte 7.025
article - articoli 1.622
book - libri 0
conference - conferenze 4.711
curatela - curatele 0
other - altro 692
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.050


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202073 0 0 0 0 0 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/2025284 37 26 23 123 25 50 0 0 0 0 0 0
Totale 1.637