GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
EU - Europa 757
AS - Asia 519
NA - Nord America 487
SA - Sud America 100
AF - Africa 24
OC - Oceania 1
Totale 1.888
Nazione #
US - Stati Uniti d'America 471
RU - Federazione Russa 442
SG - Singapore 236
IT - Italia 106
CN - Cina 100
BR - Brasile 78
HK - Hong Kong 73
VN - Vietnam 53
DE - Germania 39
IE - Irlanda 31
FI - Finlandia 24
FR - Francia 24
GB - Regno Unito 24
SE - Svezia 18
KR - Corea 16
AT - Austria 11
NL - Olanda 11
BJ - Benin 9
IN - India 8
TG - Togo 8
AR - Argentina 7
BD - Bangladesh 7
CA - Canada 7
MX - Messico 7
PL - Polonia 7
EE - Estonia 6
ES - Italia 6
JP - Giappone 5
EC - Ecuador 4
VE - Venezuela 4
ZA - Sudafrica 4
ID - Indonesia 3
IR - Iran 3
PY - Paraguay 3
CZ - Repubblica Ceca 2
IL - Israele 2
IQ - Iraq 2
JO - Giordania 2
MA - Marocco 2
MY - Malesia 2
PE - Perù 2
TR - Turchia 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
JM - Giamaica 1
LT - Lituania 1
PK - Pakistan 1
PW - Palau 1
RS - Serbia 1
SA - Arabia Saudita 1
TN - Tunisia 1
UA - Ucraina 1
Totale 1.888
Città #
Moscow 163
Singapore 122
Dallas 92
Hong Kong 72
Ashburn 64
Chandler 59
Verona 34
Beijing 32
Dublin 31
The Dalles 26
Ho Chi Minh City 21
Helsinki 19
New York 17
Los Angeles 14
Buffalo 13
Milan 12
São Paulo 11
Cotonou 9
Hanoi 9
London 9
Falkenstein 8
Hamburg 8
Lomé 8
Redondo Beach 8
Santa Clara 8
Vienna 8
Columbus 7
Amsterdam 6
Can Tho 6
Seattle 6
Tallinn 6
Lawrence 5
Nuremberg 5
Princeton 5
San Jose 5
Tokyo 5
Warsaw 5
Brasília 4
Cagliari 4
Genoa 4
Montreal 4
Orem 4
Phoenix 4
Rome 4
Sindelfingen 4
Chicago 3
Council Bluffs 3
Da Nang 3
Denver 3
Florence 3
Fremont 3
Horst 3
Lappeenranta 3
Mexico City 3
Mumbai 3
Stockholm 3
Toronto 3
Venice 3
Waalwijk 3
Amman 2
Ankara 2
Asnières-sur-Seine 2
Asunción 2
Atlanta 2
Azzano Decimo 2
Bengaluru 2
Boardman 2
Boston 2
Cape Town 2
Chennai 2
Chions 2
Criciúma 2
Curitiba 2
Des Moines 2
Governador Valadares 2
Johannesburg 2
Juneau 2
Krommenie 2
Kuala Lumpur 2
Lima 2
Livigno 2
Madrid 2
Naples 2
Ninh Bình 2
Nova Iguaçu 2
Padua 2
Poplar 2
Rio Claro 2
Romola 2
San Francisco 2
San Miguel de Tucumán 2
Shenzhen 2
Sovizzo 2
Tashkent 2
Tianjin 2
Trento 2
Turku 2
Washington 2
Wilmington 2
Wuhan 2
Totale 1.094
Nome #
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 149
A containerized ROS-compliant verification environment for robotic systems 148
A Systematic Literature Review on Mining LTL Specifications 126
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 114
A complete assertion-based verification framework from the edge to the cloud 111
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 109
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 109
System-level bug explanation through program slicing and instruction clusterization 109
MIST: monitor generation from informal specifications for firmware verification 103
Assertion-aware approximate computing design exploration on behavioral models 93
HARM: A Hint-Based Assertion Miner 85
A Baseline Framework for the Qualification of LTL Specification Miners 83
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 80
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 79
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 79
Mining signal temporal logic specifications for hybrid systems 77
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 68
Exploiting assertions mining and fault analysis to guide RTL-level approximation 66
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 63
Invited Talk: Pros and Cons of Assertion Mining 60
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis 17
Totale 1.928
Categoria #
all - tutte 6.600
article - articoli 1.961
book - libri 0
conference - conferenze 3.443
curatela - curatele 0
other - altro 388
patent - brevetti 0
selected - selezionate 0
volume - volumi 808
Totale 13.200


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 3 2 1 0 1 0
2021/202227 1 3 1 1 2 2 1 4 0 1 2 9
2022/2023183 8 14 15 28 13 41 4 18 25 2 11 4
2023/2024157 12 10 7 10 10 30 18 15 4 19 15 7
2024/2025493 17 25 19 84 34 29 10 45 45 40 42 103
2025/20261.061 84 130 89 272 400 86 0 0 0 0 0 0
Totale 1.928