CATALOGO DEI PRODOTTI DELLA RICERCA

GERMINIANI, SAMUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 947
EU - Europa 852
AS - Asia 694
SA - Sud America 111
Continente sconosciuto - Info sul continente non disponibili 41
AF - Africa 38
OC - Oceania 1
Totale 2.684
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 914
RU - Federazione Russa 442
SG - Singapore 282
IT - Italia 184
CN - Cina 125
BR - Brasile 82
VN - Vietnam 82
HK - Hong Kong 76
BD - Bangladesh 61
DE - Germania 42
IE - Irlanda 32
GB - Regno Unito 29
FI - Finlandia 25
FR - Francia 24
CA - Canada 21
SE - Svezia 18
KR - Corea 16
AT - Austria 13
IN - India 11
NL - Olanda 11
AR - Argentina 10
BJ - Benin 9
JP - Giappone 9
ES - Italia 8
MX - Messico 8
NG - Nigeria 8
PL - Polonia 8
TG - Togo 8
EE - Estonia 6
EC - Ecuador 5
ID - Indonesia 4
PK - Pakistan 4
VE - Venezuela 4
ZA - Sudafrica 4
CO - Colombia 3
IR - Iran 3
MA - Marocco 3
MY - Malesia 3
PY - Paraguay 3
SA - Arabia Saudita 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
IL - Israele 2
IQ - Iraq 2
JO - Giordania 2
PE - Perù 2
UZ - Uzbekistan 2
AL - Albania 1
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
KE - Kenya 1
KZ - Kazakistan 1
LT - Lituania 1
OM - Oman 1
PW - Palau 1
RS - Serbia 1
SC - Seychelles 1
SN - Senegal 1
TN - Tunisia 1
UA - Ucraina 1
Totale 2.643
Salva come PNG Salva come JPEG
Città #
Moscow 163
Ashburn 157
Singapore 156
San Jose 140
Dallas 106
Hong Kong 75
Verona 70
Chandler 59
Council Bluffs 44
Beijing 34
The Dalles 33
Dublin 32
Ho Chi Minh City 31
New York 23
Milan 22
Hanoi 20
Los Angeles 20
Helsinki 19
Buffalo 15
Santa Clara 12
Denver 11
São Paulo 11
Vienna 10
Cotonou 9
London 9
Tokyo 9
Abuja 8
Falkenstein 8
Hamburg 8
Lomé 8
Montreal 8
Redondo Beach 8
Seattle 8
Columbus 7
Orem 7
Rome 7
Amsterdam 6
Cagliari 6
Can Tho 6
Genoa 6
Phoenix 6
Tallinn 6
Toronto 6
Chicago 5
Lawrence 5
North Hollywood 5
Nuremberg 5
Princeton 5
Warsaw 5
Washington 5
Brasília 4
Da Nang 4
Florence 4
Lappeenranta 4
San Francisco 4
Shanghai 4
Sindelfingen 4
Turin 4
Atlanta 3
Bengaluru 3
Bologna 3
Boston 3
Brooklyn 3
Chennai 3
Cleveland 3
Fremont 3
Horst 3
Houston 3
Kuala Lumpur 3
Madrid 3
McKinney 3
Mexico City 3
Mumbai 3
Stockholm 3
Tianjin 3
Venice 3
Waalwijk 3
Amman 2
Ankara 2
Annandale 2
Asnières-sur-Seine 2
Asunción 2
Azzano Decimo 2
Boardman 2
Bogotá 2
Bremen 2
Brescia 2
Cape Town 2
Charlotte 2
Chions 2
Criciúma 2
Curitiba 2
Des Moines 2
Fayetteville 2
Governador Valadares 2
Guangzhou 2
Jacksonville 2
Johannesburg 2
Juneau 2
Krommenie 2
Totale 1.579
Salva come PNG Salva come JPEG
Nome #
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 212
A containerized ROS-compliant verification environment for robotic systems 180
A Systematic Literature Review on Mining LTL Specifications 157
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 141
MIST: monitor generation from informal specifications for firmware verification 141
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 139
A complete assertion-based verification framework from the edge to the cloud 138
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 130
System-level bug explanation through program slicing and instruction clusterization 125
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 123
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 122
Assertion-aware approximate computing design exploration on behavioral models 121
HARM: A Hint-Based Assertion Miner 112
A Baseline Framework for the Qualification of LTL Specification Miners 111
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 108
Mining signal temporal logic specifications for hybrid systems 107
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust 99
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 97
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 93
Invited Talk: Pros and Cons of Assertion Mining 91
Exploiting assertions mining and fault analysis to guide RTL-level approximation 89
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis 48
Totale 2.684
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.246
article - articoli 2.796
book - libri 0
conference - conferenze 4.925
curatela - curatele 0
other - altro 479
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.046
Totale 18.492
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202222 0 0 0 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/2027222 23 51 70 78 0 0 0 0 0 0 0 0
Totale 2.684