CATALOGO DEI PRODOTTI DELLA RICERCA

GERMINIANI, SAMUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 827
NA - Nord America 770
AS - Asia 679
SA - Sud America 109
AF - Africa 36
OC - Oceania 1
Totale 2.422
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 745
RU - Federazione Russa 442
SG - Singapore 279
IT - Italia 163
CN - Cina 124
VN - Vietnam 82
BR - Brasile 81
HK - Hong Kong 76
BD - Bangladesh 54
DE - Germania 42
IE - Irlanda 32
GB - Regno Unito 27
FI - Finlandia 25
FR - Francia 24
SE - Svezia 18
KR - Corea 16
AT - Austria 13
CA - Canada 13
NL - Olanda 11
AR - Argentina 10
IN - India 10
BJ - Benin 9
MX - Messico 8
NG - Nigeria 8
PL - Polonia 8
TG - Togo 8
ES - Italia 7
JP - Giappone 7
EE - Estonia 6
EC - Ecuador 5
ID - Indonesia 4
PK - Pakistan 4
VE - Venezuela 4
ZA - Sudafrica 4
IR - Iran 3
MA - Marocco 3
MY - Malesia 3
PY - Paraguay 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
CO - Colombia 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
IL - Israele 2
IQ - Iraq 2
JO - Giordania 2
PE - Perù 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
BA - Bosnia-Erzegovina 1
BE - Belgio 1
CH - Svizzera 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ET - Etiopia 1
JM - Giamaica 1
KZ - Kazakistan 1
LT - Lituania 1
OM - Oman 1
PW - Palau 1
RS - Serbia 1
SN - Senegal 1
TN - Tunisia 1
UA - Ucraina 1
Totale 2.422
Salva come PNG Salva come JPEG
Città #
Moscow 163
Singapore 154
Ashburn 124
San Jose 121
Dallas 94
Hong Kong 75
Verona 67
Chandler 59
Beijing 33
The Dalles 33
Dublin 32
Ho Chi Minh City 31
Council Bluffs 26
New York 22
Hanoi 20
Helsinki 19
Los Angeles 17
Buffalo 15
Milan 15
São Paulo 11
Vienna 10
Cotonou 9
London 9
Abuja 8
Falkenstein 8
Hamburg 8
Lomé 8
Montreal 8
Redondo Beach 8
Santa Clara 8
Seattle 8
Columbus 7
Orem 7
Rome 7
Tokyo 7
Amsterdam 6
Cagliari 6
Can Tho 6
Tallinn 6
Chicago 5
Lawrence 5
Nuremberg 5
Princeton 5
Warsaw 5
Brasília 4
Da Nang 4
Denver 4
Florence 4
Genoa 4
Lappeenranta 4
Phoenix 4
San Francisco 4
Shanghai 4
Sindelfingen 4
Atlanta 3
Bologna 3
Chennai 3
Fremont 3
Horst 3
Kuala Lumpur 3
Madrid 3
Mexico City 3
Mumbai 3
Stockholm 3
Tianjin 3
Toronto 3
Turin 3
Venice 3
Waalwijk 3
Washington 3
Amman 2
Ankara 2
Asnières-sur-Seine 2
Asunción 2
Azzano Decimo 2
Bengaluru 2
Boardman 2
Boston 2
Bremen 2
Brescia 2
Cape Town 2
Chions 2
Criciúma 2
Curitiba 2
Des Moines 2
Governador Valadares 2
Guangzhou 2
Jacksonville 2
Johannesburg 2
Juneau 2
Krommenie 2
Lima 2
Livigno 2
Naples 2
Newark 2
Ninh Bình 2
Nova Iguaçu 2
Orlando 2
Padua 2
Poplar 2
Totale 1.448
Salva come PNG Salva come JPEG
Nome #
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 197
A containerized ROS-compliant verification environment for robotic systems 170
A Systematic Literature Review on Mining LTL Specifications 146
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 135
MIST: monitor generation from informal specifications for firmware verification 134
A complete assertion-based verification framework from the edge to the cloud 130
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 122
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 118
System-level bug explanation through program slicing and instruction clusterization 117
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 116
Assertion-aware approximate computing design exploration on behavioral models 115
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 106
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 102
A Baseline Framework for the Qualification of LTL Specification Miners 100
Mining signal temporal logic specifications for hybrid systems 96
HARM: A Hint-Based Assertion Miner 96
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 89
Invited Talk: Pros and Cons of Assertion Mining 86
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 86
Exploiting assertions mining and fault analysis to guide RTL-level approximation 83
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust 80
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis 39
Totale 2.463
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.151
article - articoli 2.419
book - libri 0
conference - conferenze 4.325
curatela - curatele 0
other - altro 441
patent - brevetti 0
selected - selezionate 0
volume - volumi 966
Totale 16.302
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.595 84 130 89 272 400 96 139 94 61 88 59 83
2026/20271 1 0 0 0 0 0 0 0 0 0 0 0
Totale 2.463