GERMINIANI, SAMUELE

GERMINIANI, SAMUELE  

DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.006 secondi).
Titolo Data di pubblicazione Autore(i) File
A containerized ROS-compliant verification environment for robotic systems 1-gen-2021 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
Assertion-aware approximate computing design exploration on behavioral models 1-gen-2022 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 1-gen-2022 Germiniani, Samuele; Pravadelli, Graziano
MIST: monitor generation from informal specifications for firmware verification 1-gen-2020 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 1-gen-2022 Boldo, Michele; Bombieri, Nicola; DE MARCHI, Mirco; Geretti, Luca; Germiniani, Samuele; Pravadelli, Graziano
System-level bug explanation through program slicing and instruction clusterization 1-gen-2021 Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano