Samuele Germiniani

21 papers A 3C 4Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Edge-Cloud Orchestration of Assertion-Based Monitors for Robotic Applications.
ACM Trans. Embed. Comput. Syst.
Nicola Bombieri, Samuele Germiniani, Francesco Lumpp, Graziano Pravadelli
2025 A conf
A Baseline Framework for the Qualification of LTL Specification Miners.
DATE
Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
2025 J jnl
A Genetic Approach for Automatic AxC Design Exploration at RTL Based on Assertion Mining and Fault Analysis.
IEEE Trans. Emerg. Top. Comput.
Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
2025 J jnl
A Systematic Literature Review on Mining LTL Specifications.
IEEE Access
Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
2025 — conf
Special Session Paper: Application of Functional Verification Techniques in Hardware Trust.
DFT
Mohammad Reza Heidari Iman, Rolf Drechsler, Chandan Kumar Jha, Ali Azarpeyvand, Tara Ghasempouri, Sharjeel Imtiaz, Jaan Raik, Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli, Giorgio Di Natale
2025 — conf
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata.
LATS
Daniele Nicoletti, Samuele Germiniani, Alessandro Aldegheri, Michele Cipriani, Davide Venturi, Tommaso Vilotto, Graziano Pravadelli
2024 J jnl
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study.
IEEE Access
Federico Cunico, Stefano Aldegheri, Andrea Avogaro, Michele Boldo, Nicola Bombieri, Luigi Capogrosso, Ariel Caputo, Damiano Carra, Stefano Centomo, Dong Seon Cheng, Ettore Cinquetti, Marco Cristani, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia
2024 — conf
Invited Talk: Pros and Cons of Assertion Mining.
LATS
Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli
2024 C conf
Mining signal temporal logic specifications for hybrid systems.
FDL
Daniele Nicoletti, Samuele Germiniani, Graziano Pravadelli
2024 J jnl
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs.
J. Electron. Test.
Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
2023 A conf
Exploiting assertions mining and fault analysis to guide RTL-level approximation.
DATE
Alberto Bosio, Samuele Germiniani, Graziano Pravadelli, Marcello Traiola
2022 — conf
Assertion-aware approximate computing design exploration on behavioral models.
LATS
Alberto Bosio, Moreno Bragaglio, Samuele Germiniani, Samuele Mori, Graziano Pravadelli, Marcello Traiola
2022 J jnl
Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences.
IEEE Trans. Emerg. Top. Comput.
Samuele Germiniani, Alessandro Danese, Graziano Pravadelli
2022 C conf
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions.
VLSI-SoC
Samuele Germiniani, Graziano Pravadelli
2022 J jnl
HARM: A Hint-Based Assertion Miner.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Samuele Germiniani, Graziano Pravadelli
2022 — conf
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation.
LATS
Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli
2021 A conf
A containerized ROS-compliant verification environment for robotic systems.
DATE
Stefano Aldegheri, Nicola Bombieri, Samuele Germiniani, Federico Moschin, Graziano Pravadelli
2021 — conf
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level.
VLSI-SoC (Selected Papers)
Moreno Bragaglio, Samuele Germiniani, Graziano Pravadelli
2021 C conf
System-level bug explanation through program slicing and instruction clusterization.
VLSI-SoC
Moreno Bragaglio, Nicola Donatelli, Samuele Germiniani, Graziano Pravadelli
2020 — conf
From Informal Specifications to an ABV Framework for Industrial Firmware Verification.
VLSI-SoC (Selected Papers)
Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli
2020 C conf
MIST: monitor generation from informal specifications for firmware verification.
VLSI-SOC
Samuele Germiniani, Moreno Bragaglio, Graziano Pravadelli