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


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/2026194 20 18 48 27 37 2 9 9 16 8 0 0
Totale 328