CATALOGO DEI PRODOTTI DELLA RICERCA

GERMINIANI, SAMUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 807
NA - Nord America 690
AS - Asia 627
SA - Sud America 108
AF - Africa 36
OC - Oceania 1
Totale 2.269
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 668
RU - Federazione Russa 442
SG - Singapore 277
IT - Italia 143
CN - Cina 118
VN - Vietnam 82
BR - Brasile 81
HK - Hong Kong 76
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 11
NL - Olanda 11
AR - Argentina 10
BD - Bangladesh 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 4
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
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
CR - Costa Rica 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.269
Salva come PNG Salva come JPEG
Città #
Moscow 163
Singapore 153
Ashburn 116
San Jose 115
Dallas 92
Hong Kong 75
Verona 66
Chandler 59
Beijing 33
The Dalles 33
Dublin 32
Ho Chi Minh City 31
Hanoi 20
New York 20
Helsinki 19
Los Angeles 15
Buffalo 13
Milan 12
São Paulo 11
Vienna 10
Cotonou 9
Council Bluffs 9
London 9
Abuja 8
Falkenstein 8
Hamburg 8
Lomé 8
Redondo Beach 8
Santa Clara 8
Columbus 7
Montreal 7
Tokyo 7
Amsterdam 6
Can Tho 6
Orem 6
Seattle 6
Tallinn 6
Chicago 5
Lawrence 5
Nuremberg 5
Princeton 5
Warsaw 5
Brasília 4
Cagliari 4
Da Nang 4
Genoa 4
Lappeenranta 4
Phoenix 4
Rome 4
Shanghai 4
Sindelfingen 4
Chennai 3
Denver 3
Florence 3
Fremont 3
Horst 3
Kuala Lumpur 3
Madrid 3
Mexico City 3
Mumbai 3
San Francisco 3
Stockholm 3
Tianjin 3
Toronto 3
Turin 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
Bremen 2
Cape Town 2
Chions 2
Criciúma 2
Curitiba 2
Des Moines 2
Governador Valadares 2
Jacksonville 2
Johannesburg 2
Juneau 2
Krommenie 2
Lima 2
Livigno 2
Naples 2
Ninh Bình 2
Nova Iguaçu 2
Orlando 2
Padua 2
Poplar 2
Rabat 2
Rio Claro 2
Riyadh 2
Romola 2
San Miguel de Tucumán 2
Totale 1.389
Salva come PNG Salva come JPEG
Nome #
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 193
A containerized ROS-compliant verification environment for robotic systems 167
A Systematic Literature Review on Mining LTL Specifications 145
A complete assertion-based verification framework from the edge to the cloud 128
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 127
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 120
MIST: monitor generation from informal specifications for firmware verification 120
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 116
System-level bug explanation through program slicing and instruction clusterization 116
Assertion-aware approximate computing design exploration on behavioral models 111
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 102
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 101
A Baseline Framework for the Qualification of LTL Specification Miners 100
HARM: A Hint-Based Assertion Miner 95
Mining signal temporal logic specifications for hybrid systems 94
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 89
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 85
Invited Talk: Pros and Cons of Assertion Mining 81
Exploiting assertions mining and fault analysis to guide RTL-level approximation 80
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 79
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis 36
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust 25
Totale 2.310
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.359
article - articoli 2.207
book - libri 0
conference - conferenze 3.849
curatela - curatele 0
other - altro 414
patent - brevetti 0
selected - selezionate 0
volume - volumi 889
Totale 14.718
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211 0 0 0 0 0 0 0 0 0 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.443 84 130 89 272 400 96 139 94 61 78 0 0
Totale 2.310