CATALOGO DEI PRODOTTI DELLA RICERCA

GERMINIANI, SAMUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 848
NA - Nord America 825
AS - Asia 691
SA - Sud America 110
Continente sconosciuto - Info sul continente non disponibili 41
AF - Africa 38
OC - Oceania 1
Totale 2.554
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 797
RU - Federazione Russa 442
SG - Singapore 281
IT - Italia 182
CN - Cina 125
VN - Vietnam 82
BR - Brasile 81
HK - Hong Kong 76
BD - Bangladesh 61
DE - Germania 42
IE - Irlanda 32
GB - Regno Unito 27
FI - Finlandia 25
FR - Francia 24
SE - Svezia 18
CA - Canada 16
KR - Corea 16
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
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.513
Salva come PNG Salva come JPEG
Città #
Moscow 163
Singapore 155
Ashburn 128
San Jose 122
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 23
Milan 22
Hanoi 20
Helsinki 19
Los Angeles 18
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
Washington 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
Amman 2
Ankara 2
Asnières-sur-Seine 2
Asunción 2
Azzano Decimo 2
Boardman 2
Bogotá 2
Boston 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
Lima 2
Livigno 2
Modena 2
Naples 2
Newark 2
Ninh Bình 2
Totale 1.493
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 175
A Systematic Literature Review on Mining LTL Specifications 151
MIST: monitor generation from informal specifications for firmware verification 137
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 136
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications 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 123
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 120
System-level bug explanation through program slicing and instruction clusterization 119
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 118
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
HARM: A Hint-Based Assertion Miner 102
Mining signal temporal logic specifications for hybrid systems 98
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 91
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust 89
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
A genetic approach for automatic AxC design exploration at RTL based on assertion mining and fault analysis 43
Totale 2.554
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.879
article - articoli 2.674
book - libri 0
conference - conferenze 4.725
curatela - curatele 0
other - altro 460
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.020
Totale 17.758
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202223 0 0 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/202792 23 51 18 0 0 0 0 0 0 0 0 0
Totale 2.554