GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
NA - Nord America 398
AS - Asia 362
EU - Europa 309
SA - Sud America 73
AF - Africa 13
OC - Oceania 1
Totale 1.156
Nazione #
US - Stati Uniti d'America 389
SG - Singapore 158
IT - Italia 101
CN - Cina 71
HK - Hong Kong 70
BR - Brasile 62
DE - Germania 35
RU - Federazione Russa 34
IE - Irlanda 31
FR - Francia 24
FI - Finlandia 23
VN - Vietnam 22
KR - Corea 16
SE - Svezia 16
NL - Olanda 10
AT - Austria 9
TG - Togo 8
EE - Estonia 6
ES - Italia 6
IN - India 6
BD - Bangladesh 5
GB - Regno Unito 5
MX - Messico 5
EC - Ecuador 3
IR - Iran 3
PL - Polonia 3
PY - Paraguay 3
CA - Canada 2
CZ - Repubblica Ceca 2
ID - Indonesia 2
JP - Giappone 2
MA - Marocco 2
PE - Perù 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
IQ - Iraq 1
JM - Giamaica 1
JO - Giordania 1
MY - Malesia 1
PW - Palau 1
SA - Arabia Saudita 1
TN - Tunisia 1
TR - Turchia 1
UA - Ucraina 1
UZ - Uzbekistan 1
Totale 1.156
Città #
Dallas 91
Singapore 83
Hong Kong 69
Chandler 59
Verona 34
Ashburn 33
Dublin 31
Beijing 26
Helsinki 18
The Dalles 17
Ho Chi Minh City 13
Milan 12
New York 12
Buffalo 11
Los Angeles 10
Falkenstein 8
Hamburg 8
Lomé 8
Santa Clara 8
Columbus 7
São Paulo 7
Vienna 7
Redondo Beach 6
Seattle 6
Tallinn 6
Amsterdam 5
Lawrence 5
Nuremberg 5
Princeton 5
Brasília 4
Cagliari 4
Genoa 4
Sindelfingen 4
Can Tho 3
Florence 3
Fremont 3
Lappeenranta 3
Mexico City 3
Mumbai 3
Phoenix 3
Venice 3
Waalwijk 3
Asnières-sur-Seine 2
Asunción 2
Azzano Decimo 2
Bengaluru 2
Boardman 2
Boston 2
Chicago 2
Chions 2
Council Bluffs 2
Curitiba 2
Juneau 2
Krommenie 2
Lima 2
Livigno 2
Madrid 2
Naples 2
Nova Iguaçu 2
Romola 2
San Francisco 2
San Jose 2
Shenzhen 2
Sovizzo 2
Tokyo 2
Trento 2
Turku 2
Warsaw 2
Washington 2
Wilmington 2
Wuhan 2
Zanjan 2
Abu Dhabi 1
Agronômica 1
Ambato 1
Amman 1
Ankara 1
Atlanta 1
Barra do Garças 1
Barão de Cocais 1
Belford Roxo 1
Belo Horizonte 1
Bijeljina 1
Birigui 1
Bologna 1
Brescia 1
Brussels 1
Buritama 1
Cabo Frio 1
Campinas 1
Campo Grande 1
Cape Town 1
Caraguatatuba 1
Carangola 1
Catania 1
Caxias do Sul 1
Central 1
Charlotte 1
Chennai 1
Cleveland 1
Totale 741
Nome #
A containerized ROS-compliant verification environment for robotic systems 97
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 91
A Systematic Literature Review on Mining LTL Specifications 83
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 82
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 82
System-level bug explanation through program slicing and instruction clusterization 81
A complete assertion-based verification framework from the edge to the cloud 79
MIST: monitor generation from informal specifications for firmware verification 72
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 71
Assertion-aware approximate computing design exploration on behavioral models 58
HARM: A Hint-Based Assertion Miner 57
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 50
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 44
Mining signal temporal logic specifications for hybrid systems 44
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 43
A Baseline Framework for the Qualification of LTL Specification Miners 41
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 37
Exploiting assertions mining and fault analysis to guide RTL-level approximation 30
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 27
Invited Talk: Pros and Cons of Assertion Mining 26
Totale 1.195
Categoria #
all - tutte 5.304
article - articoli 1.497
book - libri 0
conference - conferenze 2.792
curatela - curatele 0
other - altro 325
patent - brevetti 0
selected - selezionate 0
volume - volumi 690
Totale 10.608


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/2026328 84 130 89 25 0 0 0 0 0 0 0 0
Totale 1.195