GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
NA - Nord America 198
EU - Europa 180
AS - Asia 136
AF - Africa 8
SA - Sud America 2
Totale 524
Nazione #
US - Stati Uniti d'America 196
SG - Singapore 65
CN - Cina 54
IT - Italia 46
RU - Federazione Russa 33
IE - Irlanda 29
FR - Francia 18
SE - Svezia 15
DE - Germania 14
HK - Hong Kong 11
TG - Togo 8
NL - Olanda 7
EE - Estonia 6
FI - Finlandia 6
CZ - Repubblica Ceca 2
GB - Regno Unito 2
IN - India 2
IR - Iran 2
BE - Belgio 1
BR - Brasile 1
CA - Canada 1
CH - Svizzera 1
ID - Indonesia 1
MX - Messico 1
MY - Malesia 1
PE - Perù 1
Totale 524
Città #
Chandler 59
Singapore 56
Dublin 29
Ashburn 23
Beijing 21
Verona 16
New York 11
Hong Kong 10
Lomé 8
Santa Clara 6
Seattle 6
Tallinn 6
Helsinki 5
Lawrence 5
Princeton 5
Cagliari 4
Sindelfingen 4
Dallas 3
Fremont 3
Waalwijk 3
Amsterdam 2
Azzano Decimo 2
Bengaluru 2
Chions 2
Florence 2
Krommenie 2
Livigno 2
Milan 2
Romola 2
San Jose 2
Trento 2
Venice 2
Washington 2
Wilmington 2
Zanjan 2
Boardman 1
Brussels 1
Central 1
Clifton 1
Edinburgh 1
Fairfield 1
Falkenstein 1
Frankfurt am Main 1
Grabs 1
Guangzhou 1
Hamburg 1
Hebei 1
Jacksonville 1
Jakarta 1
Kuala Lumpur 1
Kunming 1
Langfang 1
Lappeenranta 1
Leawood 1
Lima 1
Los Angeles 1
Montreal 1
Moscow 1
Newark 1
Norwalk 1
Nuremberg 1
Parsippany 1
Phoenix 1
Pieve di Soligo 1
Redmond 1
San Francisco 1
Sant'Ambrogio di Valpolicella 1
Shenzhen 1
São Paulo 1
Tampa 1
Verano Brianza 1
Wuhan 1
Totale 350
Nome #
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 59
A complete assertion-based verification framework from the edge to the cloud 58
A containerized ROS-compliant verification environment for robotic systems 58
MIST: monitor generation from informal specifications for firmware verification 48
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 46
System-level bug explanation through program slicing and instruction clusterization 43
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 43
HARM: A Hint-Based Assertion Miner 35
Assertion-aware approximate computing design exploration on behavioral models 34
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 29
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 28
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 23
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 14
Mining signal temporal logic specifications for hybrid systems 14
Exploiting assertions mining and fault analysis to guide RTL-level approximation 13
Invited Talk: Pros and Cons of Assertion Mining 5
Totale 550
Categoria #
all - tutte 2.739
article - articoli 563
book - libri 0
conference - conferenze 1.509
curatela - curatele 0
other - altro 203
patent - brevetti 0
selected - selezionate 0
volume - volumi 464
Totale 5.478


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/2025176 17 25 19 84 31 0 0 0 0 0 0 0
Totale 550