GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
NA - Nord America 178
EU - Europa 130
AS - Asia 58
SA - Sud America 1
Totale 367
Nazione #
US - Stati Uniti d'America 177
IT - Italia 33
CN - Cina 32
IE - Irlanda 28
FR - Francia 17
SE - Svezia 15
HK - Hong Kong 11
SG - Singapore 10
RU - Federazione Russa 9
DE - Germania 8
EE - Estonia 6
FI - Finlandia 4
NL - Olanda 4
CZ - Repubblica Ceca 2
GB - Regno Unito 2
IN - India 2
IR - Iran 2
BE - Belgio 1
CH - Svizzera 1
MX - Messico 1
MY - Malesia 1
PE - Perù 1
Totale 367
Città #
Chandler 59
Dublin 28
Ashburn 22
Beijing 20
New York 11
Hong Kong 10
Verona 9
Seattle 6
Tallinn 6
Lawrence 5
Princeton 5
Singapore 5
Cagliari 4
Sindelfingen 4
Fremont 3
Helsinki 3
Waalwijk 3
Azzano Decimo 2
Bengaluru 2
Chions 2
Florence 2
Livigno 2
Trento 2
Venice 2
Washington 2
Wilmington 2
Zanjan 2
Amsterdam 1
Boardman 1
Brussels 1
Central 1
Dallas 1
Edinburgh 1
Fairfield 1
Falkenstein 1
Grabs 1
Hamburg 1
Hebei 1
Jacksonville 1
Kuala Lumpur 1
Lappeenranta 1
Leawood 1
Lima 1
Los Angeles 1
Milan 1
Norwalk 1
Parsippany 1
Phoenix 1
Pieve di Soligo 1
Redmond 1
San Francisco 1
Sant'Ambrogio di Valpolicella 1
Verano Brianza 1
Totale 249
Nome #
A containerized ROS-compliant verification environment for robotic systems 49
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 48
A complete assertion-based verification framework from the edge to the cloud 40
MIST: monitor generation from informal specifications for firmware verification 38
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 38
System-level bug explanation through program slicing and instruction clusterization 34
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 30
HARM: A Hint-Based Assertion Miner 26
Assertion-aware approximate computing design exploration on behavioral models 21
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 21
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 19
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 16
Exploiting assertions mining and fault analysis to guide RTL-level approximation 3
Totale 383
Categoria #
all - tutte 1.993
article - articoli 386
book - libri 0
conference - conferenze 1.080
curatela - curatele 0
other - altro 146
patent - brevetti 0
selected - selezionate 0
volume - volumi 381
Totale 3.986


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 3 2 1 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/20259 9 0 0 0 0 0 0 0 0 0 0 0
Totale 383