GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
AS - Asia 171
NA - Nord America 139
EU - Europa 103
SA - Sud America 26
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 7
Totale 461
Nazione #
US - Stati Uniti d'America 123
IT - Italia 78
SG - Singapore 52
CN - Cina 36
BR - Brasile 24
VN - Vietnam 24
KR - Corea 15
HK - Hong Kong 14
IL - Israele 14
DE - Germania 9
CA - Canada 8
MX - Messico 7
AT - Austria 6
FR - Francia 4
BD - Bangladesh 3
EC - Ecuador 2
EG - Egitto 2
ID - Indonesia 2
IN - India 2
JP - Giappone 2
MA - Marocco 2
NL - Olanda 2
TR - Turchia 2
DO - Repubblica Dominicana 1
DZ - Algeria 1
FI - Finlandia 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 446
Città #
Ashburn 25
Singapore 23
Rome 20
Santa Clara 17
Chicago 16
Hong Kong 14
Pescara 14
Seoul 14
Tel Aviv 14
Beijing 10
Verona 9
Ho Chi Minh City 8
Milan 7
Nuremberg 7
Mexico City 5
Hanoi 4
Los Angeles 4
Denver 3
Naples 3
Paris 3
Quảng Ngãi 3
Toronto 3
Brescia 2
Calgary 2
Grottaferrata 2
Haiphong 2
Istanbul 2
Las Vegas 2
L’Aquila 2
Newark 2
Rio de Janeiro 2
San Jose 2
Sovizzo 2
Taranto 2
Tokyo 2
Vienna 2
Washington 2
Wilmington 2
Alsip 1
Amman 1
Amritsar 1
Apodaca 1
Bari 1
Barretos 1
Bellevue 1
Berrechid 1
Billings 1
Biên Hòa 1
Blida 1
Bologna 1
Brasília 1
Cairo 1
Camden 1
Casablanca 1
Caxias 1
Chillicothe 1
Cincinnati 1
City of London 1
Cleveland 1
Connellsville 1
Council Bluffs 1
Cruz Alta 1
Dhaka 1
Doha 1
Dublin 1
Duque de Caxias 1
El Paso 1
Elk Grove Village 1
Faisalabad 1
Forquilhinha 1
Garanhuns 1
Gatineau 1
Gaza 1
Gilbert 1
Giza 1
Guaraciaba do Norte 1
Ha Long 1
Hawthorne 1
Helsinki 1
Houston 1
Jaboatão dos Guararapes 1
Jaguariúna 1
Jember 1
Jersey City 1
Lavras 1
Lynn 1
Marau 1
Messina 1
Monastier di Treviso 1
Moreno Valley 1
Nairobi 1
Najaf 1
New York 1
Ninh Bình 1
Olive Branch 1
Orem 1
Orlando 1
Paraty 1
Pasadena 1
Phoenix 1
Totale 320
Nome #
HARM: A Hint-Based Assertion Miner 53
A containerized ROS-compliant verification environment for robotic systems 43
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 42
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 31
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 30
A containerized ROS-compliant verification environment for robotic systems 29
MIST: monitor generation from informal specifications for firmware verification 28
A Conceptual Framework for Athlete Health Using AIoT, Wearables, and Personalized Performance Intelligence 27
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 27
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 27
System-level bug explanation through program slicing and instruction clusterization 26
Exploiting assertions mining and fault analysis to guide RTL-level approximation 26
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 26
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 25
Assertion-aware approximate computing design exploration on behavioral models 21
Totale 461
Categoria #
all - tutte 3.358
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 3.358


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/2026223 20 18 48 27 37 2 9 9 16 19 10 8
2026/2027104 6 15 41 42 0 0 0 0 0 0 0 0
Totale 461