GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
EU - Europa 26
AS - Asia 3
Totale 29
Nazione #
IT - Italia 22
FR - Francia 3
SG - Singapore 2
DE - Germania 1
IN - India 1
Totale 29
Città #
Milan 6
Verona 5
Paris 3
Rome 3
L’Aquila 2
Sovizzo 2
Taranto 2
Nuremberg 1
Totale 24
Nome #
A containerized ROS-compliant verification environment for robotic systems 6
A containerized ROS-compliant verification environment for robotic systems 6
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 5
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 5
HARM: A Hint-Based Assertion Miner 4
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 4
Exploiting assertions mining and fault analysis to guide RTL-level approximation 3
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 2
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 2
MIST: monitor generation from informal specifications for firmware verification 2
System-level bug explanation through program slicing and instruction clusterization 1
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 1
Assertion-aware approximate computing design exploration on behavioral models 1
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 1
Totale 43
Categoria #
all - tutte 278
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 278


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202543 0 0 0 21 4 3 9 6 0 0 0 0
Totale 43