CATALOGO DEI PRODOTTI DELLA RICERCA

GERMINIANI, SAMUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 843
NA - Nord America 806
AS - Asia 688
SA - Sud America 109
Continente sconosciuto - Info sul continente non disponibili 41
AF - Africa 37
OC - Oceania 1
Totale 2.525
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 779
RU - Federazione Russa 442
SG - Singapore 280
IT - Italia 178
CN - Cina 125
VN - Vietnam 82
BR - Brasile 81
HK - Hong Kong 76
BD - Bangladesh 60
DE - Germania 42
IE - Irlanda 32
GB - Regno Unito 27
FI - Finlandia 25
FR - Francia 24
SE - Svezia 18
KR - Corea 16
CA - Canada 15
AT - Austria 13
IN - India 11
NL - Olanda 11
AR - Argentina 10
BJ - Benin 9
ES - Italia 8
MX - Messico 8
NG - Nigeria 8
PL - Polonia 8
TG - Togo 8
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
SC - Seychelles 1
SN - Senegal 1
TN - Tunisia 1
UA - Ucraina 1
Totale 2.484
Salva come PNG Salva come JPEG
Città #
Moscow 163
Singapore 154
Ashburn 127
San Jose 121
Dallas 94
Hong Kong 75
Verona 70
Chandler 59
Council Bluffs 44
Beijing 34
The Dalles 33
Dublin 32
Ho Chi Minh City 31
New York 22
Hanoi 20
Helsinki 19
Milan 19
Los Angeles 17
Buffalo 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
Denver 6
Genoa 6
Tallinn 6
Chicago 5
Lawrence 5
Nuremberg 5
Princeton 5
Warsaw 5
Brasília 4
Da Nang 4
Florence 4
Lappeenranta 4
Phoenix 4
San Francisco 4
Shanghai 4
Sindelfingen 4
Toronto 4
Turin 4
Atlanta 3
Bengaluru 3
Bologna 3
Chennai 3
Fremont 3
Horst 3
Kuala Lumpur 3
Madrid 3
Mexico City 3
Mumbai 3
Stockholm 3
Tianjin 3
Venice 3
Waalwijk 3
Washington 3
Amman 2
Ankara 2
Asnières-sur-Seine 2
Asunción 2
Azzano Decimo 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
Modena 2
Naples 2
Newark 2
Ninh Bình 2
Nova Iguaçu 2
Orlando 2
Padua 2
Totale 1.484
Salva come PNG Salva come JPEG
Nome #
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 203
A containerized ROS-compliant verification environment for robotic systems 172
A Systematic Literature Review on Mining LTL Specifications 149
MIST: monitor generation from informal specifications for firmware verification 135
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 135
A complete assertion-based verification framework from the edge to the cloud 130
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 127
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 123
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 120
System-level bug explanation through program slicing and instruction clusterization 118
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 117
Assertion-aware approximate computing design exploration on behavioral models 116
A Baseline Framework for the Qualification of LTL Specification Miners 105
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 104
Mining signal temporal logic specifications for hybrid systems 98
HARM: A Hint-Based Assertion Miner 98
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 90
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 89
Invited Talk: Pros and Cons of Assertion Mining 87
Exploiting assertions mining and fault analysis to guide RTL-level approximation 84
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust 83
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis 42
Totale 2.525
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.669
article - articoli 2.603
book - libri 0
conference - conferenze 4.611
curatela - curatele 0
other - altro 452
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.003
Totale 17.338
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202226 0 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/202763 23 40 0 0 0 0 0 0 0 0 0 0
Totale 2.525