GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
EU - Europa 61
AS - Asia 56
NA - Nord America 21
SA - Sud America 3
Totale 141
Nazione #
IT - Italia 43
SG - Singapore 30
US - Stati Uniti d'America 19
IL - Israele 14
DE - Germania 9
AT - Austria 6
HK - Hong Kong 5
BR - Brasile 3
FR - Francia 3
MX - Messico 2
TR - Turchia 2
VN - Vietnam 2
BD - Bangladesh 1
IN - India 1
PS - Palestinian Territory 1
Totale 141
Città #
Rome 17
Singapore 16
Chicago 14
Tel Aviv 14
Nuremberg 7
Milan 6
Hong Kong 5
Verona 5
Paris 3
Brescia 2
Istanbul 2
L’Aquila 2
Naples 2
Sovizzo 2
Taranto 2
Vienna 2
Ashburn 1
Bellevue 1
Cincinnati 1
Forquilhinha 1
Gaza 1
Guaraciaba do Norte 1
Hanoi 1
Mexico City 1
Monastier di Treviso 1
Porto Alegre 1
Quận Mười 1
Rangpur City 1
Taglio 1
Tijuana 1
Totale 115
Nome #
A containerized ROS-compliant verification environment for robotic systems 20
HARM: A Hint-Based Assertion Miner 14
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 14
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 13
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 13
A containerized ROS-compliant verification environment for robotic systems 13
Exploiting assertions mining and fault analysis to guide RTL-level approximation 10
System-level bug explanation through program slicing and instruction clusterization 9
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 9
MIST: monitor generation from informal specifications for firmware verification 9
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 8
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 8
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 8
Assertion-aware approximate computing design exploration on behavioral models 7
Totale 155
Categoria #
all - tutte 1.004
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.004


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/2025134 0 0 0 21 4 3 9 48 3 1 35 10
2025/202621 20 1 0 0 0 0 0 0 0 0 0 0
Totale 155