GERMINIANI, SAMUELE
GERMINIANI, SAMUELE
DIPARTIMENTO DI INFORMATICA
A complete assertion-based verification framework from the edge to the cloud
2023-01-01 Germiniani, Samuele
A containerized ROS-compliant verification environment for robotic systems
2021-01-01 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
Assertion-aware approximate computing design exploration on behavioral models
2022-01-01 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences
2020-01-01 Germiniani, Samuele; Danese, Alessandro; Pravadelli, Graziano
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level
2022-01-01 Bragaglio, M; Germiniani, S; Pravadelli, G
From Informal Specifications to an ABV Framework for Industrial Firmware Verification
2021-01-01 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
HARM: A Hint-Based Assertion Miner
2022-01-01 Germiniani, Samuele; Pravadelli, Graziano
MIST: monitor generation from informal specifications for firmware verification
2020-01-01 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation
2022-01-01 Boldo, Michele; Bombieri, Nicola; DE MARCHI, Mirco; Geretti, Luca; Germiniani, Samuele; Pravadelli, Graziano
System-level bug explanation through program slicing and instruction clusterization
2021-01-01 Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano