GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
AS - Asia 138
EU - Europa 83
SA - Sud America 26
NA - Nord America 22
AF - Africa 3
Totale 272
Nazione #
IT - Italia 62
SG - Singapore 44
CN - Cina 27
BR - Brasile 24
VN - Vietnam 22
US - Stati Uniti d'America 19
IL - Israele 14
KR - Corea 14
DE - Germania 9
HK - Hong Kong 9
AT - Austria 6
FR - Francia 3
MX - Messico 3
EC - Ecuador 2
ID - Indonesia 2
TR - Turchia 2
BD - Bangladesh 1
EG - Egitto 1
GB - Regno Unito 1
IE - Irlanda 1
IN - India 1
KE - Kenya 1
MA - Marocco 1
PK - Pakistan 1
PS - Palestinian Territory 1
UA - Ucraina 1
Totale 272
Città #
Rome 17
Singapore 16
Chicago 14
Pescara 14
Seoul 14
Tel Aviv 14
Hong Kong 9
Ho Chi Minh City 8
Nuremberg 7
Verona 7
Milan 6
Beijing 5
Hanoi 4
Paris 3
Quảng Ngãi 3
Brescia 2
Istanbul 2
L’Aquila 2
Naples 2
Rio de Janeiro 2
Sovizzo 2
Taranto 2
Vienna 2
Apodaca 1
Ashburn 1
Bari 1
Barretos 1
Bellevue 1
Biên Hòa 1
Brasília 1
Casablanca 1
Caxias 1
Cincinnati 1
City of London 1
Cruz Alta 1
Dublin 1
Duque de Caxias 1
Faisalabad 1
Forquilhinha 1
Garanhuns 1
Gaza 1
Giza 1
Guaraciaba do Norte 1
Ha Long 1
Haiphong 1
Jaboatão dos Guararapes 1
Jaguariúna 1
Jember 1
Lavras 1
Marau 1
Mexico City 1
Monastier di Treviso 1
Nairobi 1
Ninh Bình 1
Paraty 1
Piúma 1
Porto Alegre 1
Poço Fundo 1
Quito 1
Quận Mười 1
Rangpur City 1
Salvador 1
Santana do Livramento 1
São Lourenço 1
São Paulo 1
Taglio 1
Tijuana 1
Valinhos 1
Zaporizhzhya 1
Totale 203
Nome #
A containerized ROS-compliant verification environment for robotic systems 33
HARM: A Hint-Based Assertion Miner 24
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 24
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 22
A containerized ROS-compliant verification environment for robotic systems 22
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 21
Exploiting assertions mining and fault analysis to guide RTL-level approximation 20
System-level bug explanation through program slicing and instruction clusterization 18
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 18
MIST: monitor generation from informal specifications for firmware verification 18
Assertion-aware approximate computing design exploration on behavioral models 17
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 17
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 16
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 16
Totale 286
Categoria #
all - tutte 1.682
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.682


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/2026152 20 18 48 27 37 2 0 0 0 0 0 0
Totale 286